Ditemukan 327 dokumen dengan kata kunci 6130 |
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 ::
|
|
A dependency perspective on the adequacy of tree local multi-component tree adjoining grammar
|
Pengarang: Joan Chen-Main and Aravind K. Joshi | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 989-1022) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Strict equilibria interchangeability in multi-player zero-sum games
|
Pengarang: Pavel Naumov and Italo Simonelli | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 851-861) |
|
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 ::
|
|
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 ::
|
|
Monitoring bandwitdh pada router mikrotik menggunakan MRTG (Multi Router Traffic Grapher)
|
|
Perancangan Jaringan Hotspot Berbasis Mikrotik Pada SMA Muhammadiyah 09 di Bekasi
|
|
Perancangan Jaringan Hotspot Berbasis Mikrotik Pada SMA Muhammadiyah 09 Bekasi
|
|
Perancangan client side sistem informasi cadang ranting Muhammadiyah SE-JAKARTA
|
|