Ditemukan 117 dokumen dengan kata kunci 4324 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
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 ::
|
|
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 ::
|
|
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 ::
|
|
Bill Gates
|
|
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 ::
|
|
Lessons in Electric Circuits : Volume V - Reference
|
|
Lessons in Electric Circuits : Volume I - DC
|
|