| Ditemukan 98 dokumen dengan kata kunci 3718 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
A logical basis for constructive systems
|
| Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A logic for normative multi-agent programs
|
| Pengarang: Mehdi Dastani, John-Jules Ch. Meyer, and Davide Grossi | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 335-354 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Multi-Agent System for Dynamic Ontologies
|
| Pengarang: Kevin Ottens, Nathalie Hernandez, Marie-Pierre Gleizes, and Nathalie Aussenac-Gilles | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 831-858 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logical Weak Completions of Paraconsistent Logics
|
| Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
|
|
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 ::
|
|
|
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
|
| Pengarang: U. Wolter, A. Martini, and E. H. Häusler | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 57-93) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents
|
| Pengarang: Vladimir Rybakov | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 989-1017 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
