Hasil Pencarian
	Ditemukan 316 dokumen dengan kata kunci 8028 Simpan CSV  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  :: 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) Pengarang: Desi Yuliana Dewi | No. Panggil: PI.0098 | Koleksi: Laporan PKL Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Implementasi Jaringan VLAN Pengarang: Ichsan Ramadana | No. Panggil: ePI-2012094 | Koleksi: e-Laporan PKL Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Data Mining Algoritma dan Implementasi Pengarang: Muhmmad Arhami | No. Panggil: 005.74 MUH d | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   9 10 11 12 13 14 15 16 17 18  Next