| Ditemukan 20 dokumen dengan kata kunci 4638 |
Simpan CSV  |
|
Property-based Slicing for Agent Verification
|
| Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Collaborative Runtime Verification with Tracematches
|
| Pengarang: Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, dll | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 707-723 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Comparing LTL Semantics for Runtime Verification
|
| Pengarang: Andreas Bauer, Martin Leucker, and Christian Schallhart | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 651-674 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verification of Games in the Game Description Language
|
| Pengarang: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1127-1156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Interaction-based Runtime Verification for Systems of Systems Integration
|
| Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Translation-based Approach to the Verification of Modular Equivalence
|
| Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 |
|
|
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 ::
|
|
|
A formal semantics for agent (re)organization
|
| Pengarang: Frank Dignum and Virginia Dignum | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1341-1363) |
|
|
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 ::
|
|
|
Dynamic specification of open agent systems
|
| Pengarang: Alexander Artikis | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1301-1334 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
