| Ditemukan 54 dokumen dengan kata kunci 4579 |
Simpan CSV  |
|
Explicit substitution calculi with de Bruijn indices and intersection type systems
|
| Pengarang: Daniel Lima Ventura, Fairouz Kamareddine, and Mauricio Ayala-Rincón | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 295-340) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics Modulo Theories: a logical framework for multi-agent systems
|
| Pengarang: Lito Perez Cruz and John Newsome Crossley | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 553-583) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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
|
|
|
Hasil Pencarian
