Ditemukan 111 dokumen dengan kata kunci 4402 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Logic for prioritized normative reasoning
|
Pengarang: Frederik Van De Putte and Christian Straßer | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 563-583 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
|
Pengarang: Mathieu Beirlaen and Christian Straßer | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1179-1207) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A logic for normative multi-agent programs
|
Pengarang: Mehdi Dastani, John-Jules Ch. Meyer, and Davide Grossi | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 335-354 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proto logic and neural subsymbolic reasoning
|
Pengarang: Andreas Wichert | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 627-643 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The complexity of reasoning for fragments of default logic
|
Pengarang: Olaf Beyersdorff, Arne Meier, Michael Thomas, and Heribert Vollmer | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 587-604 |
|
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 ::
|
|
Approximate reasoning about logic circuits with single-fan-out unreliable gates
|
Pengarang: A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1023-1069) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Situated normative infrastructures: the normative object approach
|
Pengarang: Fabio Yoshimitsu Okuyama, Rafael H. Bordini, and Antônio Carlos da Rocha Costa | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 397-424 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Max-based Prioritized Information Fusion without Commensurability
|
Pengarang: Salem Benferhat, Sylvain Lagrue, and Julien Rossit | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1577-1610 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reasoning Support for Mapping Revision
|
Pengarang: Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 807-829 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|