Francesca Toni

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
58Negotiating Socially Optimal Allocations of Resources. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. CoRR (abs/1109.6340) (2011). Web SearchBibTeXDownload
57Computational logic in agent based systems. Paolo Mancarella, Francesca Toni. Intelligenza Artificiale (5): 139-143 (2011). Web SearchBibTeXDownload
2010
56Some design guidelines for practical argumentation systems. Phan Minh Dung, Francesca Toni, Paolo Mancarella. COMMA 2010, 183-194. Web SearchBibTeXDownload
2009
55The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments. Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss. CoRR (abs/0906.1182) (2009). Web SearchBibTeXDownload
54Web Sites Repairing through Abduction. Paolo Mancarella, Giacomo Terreni, Francesca Toni. Electr. Notes Theor. Comput. Sci. (235): 137-152 (2009). Web SearchBibTeXDownload
53The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss. TPLP (9): 691-750 (2009). Web SearchBibTeXDownload
2008
52The ArguGRID Platform: An Overview. 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. GECON 2008, 217-225. Web SearchBibTeXDownload
51Computational Logic Foundations of KGP Agents. Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni. J. Artif. Intell. Res. (JAIR) (33): 285-348 (2008). Web SearchBibTeXDownload
2007
50Computing ideal sceptical argumentation. Phan Minh Dung, Paolo Mancarella, Francesca Toni. Artif. Intell. (171): 642-674 (2007). Web SearchBibTeXDownload
49Web Sites Verification: An Abductive Logic Programming Tool. Paolo Mancarella, Giacomo Terreni, Francesca Toni. ICLP 2007, 434-435. Web SearchBibTeXDownload
48A security framework for agent-based systems. Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban. IJWIS (3): 341-362 (2007). Cited by 7Web SearchBibTeXDownload
47Programming Applications in CIFF. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. LPNMR 2007, 284-289. Web SearchBibTeXDownload
2006
46Dialectic proof procedures for assumption-based, admissible argumentation. Phan Minh Dung, Robert A. Kowalski, Francesca Toni. Artif. Intell. (170): 114-159 (2006). Web SearchBibTeXDownload
45A dialectic procedure for sceptical, assumption-based argumentation. Phan Minh Dung, Paolo Mancarella, Francesca Toni. COMMA 2006, 145-156. Web SearchBibTeXDownload
44Normative KGP agents. Fariba Sadri, Kostas Stathis, Francesca Toni. Computational & Mathematical Organization Theory (12): 101-126 (2006). Web SearchBibTeXDownload
43Interleaving Belief Updating and Reasoning in Abductive Logic Programming. Fariba Sadri, Francesca Toni. ECAI 2006, 442-446. Web SearchBibTeX
42Negotiating Socially Optimal Allocations of Resources. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. J. Artif. Intell. Res. (JAIR) (25): 315-348 (2006). Web SearchBibTeXDownload
41A Formal Analysis of KGP Agents. Fariba Sadri, Francesca Toni. JELIA 2006, 413-425. Web SearchBibTeXDownload
40Building Next Generation Service-Oriented Architectures using Argumentation Agents. Vasa Curcin, Moustafa Ghanem, Yike Guo, Francesca Toni, Kostas Stathis. NODe/GSEM 2006, 249-262. Web SearchBibTeXDownload
2005
39Variety of Behaviours Through Profiles in Logic-Based Agents. Fariba Sadri, Francesca Toni. CLIMA 2005, 206-225. Web SearchBibTeXDownload
38Normative KGP Agents: A Preliminary Report. Fariba Sadri, Francesca Toni, Kostas Stathis. NORMAS 2005, 85-96. Web SearchBibTeXDownload
2004
37Declarative Agent Control. Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni. CLIMA 2004, 96-110. Web SearchBibTeXDownload
36Planning Partially for Situated Agents. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. CLIMA 2004, 230-248. Web SearchBibTeXDownload
35On Modelling Multi-agent Systems Declaratively. Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni. DALT 2004, 53-68. Web SearchBibTeXDownload
34The KGP Model of Agency. Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni. ECAI 2004, 33-37. Web SearchBibTeX
33Engineering Stable Multi-agent Systems. Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni. ESAW 2004, 322-334. Web SearchBibTeXDownload
32The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni. Global Computing 2004, 340-367. Web SearchBibTeXDownload
31The CIFF Proof Procedure for Abductive Logic Programming with Constraints. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. JELIA 2004, 31-43. Web SearchBibTeXDownload
30Abductive Logic Programming with CIFF: System Description. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. JELIA 2004, 680-684. Web SearchBibTeXDownload
2003
29Aspects of protocol conformance in inter-agent dialogue. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. AAMAS 2003, 982-983. Web SearchBibTeXDownload
28On optimal outcomes of negotiations over resources. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. AAMAS 2003, 177-184. Web SearchBibTeXDownload
27Protocol Conformance for Logic-based Agents. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. IJCAI 2003, 679-684. Web SearchBibTeX
26Minimally intrusive negotiating agents for resource sharing. Fariba Sadri, Francesca Toni, Paolo Torroni. IJCAI 2003, 796-804. Web SearchBibTeX
25Linearisability on datalog programs. Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni. Theor. Comput. Sci. (308): 199-226 (2003). Cited by 4Web SearchBibTeXDownload
24Logic-Based Agent Communication Protocols. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. Workshop on Agent Communication Languages 2003, 91-107. Web SearchBibTeXDownload
2002
23Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Phan Minh Dung, Paolo Mancarella, Francesca Toni. Computational Logic: Logic Programming and Beyond 2002, 289-310. Web SearchBibTeXDownload
22An Abductive Logic Programming Architecture for Negotiating Agents. Fariba Sadri, Francesca Toni, Paolo Torroni. JELIA 2002, 419-431. Web SearchBibTeXDownload
2001
21Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. Fariba Sadri, Francesca Toni, Paolo Torroni. ATAL 2001, 405-421. Web SearchBibTeXDownload
20E-RES: Reasoning about Actions, Events and Observations. Antonis C. Kakas, Rob Miller, Francesca Toni. LPNMR 2001, 254-266. Web SearchBibTeXDownload
2000
19E-RES: A System for Reasoning about Actions, Events and Observations. Antonis C. Kakas, Rob Miller, Francesca Toni. CoRR (cs.AI/0003034) (2000). Web SearchBibTeXDownload
18Planning with Incomplete Information. Antonis C. Kakas, Rob Miller, Francesca Toni. CoRR (cs.AI/0003049) (2000). Web SearchBibTeXDownload
1999
17Abduction with Negation as Failure for Active and Reactive Rules. Fariba Sadri, Francesca Toni. AI*IA 1999, 49-60. Web SearchBibTeXDownload
16Computing Argumentation in Logic Programming. Antonis C. Kakas, Francesca Toni. J. Log. Comput. (9): 515-562 (1999). Web SearchBibTeXDownload
15An Argumentation Framework of Reasoning about Actions and Change. Antonis C. Kakas, Rob Miller, Francesca Toni. LPNMR 1999, 78-91. Web SearchBibTeXDownload
1998
14Executing Suspended Logic Programs. Robert A. Kowalski, Francesca Toni, Gerhard Wetzel. Fundam. Inform. (34): 203-224 (1998). Web SearchBibTeXDownload
13Combining Introspection and Communication with Rationality and Reactivity in Agents. Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni. JELIA 1998, 17-32. Web SearchBibTeXDownload
1997
12An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni. Artif. Intell. (93): 63-101 (1997). Web SearchBibTeXDownload
11On the Relationsship Between Chain Queries and Linear Datalog Programs. Foto N. Afrati, Francesca Toni. DDLP 1997. Cited by 1Web SearchBibTeX
1996
10Abstract Argumentation. Robert A. Kowalski, Francesca Toni. Artif. Intell. Law (4): 275-296 (1996). Web SearchBibTeXDownload
9PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). Gerhard Wetzel, Robert A. Kowalski, Francesca Toni. JICSLP 1996, 535. Web SearchBibTeX
8Synthesis of Proof Procedures for Default Reasoning. Phan Minh Dung, Robert A. Kowalski, Francesca Toni. LOPSTR 1996, 313-324. Web SearchBibTeXDownload
1995
7Reduction of Abductive Logic Programs to Normal Logic Programs. Francesca Toni, Robert A. Kowalski. ICLP 1995, 367-381. Web SearchBibTeX
6An Argumentation-Theoretic Approach to Logic Program Transformation. Francesca Toni, Robert A. Kowalski. LOPSTR 1995, 61-75. Web SearchBibTeXDownload
5Computing the Acceptability Semantics. Francesca Toni, Antonis C. Kakas. LPNMR 1995, 401-415. Web SearchBibTeXDownload
4A Theorem-Proving approach to CLP. Gerhard Wetzel, Robert A. Kowalski, Francesca Toni. WLP 1995, 63-72. Web SearchBibTeX
1994
3Towards a Declarative and Efficient Glass-Box CLP Language. Robert A. Kowalski, Francesca Toni, Gerhard Wetzel. WLP 1994, 138-141. Web SearchBibTeX
1993
2An Assumption-Based Framework for Non-Monotonic Reasoning. Andrei Bondarenko, Francesca Toni, Robert A. Kowalski. LPNMR 1993, 171-189. Web SearchBibTeX
1992
1Abductive Logic Programming. Antonis C. Kakas, Paolo Mancarella, Francesca Toni. J. Log. Comput. (2): 719-770 (1992). Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research