Ditemukan 37 dokumen dengan kata kunci 4559 |
Simpan CSV ![Simpan CSV](icons/save.png) |
The Complexity of the Warranted Formula Problem in Propositional Argumentation
|
Pengarang: Robin Hirsch and Nikos Gorogiannis | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 481-499 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents
|
Pengarang: Vladimir Rybakov | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 989-1017 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Perancangan Alat Pemasangan Extended Tiang Studi Kasus PT Fiber Media Indonesia
|
|
Base-extension semantics for intuitionistic sentential logic
|
Pengarang: Tor Sandqvist | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 719-731) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Computing inconsistency measure based on paraconsistent semantics
|
Pengarang: Yue Ma, Guilin Qi, and Pascal Hitzler | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1257-1281 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
|
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1019-1029 |
|
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 ::
|
|
A formalization of argumentation schemes for legal case-based reasoning in ASPIC+
|
Pengarang: Henry Prakken,Adam Wyner,Trevor Bench-Capon,Katie Atkinson | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1141-1166) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|