| 2008 |
|---|
| 67 | EE | Francesca Toni,
Jamal Bentahar:
Computational logic-based agents.
Autonomous Agents and Multi-Agent Systems 16(3): 211-213 (2008) |
| 2007 |
|---|
| 66 | | Katsumi Inoue,
Ken Satoh,
Francesca Toni:
Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
Springer 2007 |
| 65 | EE | Paul-Amaury Matt,
Francesca Toni:
Infinitesimal nash transfers for resource allocation in strong social alliances.
AAMAS 2007: 107 |
| 64 | EE | Stefania Costantini,
Arianna Tocchio,
Francesca Toni,
Panagiota Tsintza:
A Multi-layered General Agent Model.
AI*IA 2007: 121-132 |
| 63 | EE | Dorian Gaertner,
Francesca Toni:
Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents.
ArgMAS 2007: 94-113 |
| 62 | EE | Francesca Toni:
E-Business in ArguGRID.
GECON 2007: 164-169 |
| 61 | EE | Paolo Mancarella,
Giacomo Terreni,
Francesca Toni:
Web Sites Verification: An Abductive Logic Programming Tool.
ICLP 2007: 434-435 |
| 60 | EE | Francesca Toni:
Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning.
JSAI 2007: 390-402 |
| 59 | EE | Paolo Mancarella,
Fariba Sadri,
Giacomo Terreni,
Francesca Toni:
Programming Applications in CIFF.
LPNMR 2007: 284-289 |
| 58 | EE | Phan Minh Dung,
Paolo Mancarella,
Francesca Toni:
Computing ideal sceptical argumentation.
Artif. Intell. 171(10-15): 642-674 (2007) |
| 57 | EE | Jamal Bentahar,
Francesca Toni,
John-Jules Ch. Meyer,
Jihad Labban:
A security framework for agent-based systems.
IJWIS 3(4): 341-362 (2007) |
| 2006 |
|---|
| 56 | | Francesca Toni,
Paolo Torroni:
Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Springer 2006 |
| 55 | EE | Paul-Amaury Matt,
Francesca Toni:
Egalitarian Allocations of Indivisible Resources: Theory and Computation.
CIA 2006: 243-257 |
| 54 | | Fariba Sadri,
Francesca Toni:
Interleaving Belief Updating and Reasoning in Abductive Logic Programming.
ECAI 2006: 442-446 |
| 53 | EE | Fariba Sadri,
Francesca Toni:
A Formal Analysis of KGP Agents.
JELIA 2006: 413-425 |
| 52 | | Vasa Curcin,
Moustafa Ghanem,
Yike Guo,
Francesca Toni,
Kostas Stathis:
Building Next Generation Service-Oriented Architectures using Argumentation Agents.
NODe/GSEM 2006: 249-262 |
| 51 | EE | Phan Minh Dung,
Robert A. Kowalski,
Francesca Toni:
Dialectic proof procedures for assumption-based, admissible argumentation.
Artif. Intell. 170(2): 114-159 (2006) |
| 50 | EE | Ulrich Endriss,
Nicolas Maudet,
Fariba Sadri,
Francesca Toni:
Negotiating Socially Optimal Allocations of Resources.
J. Artif. Intell. Res. (JAIR) 25: 315-348 (2006) |
| 2005 |
|---|
| 49 | EE | Fariba Sadri,
Francesca Toni:
Variety of Behaviours Through Profiles in Logic-Based Agents.
CLIMA VI 2005: 206-225 |
| 48 | EE | Francesca Toni:
Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project.
CLIMA VI 2005: 420-426 |
| 2004 |
|---|
| 47 | EE | Paolo Mancarella,
Fariba Sadri,
Giacomo Terreni,
Francesca Toni:
Planning Partially for Situated Agents.
CLIMA V 2004: 230-248 |
| 46 | EE | Antonis C. Kakas,
Paolo Mancarella,
Fariba Sadri,
Kostas Stathis,
Francesca Toni:
Declarative Agent Control.
CLIMA V 2004: 96-110 |
| 45 | EE | Andrea Bracciali,
Paolo Mancarella,
Kostas Stathis,
Francesca Toni:
On Modelling Multi-agent Systems Declaratively.
DALT 2004: 53-68 |
| 44 | | Antonis C. Kakas,
Paolo Mancarella,
Fariba Sadri,
Kostas Stathis,
Francesca Toni:
The KGP Model of Agency.
ECAI 2004: 33-37 |
| 43 | EE | Andrea Bracciali,
Paolo Mancarella,
Kostas Stathis,
Francesca Toni:
Engineering Stable Multi-agent Systems.
ESAW 2004: 322-334 |
| 42 | EE | Kostas Stathis,
Francesca Toni:
Ambient Intelligence Using KGP Agents.
EUSAI 2004: 351-362 |
| 41 | EE | 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 |
| 40 | EE | Ulrich Endriss,
Paolo Mancarella,
Fariba Sadri,
Giacomo Terreni,
Francesca Toni:
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
JELIA 2004: 31-43 |
| 39 | EE | Ulrich Endriss,
Paolo Mancarella,
Fariba Sadri,
Giacomo Terreni,
Francesca Toni:
Abductive Logic Programming with CIFF: System Description.
JELIA 2004: 680-684 |
| 2003 |
|---|
| 38 | EE | Ulrich Endriss,
Nicolas Maudet,
Fariba Sadri,
Francesca Toni:
On optimal outcomes of negotiations over resources.
AAMAS 2003: 177-184 |
| 37 | EE | Ulrich Endriss,
Nicolas Maudet,
Fariba Sadri,
Francesca Toni:
Aspects of protocol conformance in inter-agent dialogue.
AAMAS 2003: 982-983 |
| 36 | | Ulrich Endriss,
Nicolas Maudet,
Fariba Sadri,
Francesca Toni:
Protocol Conformance for Logic-based Agents.
IJCAI 2003: 679-684 |
| 35 | | Fariba Sadri,
Francesca Toni,
Paolo Torroni:
Minimally intrusive negotiating agents for resource sharing.
IJCAI 2003: 796-804 |
| 34 | EE | Ulrich Endriss,
Nicolas Maudet,
Fariba Sadri,
Francesca Toni:
Logic-Based Agent Communication Protocols.
Workshop on Agent Communication Languages 2003: 91-107 |
| 33 | | 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) |
| 32 | EE | Foto N. Afrati,
Manolis Gergatsoulis,
Francesca Toni:
Linearisability on datalog programs.
Theor. Comput. Sci. 308(1-3): 199-226 (2003) |
| 2002 |
|---|
| 31 | EE | 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 |
| 30 | EE | Francesca Toni,
Kostas Stathis:
Access-as-you-need: A Computational Logic Framework for Accessing Resources in Artificial Societies.
ESAW 2002: 126-140 |
| 29 | EE | Fariba Sadri,
Francesca Toni,
Paolo Torroni:
An Abductive Logic Programming Architecture for Negotiating Agents.
JELIA 2002: 419-431 |
| 28 | EE | 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) |
| 2001 |
|---|
| 27 | EE | Fariba Sadri,
Francesca Toni,
Paolo Torroni:
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.
ATAL 2001: 405-421 |
| 26 | EE | Paolo Torroni,
Francesca Toni:
Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation.
ESAW 2001: 105-118 |
| 25 | EE | Antonis C. Kakas,
Rob Miller,
Francesca Toni:
E-RES: Reasoning about Actions, Events and Observations.
LPNMR 2001: 254-266 |
| 24 | EE | Francesca Toni:
Automated information management via abductive logic agents.
Telematics and Informatics 18(1): 89-104 (2001) |
| 2000 |
|---|
| 23 | | Yannis Dimopoulos,
Bernhard Nebel,
Francesca Toni:
Finding Admissible and Preferred Arguments Can be Very Hard.
KR 2000: 53-61 |
| 22 | EE | Antonis C. Kakas,
Rob Miller,
Francesca Toni:
E-RES: A System for Reasoning about Actions, Events and Observations
CoRR cs.AI/0003034: (2000) |
| 21 | EE | Antonis C. Kakas,
Rob Miller,
Francesca Toni:
Planning with Incomplete Information
CoRR cs.AI/0003049: (2000) |
| 1999 |
|---|
| 20 | EE | Fariba Sadri,
Francesca Toni:
Abduction with Negation as Failure for Active and Reactive Rules.
AI*IA 1999: 49-60 |
| 19 | | Yannis Dimopoulos,
Bernhard Nebel,
Francesca Toni:
Preferred Arguments are Harder to Compute than Stable Extension.
IJCAI 1999: 36-43 |
| 18 | EE | Antonis C. Kakas,
Rob Miller,
Francesca Toni:
An Argumentation Framework of Reasoning about Actions and Change.
LPNMR 1999: 78-91 |
| 17 | EE | Antonis C. Kakas,
Francesca Toni:
Computing Argumentation in Logic Programming.
J. Log. Comput. 9(4): 515-562 (1999) |
| 1998 |
|---|
| 16 | EE | Gerhard Wetzel,
Francesca Toni:
Semantic Query Optimization through Abduction and Constraint Handling.
FQAS 1998: 366-381 |
| 15 | EE | Pierangelo Dell'Acqua,
Fariba Sadri,
Francesca Toni:
Combining Introspection and Communication with Rationality and Reactivity in Agents.
JELIA 1998: 17-32 |
| 14 | | Robert A. Kowalski,
Francesca Toni,
Gerhard Wetzel:
Executing Suspended Logic Programs.
Fundam. Inform. 34(3): 203-224 (1998) |
| 1997 |
|---|
| 13 | | Foto N. Afrati,
Francesca Toni:
On the Relationsship Between Chain Queries and Linear Datalog Programs.
DDLP 1997: 0- |
| 12 | EE | Andrei Bondarenko,
Phan Minh Dung,
Robert A. Kowalski,
Francesca Toni:
An Abstract, Argumentation-Theoretic Approach to Default Reasoning.
Artif. Intell. 93: 63-101 (1997) |
| 1996 |
|---|
| 11 | | Gerhard Wetzel,
Robert A. Kowalski,
Francesca Toni:
PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract).
JICSLP 1996: 535 |
| 10 | | Phan Minh Dung,
Robert A. Kowalski,
Francesca Toni:
Synthesis of Proof Procedures for Default Reasoning.
LOPSTR 1996: 313-324 |
| 9 | | Robert A. Kowalski,
Francesca Toni:
Abstract Argumentation.
Artif. Intell. Law 4(3-4): 275-296 (1996) |
| 1995 |
|---|
| 8 | | Francesca Toni:
A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming.
GULP-PRODE 1995: 231-244 |
| 7 | | Francesca Toni,
Robert A. Kowalski:
Reduction of Abductive Logic Programs to Normal Logic Programs.
ICLP 1995: 367-381 |
| 6 | | Francesca Toni,
Robert A. Kowalski:
An Argumentation-Theoretic Approach to Logic Program Transformation.
LOPSTR 1995: 61-75 |
| 5 | | Francesca Toni,
Antonis C. Kakas:
Computing the Acceptability Semantics.
LPNMR 1995: 401-415 |
| 4 | | Gerhard Wetzel,
Robert A. Kowalski,
Francesca Toni:
A Theorem-Proving approach to CLP.
WLP 1995: 63-72 |
| 1994 |
|---|
| 3 | | Robert A. Kowalski,
Francesca Toni,
Gerhard Wetzel:
Towards a Declarative and Efficient Glass-Box CLP Language.
WLP 1994: 138-141 |
| 1993 |
|---|
| 2 | | Andrei Bondarenko,
Francesca Toni,
Robert A. Kowalski:
An Assumption-Based Framework for Non-Monotonic Reasoning.
LPNMR 1993: 171-189 |
| 1992 |
|---|
| 1 | | Antonis C. Kakas,
Robert A. Kowalski,
Francesca Toni:
Abductive Logic Programming.
J. Log. Comput. 2(6): 719-770 (1992) |
