| Ditemukan 29 dokumen dengan kata kunci 4648 |
Simpan CSV  |
|
Pembuatan Mapping Floor Menggunakan Engine Game Unity dan Barcode
|
|
|
|
Reasoning with vectors: A continuous model for fast robust inference
|
| Pengarang: Dominic Widdows, Trevor Cohen | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 141-173 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Category-based Equational Reasoning: An Approach to Ontology Integration
|
| Pengarang: Joe Geldart and William Song | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 791-806 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Artificial intelligence : searching, reasoning, planning, dan learning
|
|
|
|
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 ::
|
|
|
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 ::
|
|
Hasil Pencarian
