Ditemukan 73 dokumen dengan kata kunci 4459 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach
|
Pengarang: Christian Straßer and Dunja Šešelja | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 133-156 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
|
Pengarang: Phan Minh Thang, Phan Minh Dung, and Nguyen Duy Hung | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1071-1109 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
|
Pengarang: Richard Booth and Alexander Nittka | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 755-782 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Unsupervised gene function extraction using semantic vectors
|
Pengarang: Ehsan Emadzadeh, Azadeh Nikfarjam, Rachel E. Ginn, and Graciela Gonzalez | No. Panggil: Database (Volume 2014, p. bau084) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Linking tissues to phenotypes using gene expression profiles
|
Pengarang: Anika Oellrich, Sanger Mouse Genetics Project, and Damian Smedley | No. Panggil: Database (Volume 2014, p.bau017) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Using the OntoGene pipeline for the triage task of BioCreative 2012
|
Pengarang: Fabio Rinaldi, Simon Clematide, Simon Hafner, Gerold Schneider, dll | No. Panggil: Database (Volume 2013, p.bas053) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Efficient parallel CKY parsing using GPUs
|
Pengarang: Youngmin Yi, Chao-Yue Lai, and Slav Petrov | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 375-393 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling Batch Systems Using Population Balances
|
|
Using synchronous tree adjoining grammar to model the typology of bound variable pronouns
|
Pengarang: Dennis Ryan Storoshenko, Chung-Hye Han | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 371-403) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Quantifiers in logic and proof-search using permissive-nominal terms and sets
|
Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|