Security of multi-agent systems: A case study on comparison shopping

, , &
Journal of Applied Logic 5 (2):303-332 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.12.015

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Foreword to Special issue on Logics for Multi-agent Systems.Valentin Goranko & Wojciech Jamroga - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
Special issue on logics for intelligent agents and multi-agent systems.Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds & Abdul Sattar - 2011 - Journal of Applied Logic 9 (4):221-222.
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.Franco Raimondi & Alessio Lomuscio - 2007 - Journal of Applied Logic 5 (2):235-251.
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
On complexity of verification of interacting agents' behavior.Michael Dekhtyar, Alexander Dikovsky & Mars Valiev - 2006 - Annals of Pure and Applied Logic 141 (3):336-362.
Axel Hutter: Narrative Ontologie.Harald Seubert - 2019 - Philosophischer Literaturanzeiger 72 (2):153-161.
Ontology negotiation in heterogeneous multi-agent systems: The anemone system.Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk & John-Jules Meyer - 2007 - Applied ontology 2 (3):267-303.
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts.Mathieu Beirlaen & Christian Straßer - 2011 - In Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella & Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814. Springer. pp. 312–329.
Regulating competing coalitions: a logic for socially optimal group choices.Paolo Turrini, Jan Broersen, Rosja Mastop & John-Jules Meyer - 2012 - Journal of Applied Non-Classical Logics 22 (1):181-202.
Intensional Protocols for Dynamic Epistemic Logic.Suzanne Wijk, Rasmus Rendsvig & Hanna Lee - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.

Analytics

Added to PP
2016-06-30

Downloads
5 (#1,562,340)

6 months
3 (#1,208,233)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references