| Ditemukan 148 dokumen dengan kata kunci 4552 |
Simpan CSV  |
|
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 ::
|
|
|
An equational approach to the merging of argumentation networks
|
| Pengarang: Dov. M. Gabbay and Odinaldo Rodrigues | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1253-1277) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A proof-theoretic analysis of the classical propositional matrix method
|
| Pengarang: David Pym, Eike Ritter, and Edmund Robinson | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.283-301 |
|
|
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 ::
|
|
|
Trilattice logic: an embedding-based approach
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
First steps towards probabilistic justification logic
|
| Pengarang: Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović, and Thomas Studer | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 662-687) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Blending margins: the modal logic K has nullary unification type
|
| Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p.1231-1240) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards a model of UAVs navigation in urban canyon through defeasible logic
|
| Pengarang: Ho-Pun Lam and Guido Governatori | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 373-395 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Preference-based argumentation built from prioritized logic programming
|
| Pengarang: Toshiko Wakaki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 251-301) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Implementing crash-resistance and non-interference in logic-based argumentation
|
| Pengarang: Yining Wu, Mikołaj Podlaszewski | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 303-333) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
