| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
TAFA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Mancarella, Francesca Toni |
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties. |
Logic Programs, Norms and Action |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Negotiating Socially Optimal Allocations of Resources |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jarred McGinnis, Kostas Stathis, Francesca Toni |
A formal model of agent-oriented virtual organisations and their formation. |
Multiagent and Grid Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Mancarella, Francesca Toni |
Computational logic in agent based systems. |
Intelligenza Artificiale |
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 | Xiuyi Fan, Francesca Toni |
A First Step towards Argumentation Dialogues for Discovery. |
TAFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni, Paolo Torroni |
Bottom-Up Argumentation. |
TAFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiuyi Fan, Francesca Toni |
Assumption-Based Argumentation Dialogues. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Özgür Kafali, Francesca Toni, Paolo Torroni |
Collaborative diagnosis of exceptions to contracts. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xiuyi Fan, Francesca Toni |
Conflict resolution with argumentation dialogues. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano, Francesca Toni |
Knowledge Representation and Non-monotonic Reasoning. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
Argumentative agents. |
IMCSIT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paul-Amaury Matt, Maxime Morge, Francesca Toni |
Combining statistics and arguments to compute trust. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiuyi Fan, Francesca Toni, Adil Hussain |
Two-Agent Conflict Resolution with Assumption-Based Argumentation. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Francesca Toni, Paolo Mancarella |
Some design guidelines for practical argumentation systems. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Mancarella, Giacomo Terreni, Francesca Toni |
Web Sites Repairing through Abduction. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarred McGinnis, Kostas Stathis, Francesca Toni |
A Formal Framework of Virtual Organisations as Agent Societies |
FAVO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-Amaury Matt, Francesca Toni, Juan R. Vaccari |
Dominant Decisions by Argumentation Agents. |
ArgMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bromuri, Visara Urovi, Maxime Morge, Kostas Stathis, Francesca Toni |
A multi-agent system for service discovery, selection and negotiation. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
SOA, grid, negotiation, argumentation |
| 1 | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
Computational Logic Foundations of KGP Agents. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni, Jamal Bentahar |
Computational logic-based agents. |
Autonomous Agents and Multi-Agent Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
Assumption-Based Argumentation for Epistemic and Practical Reasoning. |
Computable Models of the Law, Languages, Dialogues, Games, Ontologies |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Grid Computing, e-Business, Service-Oriented Computing |
| 1 | Paul-Amaury Matt, Francesca Toni |
A Game-Theoretic Measure of Argument Strength for Abstract Argumentation. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
Argumentative KGP Agents for Service Composition. |
AAAI Spring Symposium: Emotion, Personality, and Social Behavior |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul-Amaury Matt, Francesca Toni, Thanassis Stournaras, Dimitris Dimitrelos |
Argumentation-based agents for eProcurement. |
AAMAS (Industry Track) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorian Gaertner, Juan A. Rodríguez-Aguilar, Francesca Toni |
Agreeing on Institutional Goals for Multi-agent Societies. |
COIN@AAMAS&AAAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-Amaury Matt, Francesca Toni |
Basic influence diagrams and the liberal stable semantics. |
COMMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang, Francesca Toni |
Towards argumentation-based contract negotiation. |
COMMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dorian Gaertner, Francesca Toni |
Hybrid argumentation and its properties. |
COMMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban |
A security framework for agent-based systems. |
IJWIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
Computing ideal sceptical argumentation. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorian Gaertner, Francesca Toni |
Computing Arguments and Attacks in Assumption-Based Argumentation. |
IEEE Intelligent Systems |
2007 |
DBLP DOI BibTeX RDF |
implemented systems, dialectical structure, argumentation |
| 1 | Francesca Toni |
Assumption-Based Argumentation for Selection and Composition of Services. |
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 | Paolo Mancarella, Giacomo Terreni, Francesca Toni |
Web Sites Verification: An Abductive Logic Programming Tool. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
E-Business in ArguGRID. |
GECON |
2007 |
DBLP DOI BibTeX RDF |
service composition, e-business, service selection |
| 1 | Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza |
A Multi-layered General Agent Model. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Francesca Toni |
Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning. |
JSAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorian Gaertner, Francesca Toni |
Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents. |
ArgMAS |
2007 |
DBLP DOI BibTeX RDF |
argumentation, norms, conflicts, BDI agents |
| 1 | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
Programming Applications in CIFF. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-Amaury Matt, Francesca Toni |
Infinitesimal nash transfers for resource allocation in strong social alliances. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Forth, Kostas Stathis, Francesca Toni |
Decision Making with a KGP Agent System. |
Journal of Decision Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Negotiating Socially Optimal Allocations of Resources. |
J. Artif. Intell. Res. (JAIR) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
Dialectic proof procedures for assumption-based, admissible argumentation. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Kostas Stathis, Francesca Toni |
Normative KGP agents. |
Computational & Mathematical Organization Theory |
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 | Fariba Sadri, Francesca Toni |
Interleaving Belief Updating and Reasoning in Abductive Logic Programming. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vasa Curcin, Moustafa Ghanem, Yike Guo, Francesca Toni, Kostas Stathis |
Building Next Generation Service-Oriented Architectures using Argumentation Agents. |
NODe/GSEM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni |
A Formal Analysis of KGP Agents. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-Amaury Matt, Francesca Toni |
Egalitarian Allocations of Indivisible Resources: Theory and Computation. |
CIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
A dialectic procedure for sceptical, assumption-based argumentation. |
COMMA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni |
Variety of Behaviours Through Profiles in Logic-Based Agents. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni, Kostas Stathis |
Normative KGP Agents: A Preliminary Report. |
NORMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
Declarative Agent Control. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
Planning Partially for Situated Agents. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Stathis, Francesca Toni |
Ambient Intelligence Using KGP Agents. |
EUSAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
The KGP Model of Agency. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni |
On Modelling Multi-agent Systems Declaratively. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni |
Engineering Stable Multi-agent Systems. |
ESAW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
Abductive Logic Programming with CIFF: System Description. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni |
Linearisability on datalog programs. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni, Paolo Torroni |
Minimally intrusive negotiating agents for resource sharing. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Protocol Conformance for Logic-based Agents. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Logic-Based Agent Communication Protocols. |
Workshop on Agent Communication Languages |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Aspects of protocol conformance in inter-agent dialogue. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
logic-based agents, agent communication protocols |
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
On optimal outcomes of negotiations over resources. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
welfare economics, resource allocation, negotiation |
| 1 | Yannis Dimopoulos, Bernhard Nebel, Francesca Toni |
On the computational complexity of assumption-based argumentation for default reasoning. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni, Kostas Stathis |
Access-as-you-need: A Computational Logic Framework for Accessing Resources in Artificial Societies. |
ESAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni, Paolo Torroni |
An Abductive Logic Programming Architecture for Negotiating Agents. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
Automated information management via abductive logic agents. |
Telematics and Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Torroni, Francesca Toni |
Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation. |
ESAW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Rob Miller 0002, Francesca Toni |
E-RES: Reasoning about Actions, Events and Observations. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni, Paolo Torroni |
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Rob Miller 0002, Francesca Toni |
E-RES: A System for Reasoning about Actions, Events and Observations |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Antonis C. Kakas, Rob Miller 0002, Francesca Toni |
Planning with Incomplete Information |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Bernhard Nebel, Francesca Toni |
Finding Admissible and Preferred Arguments Can be Very Hard. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Antonis C. Kakas, Francesca Toni |
Computing Argumentation in Logic Programming. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Bernhard Nebel, Francesca Toni |
Preferred Arguments are Harder to Compute than Stable Extension. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni |
Abduction with Negation as Failure for Active and Reactive Rules. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Rob Miller 0002, Francesca Toni |
An Argumentation Framework of Reasoning about Actions and Change. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Francesca Toni, Gerhard Wetzel |
Executing Suspended Logic Programs. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni |
Combining Introspection and Communication with Rationality and Reactivity in Agents. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Wetzel, Francesca Toni |
Semantic Query Optimization through Abduction and Constraint Handling. |
FQAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
An Abstract, Argumentation-Theoretic Approach to Default Reasoning. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Foto N. Afrati, Francesca Toni |
On the Relationsship Between Chain Queries and Linear Datalog Programs. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert A. Kowalski, Francesca Toni |
Abstract Argumentation. |
Artif. Intell. Law |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Wetzel, Robert A. Kowalski, Francesca Toni |
PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
Synthesis of Proof Procedures for Default Reasoning. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francesca Toni, Robert A. Kowalski |
Reduction of Abductive Logic Programs to Normal Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")