Hasil Pencarian
Ditemukan 73 dokumen dengan kata kunci 4459 Simpan CSV Simpan CSV
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
Pengarang: Walther, Larry M. | No. Panggil: ebIS-0367 |
Koleksi: e-Book Sosial dan Humaniora  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
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  ::
Prev   1 2 3 4 5 6 7 8  Next