Ditemukan 73 dokumen dengan kata kunci 4459 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Information About a Given Entity: From Semantics Towards Automated Deduction
|
Pengarang: Robert Demolombe and Luis Fariņas del Cerro | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1231-1250 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Partial semantics of argumentation: basic properties and empirical
|
Pengarang: Beishui Liao and Huaxin Huang | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 541-562 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A formal analysis of the role of argumentation in negotiation dialogues
|
Pengarang: Leila Amgoud and Srdjan Vesic | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 957-978 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Inductive Defense for Sceptical Semantics of Extended Argumentation
|
Pengarang: D. D. Hanh, P. M. Dung, N. D. Hung, and P. M. Thang | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 307-349 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
Using Accounting Information Exercises I
|
|
Model Checking Using Description Logic
|
Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
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 ::
|
|