| Ditemukan 39 dokumen dengan kata kunci 4637 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
Reasoning about delegation and revocation schemes in answer set programming
|
| Pengarang: Steve Barker, Guido Boella, Dov Gabbay, and Valerio Genovese | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.89-116 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Opening the black box of trust: reasoning about trust models in a BDI agent
|
| Pengarang: Andrew Koster, Marco Schorlemmer, and Jordi Sabater-Mir | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 25-58 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Knowledge-rich temporal relation identification and classification in clinical notes
|
|
|
|
On the Priorean temporal logic with ‘around now’ over the real line
|
| Pengarang: Ian Hodkinson | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1071-1110) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
|
| Pengarang: Cătălin Dima | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 939-958 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
|
| Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 |
|
|
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 ::
|
|
Hasil Pencarian
