Ditemukan 18 dokumen dengan kata kunci 4375 |
Simpan CSV  |
On logical specifications of the Argument Interchange Format
|
Pengarang: Floris Bex, Sanjay Modgil, Henry Prakken, and Chris Reed | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 951-989 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Role Interchange for Anonymity and Privacy of Voting
|
Pengarang: Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, and Yasuyuki Tsukada | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1251-1288 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Capturing cooperative interactions with the PSI-MI format
|
Pengarang: Kim Van Roey, Sandra Orchard, Samuel Kerrien, Marine Dumousseau, dll | No. Panggil: Database (Volume 2013, p.bat066) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A logical basis for constructive systems
|
Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Revising option status in argument-based decision systems1
|
Pengarang: Leila Amgoud and Srdjan Vesic | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1019-1058 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Argument Relevance as the Right Kind of Epistemic Reason
|
Pengarang: Jonathan E. Adler | No. Panggil: Journal of Logic and Computation February 2012, 22 (1), p. 113-127 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Logical and Computational Theory of Located Resource
|
Pengarang: Matthew Collinson, Brian Monahan, and David Pym | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1207-1244 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logical Weak Completions of Paraconsistent Logics
|
Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
iSimp in BioC standard format: enhancing the interoperability of a sentence simplification system
|
Pengarang: Yifan Peng, Catalina O. Tudor, Manabu Torii, Cathy H. Wu, dll | No. Panggil: Database (Volume 2014, p.bau038) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logical consistency in simultaneous statistical test procedures
|
Pengarang: Rafael Izbicki and Luís Gustavo Esteves | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 732-758) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|