×

Found 57 Documents (Results 1–57)

Parameterised model checking for alternating-time temporal logic. (English) Zbl 1403.68127

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 1230-1237 (2016).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Abstraction-based verification of infinite-state reactive modules. (English) Zbl 1403.68299

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 725-733 (2016).
MSC:  68T42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Agent-based refinement for predicate abstraction of multi-agent systems. (English) Zbl 1403.68300

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 286-294 (2016).
MSC:  68T42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A three-value abstraction technique for the verification of epistemic properties in multi-agent systems. (English) Zbl 1483.68417

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 112-126 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Automated verification of quantum protocols using mcmas. (English) Zbl 1458.68112

Wiklicky, Herbert (ed.) et al., Proceedings of the 10th workshop on quantitative aspects of programming languages and systems, Tallinn, Estonia, March 31 and April 1, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 85, 48-62 (2012).
MSC:  68Q60 68Q12 81P68
PDFBibTeX XMLCite
Full Text: arXiv Link

Symbolic model checking for temporal-epistemic logic. (English) Zbl 1356.68144

Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 172-195 (2012).
MSC:  68Q60 03B42 03B44
PDFBibTeX XMLCite
Full Text: DOI

The scientific contribution of Marek Sergot. (English) Zbl 1356.01008

Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 4-11 (2012).
MSC:  01A70 03-03 68-03
PDFBibTeX XMLCite
Full Text: DOI

Automatic data-abstraction in model checking multi-agent systems. (English) Zbl 1327.68162

van der Meyden, Ron (ed.) et al., Model checking and artificial intelligence. 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-20673-3/pbk). Lecture Notes in Computer Science 6572. Lecture Notes in Artificial Intelligence, 52-68 (2011).
MSC:  68Q60 68T42
PDFBibTeX XMLCite
Full Text: DOI

Parallel model checking for temporal epistemic logic. (English) Zbl 1211.68406

Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 543-548 (2010).
PDFBibTeX XMLCite
Full Text: DOI

A data symmetry reduction technique for temporal-epistemic logic. (English) Zbl 1262.68110

Liu, Zhiming (ed.) et al., Automated technology for verification and analysis. 7th international symposium, ATVA 2009, Macao, China, October 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04760-2/pbk). Lecture Notes in Computer Science 5799, 69-83 (2009).
MSC:  68Q60 03B42 03B44
PDFBibTeX XMLCite
Full Text: DOI

First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. (English) Zbl 1246.03036

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 140-154 (2009).
MSC:  03B42 03B44 68T27
PDFBibTeX XMLCite
Full Text: DOI

Towards partial order reduction for model checking temporal epistemic logic. (English) Zbl 1226.68043

Peled, Doron A. (ed.) et al., Model checking and artificial intelligence. 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-00430-8/pbk). Lecture Notes in Computer Science 5348. Lecture Notes in Artificial Intelligence, 106-121 (2009).
PDFBibTeX XMLCite
Full Text: DOI

A complete quantified epistemic logic for reasoning about message passing systems. (English) Zbl 1175.68430

Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 248-267 (2009).
MSC:  68T27 03B42 68T42
PDFBibTeX XMLCite
Full Text: DOI

Bounded model checking real-time multi-agent systems with clock differences: theory and implementation. (English) Zbl 1196.68285

Edelkamp, Stefan (ed.) et al., Model checking and artificial intelligence. 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-74127-5/pbk). Lecture Notes in Computer Science 4428. Lecture Notes in Artificial Intelligence, 95-112 (2007).
MSC:  68T42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Model checking and artificial intelligence. 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006. Revised selected and invited papers. (English) Zbl 1119.68007

Lecture Notes in Computer Science 4428. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-74127-5/pbk). xi, 185 p. (2007).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 3rd international workshop on logic and communication in multi-agent systems (LCMAS 2005), Edinburgh, UK, August 1, 2005. (English) Zbl 1272.68038

Electronic Notes in Theoretical Computer Science 157, No. 4. Amsterdam: Elsevier. 137 p., electronic only (2006).
PDFBibTeX XMLCite
Full Text: Link

A complete and decidable axiomatisation for deontic interpreted systems. (English) Zbl 1148.03319

Goble, Lou (ed.) et al., Deontic logic and artificial normative systems. 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12–14, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35842-0/pbk). Lecture Notes in Computer Science 4048. Lecture Notes in Artificial Intelligence, 238-254 (2006).
MSC:  03B45 03B44 68T27
PDFBibTeX XMLCite
Full Text: DOI

mcmas: a model checker for multi-agent systems. (English) Zbl 1459.68121

Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 3920, 450-454 (2006).
MSC:  68Q60 68T42
PDFBibTeX XMLCite
Full Text: DOI

Bounded model checking for deontic interpreted systems. (English) Zbl 1272.68279

van der Hoek, Wiebe (ed.) et al., Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 126, 93-114 (2005).
MSC:  68Q60 68T27 68T42
PDFBibTeX XMLCite
Full Text: Link

Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. (English) Zbl 1271.68063

Electronic Notes in Theoretical Computer Science 126. Amsterdam: Elsevier. 114 p., electronic only (2005).
PDFBibTeX XMLCite
Full Text: Link

A logic for knowledge, correctness, and real time. (English) Zbl 1081.68098

Leite, João (ed.) et al., Computational logic in multi-agent systems. 5th international workshop, CLIMA V, Lisbon, Portugal, September 29–30, 2004. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-28060-X/pbk). Lecture Notes in Computer Science 3487. Lecture Notes in Artificial Intelligence, 1-15 (2005).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

A logic for ignorance. (English) Zbl 1270.03042

van der Hoek, Wiebe (ed.) et al., LCMAS 2003. Proceedings of the first workshop on logic and communication in multi-agent systems, Eindhoven, The Netherlands, June 29, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 85, No. 2, 117-133 (2004).
MSC:  03B45 68T27 68T42
PDFBibTeX XMLCite
Full Text: Link

LCMAS 2003. Proceedings of the first workshop on logic and communication in multi-agent systems, Eindhoven, The Netherlands, June 29, 2003. (English) Zbl 1271.68064

Electronic Notes in Theoretical Computer Science 85, No. 2. Amsterdam: Elsevier. 81-207, electronic only (2004).
PDFBibTeX XMLCite
Full Text: Link

Automatic verification of deontic properties of multi-agent systems. (English) Zbl 1169.68618

Lomuscio, Alessio (ed.) et al., Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22111-5/pbk). Lecture Notes in Computer Science 3065. Lecture Notes in Artificial Intelligence, 228-242 (2004).
MSC:  68T27 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. (English) Zbl 1051.03004

Lecture Notes in Computer Science 3065. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 3-540-22111-5/pbk). x, 275 p. (2004).
PDFBibTeX XMLCite
Full Text: DOI

A tableaux system for deontic interpreted systems. (English) Zbl 1205.03026

Gedeon, Tamás D. (ed.) et al., AI 2003: advances in artificial intelligence. 16th Australian conference on AI, Perth, Australia, December 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20646-9/pbk). Lecture Notes in Computer Science 2903. Lecture Notes in Artificial Intelligence, 339-351 (2003).
MSC:  03B35 03B45 68T15
PDFBibTeX XMLCite
Full Text: DOI

On multi-agent systems specification via deontic logic. (English) Zbl 1050.68131

Meyer, John-Jules Ch. (ed.) et al., Intelligent agents VIII. Agent theories, architectures, and languages. 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1–3, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43858-0). Lect. Notes Comput. Sci. 2333, 86-99 (2002).
MSC:  68T27 03B45
PDFBibTeX XMLCite
Full Text: Link

A spectrum of modes of knowledge sharing between agents. (English) Zbl 0956.03017

Jennings, Nicholas R. (ed.) et al., Intelligent agents VI. Agent theories, architectures, and languages. 6th international workshop, ATAL ’99. Orlando, FL, USA, July 15-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1757, 13-26 (2000).
MSC:  03B42 68T30
PDFBibTeX XMLCite

Reasoning about visibility, perception, and knowledge. (English) Zbl 0961.68127

Jennings, Nicholas R. (ed.) et al., Intelligent agents VI. Agent theories, architectures, and languages. 6th international workshop, ATAL ’99. Orlando, FL, USA, July 15-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1757, 1-12 (2000).
MSC:  68T27
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software