Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Francesca Toni
2010 – today
- 2013
[j25]Francesca Toni: A generalised framework for dispute derivations in assumption-based argumentation. Artif. Intell. 195: 1-43 (2013)- [j24]Gordan Jezic, Sascha Ossowski, Francesca Toni, George A. Vouros: Preface to the special issue on Agreement Technologies. Artif. Intell. Rev. 39(1): 1-3 (2013)
- [c90]David Cabanillas, Francesc Bonada, Raquel Ventura, Francesca Toni, Valentinos Evripidou, Lucas Carstens, Liceth Rebolledo: A Combination of Knowledge and Argumentation Based System for Supporting Injection Mould Design. CCIA 2013: 293-296
- [c89]Pietro Baroni, Marco Romano, Francesca Toni, Marco Aurisicchio, Giorgio Bertanza: An Argumentation-Based Approach for Automatic Evaluation of Design Debates. CLIMA 2013: 340-356
- [c88]Xiuyi Fan, Robert Craven, Ramsay Singer, Francesca Toni, Matthew Williams: Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. CLIMA 2013: 374-390
- [c87]Lucas Carstens, Francesca Toni: Enhancing sentiment extraction from text by means of arguments. WISDOM 2013: 4
- [c86]Valentinos Evripidou, Francesca Toni: Quaestio-it.com: From Debates Towards Trustworthy Answers - (Extended Abstract). TRUST 2013: 273-274
- 2012
- [j23]Sanjay Modgil, Francesca Toni: Special Issue on Argumentation in Agreement Technologies. J. Log. Comput. 22(5): 953-956 (2012)
- [c85]Paolo Mancarella, Francesca Toni: Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties. Logic Programs, Norms and Action 2012: 33-51
- [c84]Xiuyi Fan, Francesca Toni: Argumentation Dialogues for Two-Agent Conflict Resolution. COMMA 2012: 249-260
- [c83]
- [c82]Yang Gao, Francesca Toni, Robert Craven: Argumentation-Based Reinforcement Learning for RoboCup Keepaway. COMMA 2012: 519-520
- [c81]
- [c80]Yang Gao, Francesca Toni, Robert Craven: Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway. ECAI 2012: 342-347
- [c79]Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams: Efficient Argumentation for Medical Decision-Making. KR 2012
- [c78]Valentinos Evripidou, Francesca Toni: Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web. RR 2012: 209-212
- [c77]Francesca Toni: Reasoning on the Web with Assumption-Based Argumentation. Reasoning Web 2012: 370-386
- [e4]Sascha Ossowski, Francesca Toni, George A. Vouros (Eds.): Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012. CEUR Workshop Proceedings 918, CEUR-WS.org 2012
- [e3]Sanjay Modgil, Nir Oren, Francesca Toni (Eds.): Theorie and Applications of Formal Argumentation - First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7132, Springer 2012, ISBN 978-3-642-29183-8
- 2011
- [j22]Paolo Mancarella, Francesca Toni: Computational logic in agent based systems. Intelligenza Artificiale 5(1): 139-143 (2011)
- [j21]Jarred McGinnis, Kostas Stathis, Francesca Toni: A formal model of agent-oriented virtual organisations and their formation. Multiagent and Grid Systems 7(6): 291-310 (2011)
- [c76]
- [c75]Özgür Kafali, Francesca Toni, Paolo Torroni: Collaborative diagnosis of exceptions to contracts. AAMAS 2011: 1167-1168
- [c74]Özgür Kafali, Francesca Toni, Paolo Torroni: Reasoning about Exceptions to Contracts. CLIMA 2011: 225-242
- [c73]
- [c72]
- [c71]
- [i4]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Negotiating Socially Optimal Allocations of Resources. CoRR abs/1109.6340 (2011)
- 2010
- [c70]Laura Giordano, Francesca Toni: Knowledge Representation and Non-monotonic Reasoning. 25 Years GULP 2010: 87-111
- [c69]Paul-Amaury Matt, Maxime Morge, Francesca Toni: Combining statistics and arguments to compute trust. AAMAS 2010: 209-216
- [c68]Phan Minh Dung, Francesca Toni, Paolo Mancarella: Some design guidelines for practical argumentation systems. COMMA 2010: 183-194
- [c67]Xiuyi Fan, Francesca Toni, Adil Hussain: Two-Agent Conflict Resolution with Assumption-Based Argumentation. COMMA 2010: 231-242
- [c66]
2000 – 2009
- 2009
- [j20]Paolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Repairing through Abduction. Electr. Notes Theor. Comput. Sci. 235: 137-152 (2009)
- [j19]Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP 9(6): 691-750 (2009)
- [c65]Adil Hussain, Francesca Toni: Assumption-Based Argumentation for Communicating Agents. AAAI Fall Symposium: The Uses of Computational Argumentation 2009
- [c64]Paul-Amaury Matt, Francesca Toni, Juan R. Vaccari: Dominant Decisions by Argumentation Agents. ArgMAS 2009: 42-59
- [c63]Stefano Bromuri, Visara Urovi, Maxime Morge, Kostas Stathis, Francesca Toni: A multi-agent system for service discovery, selection and negotiation. AAMAS (2) 2009: 1395-1396
- [c62]Jarred McGinnis, Kostas Stathis, Francesca Toni: A Formal Framework of Virtual Organisations as Agent Societies. FAVO 2009: 1-14
- [i3]Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss: The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments. CoRR abs/0906.1182 (2009)
- 2008
- [j18]Francesca Toni, Jamal Bentahar: Computational logic-based agents. Autonomous Agents and Multi-Agent Systems 16(3): 211-213 (2008)
- [j17]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. (JAIR) 33: 285-348 (2008)
- [c61]Francesca Toni: Argumentative KGP Agents for Service Composition. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 67-
- [c60]Dorian Gaertner, Juan A. Rodríguez-Aguilar, Francesca Toni: Agreeing on Institutional Goals for Multi-agent Societies. COIN@AAMAS&AAAI 2008: 1-16
- [c59]Paul-Amaury Matt, Francesca Toni, Thanassis Stournaras, Dimitris Dimitrelos: Argumentation-based agents for eProcurement. AAMAS (Industry Track) 2008: 71-74
- [c58]Phan Minh Dung, Phan Minh Thang, Francesca Toni: Towards argumentation-based contract negotiation. COMMA 2008: 134-146
- [c57]
- [c56]Paul-Amaury Matt, Francesca Toni: Basic influence diagrams and the liberal stable semantics. COMMA 2008: 228-239
- [c55]Francesca Toni, Mary Grammatikou, Stella Kafetzoglou, Leonidas Lymberopoulos, Symeon Papavassiliou, Dorian Gaertner, Maxime Morge, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Vasa Curcin, Moustafa Ghanem, Li Guo: The ArguGRID Platform: An Overview. GECON 2008: 217-225
- [c54]Paul-Amaury Matt, Francesca Toni: A Game-Theoretic Measure of Argument Strength for Abstract Argumentation. JELIA 2008: 285-297
- [p1]Francesca Toni: Assumption-Based Argumentation for Epistemic and Practical Reasoning. Computable Models of the Law, Languages, Dialogues, Games, Ontologies 2008: 185-202
- 2007
- [j16]Phan Minh Dung, Paolo Mancarella, Francesca Toni: Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674 (2007)
- [j15]Dorian Gaertner, Francesca Toni: Computing Arguments and Attacks in Assumption-Based Argumentation. IEEE Intelligent Systems 22(6): 24-33 (2007)
- [j14]Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban: A security framework for agent-based systems. IJWIS 3(4): 341-362 (2007)
- [c53]Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza: A Multi-layered General Agent Model. AI*IA 2007: 121-132
- [c52]Dorian Gaertner, Francesca Toni: Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents. ArgMAS 2007: 94-113
- [c51]Paul-Amaury Matt, Francesca Toni: Infinitesimal nash transfers for resource allocation in strong social alliances. AAMAS 2007: 107
- [c50]Francesca Toni: Assumption-Based Argumentation for Selection and Composition of Services. CLIMA 2007: 231-247
- [c49]
- [c48]Paolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Verification: An Abductive Logic Programming Tool. ICLP 2007: 434-435
- [c47]Maxime Morge, Jarred McGinnis, Stefano Bromuri, Francesca Toni, Paolo Mancarella, Kostas Stathis: Vers une architecture modulaire d'agent argumentatif pour la composition de services. JFSMA 2007: 233-242
- [c46]Francesca Toni: Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning. JSAI 2007: 390-402
- [c45]Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289
- [e2]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. Lecture Notes in Computer Science 4371, Springer 2007, ISBN 978-3-540-69618-6
- 2006
- [j13]Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170(2): 114-159 (2006)
- [j12]Fariba Sadri, Kostas Stathis, Francesca Toni: Normative KGP agents. Computational & Mathematical Organization Theory 12(2-3): 101-126 (2006)
- [j11]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Negotiating Socially Optimal Allocations of Resources. J. Artif. Intell. Res. (JAIR) 25: 315-348 (2006)
- [j10]Jeremy Forth, Kostas Stathis, Francesca Toni: Decision Making with a KGP Agent System. Journal of Decision Systems 15(2-3): 241-266 (2006)
- [c44]Paul-Amaury Matt, Francesca Toni: Egalitarian Allocations of Indivisible Resources: Theory and Computation. CIA 2006: 243-257
- [c43]Phan Minh Dung, Paolo Mancarella, Francesca Toni: A dialectic procedure for sceptical, assumption-based argumentation. COMMA 2006: 145-156
- [c42]Fariba Sadri, Francesca Toni: Interleaving Belief Updating and Reasoning in Abductive Logic Programming. ECAI 2006: 442-446
- [c41]Vasa Curcin, Moustafa Ghanem, Yike Guo, Francesca Toni, Kostas Stathis: Building Next Generation Service-Oriented Architectures using Argumentation Agents. NODe/GSEM 2006: 249-262
- [c40]
- [e1]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. Lecture Notes in Computer Science 3900, Springer 2006, ISBN 3-540-33996-5
- 2005
- [c39]Fariba Sadri, Francesca Toni: Variety of Behaviours Through Profiles in Logic-Based Agents. CLIMA 2005: 206-225
- [c38]Francesca Toni: Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. CLIMA 2005: 420-426
- [c37]Fariba Sadri, Francesca Toni, Kostas Stathis: Normative KGP Agents: A Preliminary Report. NORMAS 2005: 85-96
- 2004
- [c36]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Declarative Agent Control. CLIMA 2004: 96-110
- [c35]Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA 2004: 230-248
- [c34]Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: On Modelling Multi-agent Systems Declaratively. DALT 2004: 53-68
- [c33]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: The KGP Model of Agency. ECAI 2004: 33-37
- [c32]Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: Engineering Stable Multi-agent Systems. ESAW 2004: 322-334
- [c31]
- [c30]Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni: The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing 2004: 340-367
- [c29]Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43
- [c28]Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684
- 2003
- [j9]Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni: Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Ann. Math. Artif. Intell. 37(1-2): 65-91 (2003)
- [j8]Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni: Linearisability on datalog programs. Theor. Comput. Sci. 308(1-3): 199-226 (2003)
- [c27]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages 2003: 91-107
- [c26]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: On optimal outcomes of negotiations over resources. AAMAS 2003: 177-184
- [c25]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Aspects of protocol conformance in inter-agent dialogue. AAMAS 2003: 982-983
- [c24]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Protocol Conformance for Logic-based Agents. IJCAI 2003: 679-684
- [c23]Fariba Sadri, Francesca Toni, Paolo Torroni: Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804
- 2002
- [j7]Yannis Dimopoulos, Bernhard Nebel, Francesca Toni: On the computational complexity of assumption-based argumentation for default reasoning. Artif. Intell. 141(1/2): 57-78 (2002)
- [c22]Phan Minh Dung, Paolo Mancarella, Francesca Toni: Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Computational Logic: Logic Programming and Beyond 2002: 289-310
- [c21]Francesca Toni, Kostas Stathis: Access-as-you-need: A Computational Logic Framework for Accessing Resources in Artificial Societies. ESAW 2002: 126-140
- [c20]Fariba Sadri, Francesca Toni, Paolo Torroni: An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431
- 2001
- [j6]Francesca Toni: Automated information management via abductive logic agents. Telematics and Informatics 18(1): 89-104 (2001)
- [c19]Fariba Sadri, Francesca Toni, Paolo Torroni: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421
- [c18]Paolo Torroni, Francesca Toni: Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation. ESAW 2001: 105-118
- [c17]Antonis C. Kakas, Rob Miller, Francesca Toni: E-RES: Reasoning about Actions, Events and Observations. LPNMR 2001: 254-266
- 2000
- [c16]Yannis Dimopoulos, Bernhard Nebel, Francesca Toni: Finding Admissible and Preferred Arguments Can be Very Hard. KR 2000: 53-61
- [i2]Antonis C. Kakas, Rob Miller, Francesca Toni: E-RES: A System for Reasoning about Actions, Events and Observations. CoRR cs.AI/0003034 (2000)
- [i1]Antonis C. Kakas, Rob Miller, Francesca Toni: Planning with Incomplete Information. CoRR cs.AI/0003049 (2000)
1990 – 1999
- 1999
- [j5]Antonis C. Kakas, Francesca Toni: Computing Argumentation in Logic Programming. J. Log. Comput. 9(4): 515-562 (1999)
- [c15]Fariba Sadri, Francesca Toni: Abduction with Negation as Failure for Active and Reactive Rules. AI*IA 1999: 49-60
- [c14]Yannis Dimopoulos, Bernhard Nebel, Francesca Toni: Preferred Arguments are Harder to Compute than Stable Extension. IJCAI 1999: 36-43
- [c13]Antonis C. Kakas, Rob Miller, Francesca Toni: An Argumentation Framework of Reasoning about Actions and Change. LPNMR 1999: 78-91
- 1998
- [j4]Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Executing Suspended Logic Programs. Fundam. Inform. 34(3): 203-224 (1998)
- [c12]Gerhard Wetzel, Francesca Toni: Semantic Query Optimization through Abduction and Constraint Handling. FQAS 1998: 366-381
- [c11]Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni: Combining Introspection and Communication with Rationality and Reactivity in Agents. JELIA 1998: 17-32
- 1997
- [j3]Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni: An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artif. Intell. 93: 63-101 (1997)
- [c10]Foto N. Afrati, Francesca Toni: On the Relationship Between Chain Queries and Linear Datalog Programs. DDLP 1997
- 1996
- [j2]Robert A. Kowalski, Francesca Toni: Abstract Argumentation. Artif. Intell. Law 4(3-4): 275-296 (1996)
- [c9]Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). JICSLP 1996: 535
- [c8]Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Synthesis of Proof Procedures for Default Reasoning. LOPSTR 1996: 313-324
- 1995
- [c7]Francesca Toni: A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming. GULP-PRODE 1995: 231-244
- [c6]Francesca Toni, Robert A. Kowalski: Reduction of Abductive Logic Programs to Normal Logic Programs. ICLP 1995: 367-381
- [c5]Francesca Toni, Robert A. Kowalski: An Argumentation-Theoretic Approach to Logic Program Transformation. LOPSTR 1995: 61-75
- [c4]
- [c3]Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: A Theorem-Proving approach to CLP. WLP 1995: 63-72
- 1994
- [c2]Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Towards a Declarative and Efficient Glass-Box CLP Language. WLP 1994: 138-141
- 1993
- [c1]Andrei Bondarenko, Francesca Toni, Robert A. Kowalski: An Assumption-Based Framework for Non-Monotonic Reasoning. LPNMR 1993: 171-189
- 1992
- [j1]Antonis C. Kakas, Robert A. Kowalski, Francesca Toni: Abductive Logic Programming. J. Log. Comput. 2(6): 719-770 (1992)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:29 CEST by the dblp team