| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Pavlos Moraitis |
Empirical Evaluation of Strategies for Multiparty Argumentative Debates.  |
CLIMA  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001 |
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr 0001, João Leite 0001 |
Evolving Bridge Rules in Evolving Multi-Context Systems. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga |
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Leendert W. N. van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Weber Vasconcelos (eds.) |
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Sun 0001 |
How to Build Input/Output Logic. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Wiebe van der Hoek, Brian Logan 0001 |
Fair Allocation of Group Tasks According to Social Norms. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Eckert, Frederik Herzberg |
The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Luigi Sauro |
A Behavioral Hierarchy of Strategy Logic. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Maiquel de Brito, Jomi Fred Hübner, Olivier Boissier |
A Conceptual Model for Situated Artificial Institutions. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth Black, Amanda Jane Coles, Sara Bernardini |
Automated Planning of Simple Persuasion Dialogues. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis Achilleos |
On the Complexity of Two-Agent Justification Logic. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Sophia Knight |
Partial Information and Uniform Strategies. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Z. Wyner, Trevor J. M. Bench-Capon, Paul E. Dunne |
On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Baroni, Marco Romano, Francesca Toni, Marco Aurisicchio, Giorgio Bertanza |
An Argumentation-Based Approach for Automatic Evaluation of Design Debates. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Dondio |
Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Alan Perotti, Leon van der Torre, Serena Villata |
Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran |
Advanced SAT Techniques for Abstract Argumentation. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Novák 0001, Cees Witteveen |
Reconfiguration of Large-Scale Surveillance Systems. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Mehdi Dastani |
Coalitional Responsibility in Strategic Settings. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Cabrio, Sara Tonelli, Serena Villata |
From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Teresa Alsinet, Ramón Béjar, Francesc Guitart, Lluís Godo |
Web Based System for Weighted Defeasible Argumentation. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Knorr 0001, Alfredo Gabaldon, Ricardo Gonçalves 0001, João Leite 0001, Martin Slota |
Time Is Up! - Norms with Deadlines in Action Languages. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher 0001, Matthew P. Webster |
Using Agent JPF to Build Models for Other Model Checkers. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiuyi Fan, Robert Craven, Ramsay Singer, Francesca Toni, Matthew Williams 0001 |
Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Kane, Pavel Naumov |
Symmetries and Epistemic Reasoning. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son |
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Alina Strachocka |
Perceiving Rules under Incomplete and Inconsistent Information. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | João Leite 0001, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (eds.) |
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Strass |
Instantiating Knowledge Bases in Abstract Dialectical Frameworks. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Masoud Tabatabaei |
Accumulative Knowledge under Bounded Resources. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pere Pardo, Lluís Godo |
A Temporal Argumentation Approach to Cooperative Planning Using Dialogues. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sofia Gomes, José Júlio Alferes |
External Transaction Logic with Automatic Compensations. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli |
A Sequent-Based Representation of Logical Argumentation. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ringo Baumann, Gerhard Brewka |
Analyzing the Equivalence Zoo in Abstract Argumentation. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran |
Admissibility in the Abstract Dialectical Framework. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Prakken, Dan Ionita, Roel J. Wieringa |
Risk Assessment as an Argumentation Game. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Catalin Dima |
Epistemic ATL with Perfect Recall, Past and Strategy Contexts. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Homola, Matthias Knorr 0001, João Leite 0001, Martin Slota |
MKNF Knowledge Bases in Multi-Context Systems. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Odinaldo Rodrigues |
A Numerical Approach to the Merging of Argumentation Networks. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer |
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matei Popovici |
Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Dignum, Virginia Dignum |
A Formal Semantics for Agent (Re)Organization. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Wright 0001, Enrico Pontelli, Tran Cao Son |
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe |
Distributed Defeasible Speculative Reasoning in Ambient Environment. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay |
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Mirbel, Serena Villata |
Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini |
Logics for Reasoning about Agents' Attitudes in Strategic Contexts. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Lakemeyer |
Multi-agent Only-Knowing. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Isaac Pinyol |
A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher 0001, Leon van der Torre, Mehdi Dastani, Guido Governatori (eds.) |
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Michael Köster, Matei Popovici |
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
A Geometric Look at Manipulation. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Porello, Ulle Endriss |
Ontology Merging as Social Choice. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago de Lima |
Alternating-Time Temporal Announcement Logic. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Leite 0001, 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 | Özgür Kafali, Paolo Torroni |
Social Commitment Delegation and Monitoring. |
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 | Ulle Endriss |
Applications of Logic in Social Choice Theory - (Invited Talk). |
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 | Hans van Ditmarsch, Fernando Soler-Toscano |
Three Steps. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans 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 | Nir Oren, Wamberto Weber Vasconcelos, Felipe Meneguzzi, Michael Luck |
Acting on Norm Constrained Plans. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stocker 0001, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher 0001 |
A Formal Semantics for Brahms. |
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 | Sara Miner More, Pavel Naumov |
The Functional Dependence Relation on Hypergraphs of Secrets. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Sá, João F. L. Alcântara |
Abduction-Based Search for Cooperative Answers. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan M. Broersen |
Probabilistic Action and Deontic Logic - (Invited Talk). |
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 | Marco Alberti 0001, Ana Sofia Gomes, Ricardo Gonçalves 0001, João Leite 0001, Martin Slota |
Normative Systems Represented as Hybrid Knowledge Bases. |
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 | Alfredo Gabaldon |
Making Golog Norm Compliant. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis |
Verifying Team Formation Protocols with Probabilistic Model Checking. |
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 | 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 | Jan Calta, Dmitry Shkatov |
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Parsons, Yuqing Tang 0001, Kai Cai, Elizabeth Sklar, Peter McBurney |
Some Thoughts on Using Argumentation to Handle Trust - (Invited Talk). |
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 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Exploring the Boundary of Half Positionality. |
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 | Christoph Benzmüller |
Combining Logics in Simple Type Theory. |
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 | Robert A. Kowalski, Fariba Sadri |
An Agent Language with Destructive Assignment and Model-Theoretic Semantics. |
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 | Ö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 | Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff |
Finding Uniform Strategies for Multi-agent Systems. |
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 | 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 | Davide D'Aprile, Laura Giordano 0001, 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 0001, Peter Novák 0001 (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 | Stefania Costantini, Arianna Tocchio |
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Woltran |
Strong Equivalence in Argumentation. |
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 | Sara Miner More, Pavel Naumov |
Hypergraphs of Multiparty Secrets. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, João Leite 0001, 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 | 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 | 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 | Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker |
Argumentation-Based Preference Modelling with Incomplete Information. |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license