| Ditemukan 59 dokumen dengan kata kunci 5921 |
Simpan CSV  |
|
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
|
| Pengarang: Matthias Knorr, Martin Slota, Joćo Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
| Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
THOMAS: An agent platform for supporting normative multi-agent systems
|
| Pengarang: Natalia Criado, Estefania Argente, and Vicente Botti | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 309-333 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems
|
| Pengarang: Farnaz Derakhshan, Trevor Bench-Capon, and Peter McBurney | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 355-372 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Rule Systems for Run-time Monitoring: from Eagle to RuleR
|
| Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
|
| Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Proceedings 2011 International Conference on Advanced Computer Science and Information Systems
|
|
|
|
Proceedings : ICACSIS International Coonference Om Advanced Computer Science and Information Systems
|
|
|
|
Functional evolution and accumulation of technological innovation systems: The case of renewable energy in East Africa
|
| Pengarang: Aschalew D. Tigabu, Frans Berkhout, Pieter van Beukering | No. Panggil: Science and Public Policy (Volume 42 Issue 5 October 2015, p. 614-631) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
