| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Guido Governatori, Antonino Rotolo |
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance.  |
CLIMA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Özgür Kafali, Francesca Toni, Paolo Torroni |
Reasoning about Exceptions to Contracts. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo |
Probabilistic Rule Learning in Nonmonotonic Domains. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Beirlaen, Christian Straßer |
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
A Geometric Look at Manipulation. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Özgür Kafali, Paolo Torroni |
Social Commitment Delegation and Monitoring. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Gabaldon |
Making Golog Norm Compliant. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini, Nicolas Troquard |
A Dynamic Logic of Institutional Actions. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.) |
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago De Lima |
Alternating-Time Temporal Announcement Logic. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek |
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Laurent Perrussel, Jean-Marc Thévenin |
A Modal Framework for Relating Belief and Signed Information. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Demolombe |
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota |
Normative Systems Represented as Hybrid Knowledge Bases. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Oren, Wamberto Vasconcelos, Felipe Meneguzzi, Michael Luck |
Acting on Norm Constrained Plans. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulle Endriss |
Applications of Logic in Social Choice Theory - (Invited Talk). |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Calta, Dmitry Shkatov |
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Sá, João Alcântara |
Abduction-Based Search for Cooperative Answers. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney |
Some Thoughts on Using Argumentation to Handle Trust - (Invited Talk). |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen |
Probabilistic Action and Deontic Logic - (Invited Talk). |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
Verifying Team Formation Protocols with Probabilistic Model Checking. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Fernando Soler-Toscano |
Three Steps. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Porello, Ulle Endriss |
Ontology Merging as Social Choice. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Miner More, Pavel Naumov |
The Functional Dependence Relation on Hypergraphs of Secrets. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher |
A Formal Semantics for Brahms. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
An Agent Language with Destructive Assignment and Model-Theoretic Semantics. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini |
From Organisation Specification to Normative Programming in Multi-Agent Organisations. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Miner More, Pavel Naumov |
Hypergraphs of Multiparty Secrets. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff |
Finding Uniform Strategies for Multi-agent Systems. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Games, Norms and Strategic Notions in Information Flow Security. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller |
Combining Logics in Simple Type Theory. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Özgür Kafali, Federico Chesani, Paolo Torroni |
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (eds.) |
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh |
Speculative Abductive Reasoning for Hierarchical Agent Systems. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Exploring the Boundary of Half Positionality. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes |
Group Announcements: Logic and Games (Abstract of Invited Talk). |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré |
Verifying Business Process Compliance by Reasoning about Actions. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Michael Fisher, Peter Novák (eds.) |
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Walsh |
Is Computational Complexity a Barrier to Manipulation? |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan A. Zvesper, Krzysztof R. Apt |
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz |
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Woltran |
Strong Equivalence in Argumentation. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk |
Model Checking Agent Programs by Using the Program Interpreter. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon |
Playing Extensive Form Games in Parallel. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen |
Planning for Multiagent Using ASP-Prolog. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer |
Model Checking Normative Agent Organisations. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama, Tran Cao Son |
Interacting Answer Sets. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget |
InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Bas R. Steunebrink |
Operational Semantics for BDI Modules in Multi-agent Programming. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son, Enrico Pontelli |
Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Fariba Sadri, Michael Thielscher (eds.) |
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Arturo Góngora, David A. Rosenblueth |
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker |
Argumentation-Based Preference Modelling with Incomplete Information. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh |
On the Implementation of Speculative Constraint Processing. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Berndt Farwer |
Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalin Dima |
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Ken Satoh (eds.) |
Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers |
CLIMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano, Alberto Martelli |
Verifying Agents' Conformance with Multiparty Protocols. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio, Panagiota Tsintza |
Contracts Violation: Justification via Argumentation. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer |
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
user centric control, stochastic model checking, multi agent systems, symmetries, bisimulation, runtime analysis, cyber-physical systems |
| 1 | Mehdi Dastani |
Programming Multi-agent Systems. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga |
Easy Yet Hard: Model Checking Strategies of Agents. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Manuel Serrano, Sergio Saugar |
Run-Time Semantics of a Language for Programming Social Processes. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung |
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan |
Bounded-Resource Reasoning as (Strong or Classical) Planning. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Nils Bulling |
A Logic for Reasoning about Rational Agents. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Hakli, Sara Negri |
Proof Theory for Distributed Knowledge. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Slota, João Leite |
EVOLP: An Implementation. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun |
Towards Context Sensitive Defeasible Rules. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Linh Anh Nguyen |
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjen Hommersom, Peter J. F. Lucas |
Actions with Failures in Interval Temporal Logic. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher, Anthony Hepple |
Language Constructs for Multi-agent Programming. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
Assumption-Based Argumentation for Selection and Composition of Services. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio, Panagiota Tsintza |
A Heuristic Approach to P2P Negotiation. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang |
Plan-Coordination Mechanisms and the Price of Autonomy. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
multi-agent systems, coordination, planning, autonomy, Complex tasks |
| 1 | Jan Broersen, Julien Brunel |
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Slota, João Leite |
EVOLP: Tranformation-Based Semantics. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Stranders, Mathijs de Weerdt, Cees Witteveen |
Fuzzy Argumentation for Trust. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pereira, Eugénio C. Oliveira, Nelma Moreira |
Formal Modelling of Emotions in BDI Agents. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsumi Inoue, Ken Satoh, Francesca Toni (eds.) |
Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers |
CLIMA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone |
-Tropos. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Jürgen Dix, Peter Novák |
The Second Contest on Multi-Agent Systems Based on Computational Logic. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni, Paolo Torroni (eds.) |
Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers |
CLIMA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yoshitaka Suzuki |
Dialogue Game Tree with Nondeterministic Additive Consolidation. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Cares, Xavier Franch, Enric Mayol |
Using Antimodels to Define Agents' Strategy. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance |
A New Logical Semantics for Agent Communication. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo |
Belief Updating by Communication Channel. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Iara Carnevale de Almeida, José Júlio Alferes |
An Argumentation-Based Negotiation for Distributed Extended Logic Programs. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Cliffe, Marina De Vos, Julian A. Padget |
Answer Set Programming for Representing and Reasoning About Virtual Institutions. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zining Cao |
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer |
Prototyping 3APL in the Maude Term Rewriting Language. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn De Saeger, Atsushi Shimojima |
Contextual Reasoning in Agent Systems. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Multi-Agent FLUX for the Gold Mining Domain (System Description). |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | João Leite, Luís Soares |
Adding Evolving Abilities to a Multi-Agent System. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir |
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza |
Using Jason to Implement a Team of Gold Miners. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")