Ditemukan 30 dokumen dengan kata kunci 4451 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Updating Epistemic Logic Programs
|
Pengarang: Yan Zhang | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 405-423 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling Judicial Context in Argumentation Frameworks
|
Pengarang: Adam Wyner and Trevor Bench-Capon | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 941-968 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On the definability of simulation and bisimulation in epistemic logic
|
Pengarang: Hans van Ditmarsch, David Fernández-Duque, and Wiebe van der Hoek | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1209-1227) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Using argumentation to reason about trust and belief
|
Pengarang: Yuqing Tang, Kai Cai, Peter McBurney, Elizabeth Sklar, and Simon Parsons | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 979-1018 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Private announcement and belief expansion: an internal perspective
|
Pengarang: Guillaume Aucher | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 451-479 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling Batch Systems Using Population Balances
|
|
Evaluative multiple revision based on core beliefs
|
Pengarang: Yongfeng Yuan, Shier Ju, Xuefeng Wen | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 781-804) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Trust-based Revision for Expressive Web Syndication
|
Pengarang: Jennifer Golbeck and Christian Halaschek-Wiener | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 771-790 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Alternating-time temporal dynamic epistemic logic
|
Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cut Elimination and Realization for Epistemic Logics with Justification
|
Pengarang: Meghdad Ghari | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1171-1198 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|