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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 105-122, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 70-86, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 52-69, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga |
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 166-182, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![Springer, 978-3-319-09763-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xin Sun 0001 |
How to Build Input/Output Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 123-137, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Alechina, Wiebe van der Hoek, Brian Logan 0001 |
Fair Allocation of Group Tasks According to Social Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 19-34, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Eckert, Frederik Herzberg |
The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 138-147, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Luigi Sauro |
A Behavioral Hierarchy of Strategy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 148-165, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maiquel de Brito, Jomi Fred Hübner, Olivier Boissier |
A Conceptual Model for Situated Artificial Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 35-51, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth Black, Amanda Jane Coles, Sara Bernardini |
Automated Planning of Simple Persuasion Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 87-104, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antonis Achilleos |
On the Complexity of Two-Agent Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 1-18, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hans van Ditmarsch, Sophia Knight |
Partial Information and Uniform Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, pp. 183-198, 2014, Springer, 978-3-319-09763-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 34-50, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 340-356, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Dondio |
Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 119-137, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 51-68, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran |
Advanced SAT Techniques for Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 138-154, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Novák 0001, Cees Witteveen |
Reconfiguration of Large-Scale Surveillance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 325-339, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nils Bulling, Mehdi Dastani |
Coalitional Responsibility in Strategic Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 172-189, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elena Cabrio, Sara Tonelli, Serena Villata |
From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 1-17, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Teresa Alsinet, Ramón Béjar, Francesc Guitart, Lluís Godo |
Web Based System for Weighted Defeasible Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 155-171, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 223-238, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 273-289, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 374-390, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Kane, Pavel Naumov |
Symmetries and Epistemic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 190-205, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 290-306, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Dunin-Keplicz, Alina Strachocka |
Perceiving Rules under Incomplete and Inconsistent Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 256-272, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![Springer, 978-3-642-40623-2 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Strass |
Instantiating Knowledge Bases in Abstract Dialectical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 86-101, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Masoud Tabatabaei |
Accumulative Knowledge under Bounded Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 206-222, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pere Pardo, Lluís Godo |
A Temporal Argumentation Approach to Cooperative Planning Using Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 307-324, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana Sofia Gomes, José Júlio Alferes |
External Transaction Logic with Automatic Compensations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 239-255, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli |
A Sequent-Based Representation of Logical Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 69-85, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ringo Baumann, Gerhard Brewka |
Analyzing the Equivalence Zoo in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 18-33, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran |
Admissibility in the Abstract Dialectical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 102-118, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Henry Prakken, Dan Ionita, Roel J. Wieringa |
Risk Assessment as an Argumentation Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 357-373, 2013, Springer, 978-3-642-40623-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev, Catalin Dima |
Epistemic ATL with Perfect Recall, Past and Strategy Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 77-93, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Homola, Matthias Knorr 0001, João Leite 0001, Martin Slota |
MKNF Knowledge Bases in Multi-Context Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 146-162, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay, Odinaldo Rodrigues |
A Numerical Approach to the Merging of Argumentation Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 195-212, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 181-194, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matei Popovici |
Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 94-109, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frank Dignum, Virginia Dignum |
A Formal Semantics for Agent (Re)Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 61-76, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 163-180, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe |
Distributed Defeasible Speculative Reasoning in Ambient Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 43-60, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay |
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 1-24, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Mirbel, Serena Villata |
Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 110-127, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emiliano Lorini |
Logics for Reasoning about Agents' Attitudes in Strategic Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 26, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Lakemeyer |
Multi-agent Only-Knowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 25, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Isaac Pinyol |
A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 27-42, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![Springer, 978-3-642-32896-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nils Bulling, Michael Köster, Matei Popovici |
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 128-145, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan van Eijck |
A Geometric Look at Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 92-104, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Porello, Ulle Endriss |
Ontology Merging as Social Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 157-170, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tiago de Lima |
Alternating-Time Temporal Announcement Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 105-121, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![Springer, 978-3-642-22358-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Kafali, Paolo Torroni |
Social Commitment Delegation and Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 171-189, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Beirlaen, Christian Straßer |
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 312-329, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ulle Endriss |
Applications of Logic in Social Choice Theory - (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 88-91, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo |
Probabilistic Rule Learning in Nonmonotonic Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 243-258, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hans van Ditmarsch, Fernando Soler-Toscano |
Three Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 41-57, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 74-87, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nir Oren, Wamberto Weber Vasconcelos, Felipe Meneguzzi, Michael Luck |
Acting on Norm Constrained Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 347-363, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Richard Stocker 0001, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher 0001 |
A Formal Semantics for Brahms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 259-274, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Herzig, Emiliano Lorini, Nicolas Troquard |
A Dynamic Logic of Institutional Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 295-311, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sara Miner More, Pavel Naumov |
The Functional Dependence Relation on Hypergraphs of Secrets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 29-40, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Samy Sá, João F. L. Alcântara |
Abduction-Based Search for Cooperative Answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 208-224, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen |
Probabilistic Action and Deontic Logic - (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 293-294, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emiliano Lorini, Laurent Perrussel, Jean-Marc Thévenin |
A Modal Framework for Relating Belief and Signed Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 58-73, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 330-346, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Demolombe |
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 13-28, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Gabaldon |
Making Golog Norm Compliant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 275-292, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis |
Verifying Team Formation Protocols with Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 190-207, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes, Natasha Alechina |
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 139-156, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 364-382, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Calta, Dmitry Shkatov |
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 122-138, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 1-12, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Kafali, Francesca Toni, Paolo Torroni |
Reasoning about Exceptions to Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 225-242, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Exploring the Boundary of Half Positionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 171-185, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon |
Playing Extensive Form Games in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 153-170, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller |
Combining Logics in Simple Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 33-48, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 49-64, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert A. Kowalski, Fariba Sadri |
An Agent Language with Destructive Assignment and Model-Theoretic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 200-218, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ron van der Meyden |
Games, Norms and Strategic Notions in Information Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 8, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Kafali, Federico Chesani, Paolo Torroni |
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 82-98, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff |
Finding Uniform Strategies for Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 135-152, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 117-134, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 219-237, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 99-116, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![Springer, 978-3-642-16866-6 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Toby Walsh |
Is Computational Complexity a Barrier to Manipulation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 1-7, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Arianna Tocchio |
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 238-255, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Woltran |
Strong Equivalence in Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 14, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes |
Group Announcements: Logic and Games (Abstract of Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 9-13, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sara Miner More, Pavel Naumov |
Hypergraphs of Multiparty Secrets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 15-32, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![Springer, 978-3-642-14976-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 65-81, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan A. Zvesper, Krzysztof R. Apt |
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 186-199, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker |
Argumentation-Based Preference Modelling with Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers, pp. 141-157, 2009, Springer, 978-3-642-16866-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers, pp. 102-121, 2009, Springer, 978-3-642-16866-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|