Francesca Toni's Selected Publications

2011 , 2010 , 2009 , 2008 , 2007 , 2006 , 2005 , 2004 , 2003 , 2002 , 2001 , 2000 , 1999 , 1998 , 1997 , 1996 , 1995 , 1994 , 1993 , 1992 , 1991

2011

X. Fan and F. Toni,
A First Step towards Argumentation Dialogues for Discovery,
Proc. TAFA 2011

F. Toni and P. Torroni,
Bottom-up argumentationi,
Proc. TAFA 2011

O. Kafali, F. Toni and P. Torroni,
Reasoning About Exceptions to Contracts,
Proc. CLIMA XII, Springer LNCS, 2011

X. Fan and F. Toni,
Assumption-based Argumentation Dialogues,
Proc. IJCAI 2011

X. Fan and F. Toni,
Conflict Resolution with Argumentation Dialogues -- Extended Abstract
Proc. AAMAS 2011

O. Kafali, F. Toni and P. Torroni,
Collaborative Diagnosis of Exceptions to Contracts -- Extended Abstract,
Proc. AAMAS 2011

P. Mancarella and F. Toni
Computational logic in agent based systems,
Intelligenza Artificiale (The International Journal of the AI*IA), IOS Press, Volume 5, Number 1, 2011

2010

F. Toni
Argumentative Agents,
Proc. International Multiconference on Computer Science and Information Technology, Volume 5, 2010

F. Toni and M. Sergot,
Argumentation and Answer Set Programming,
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond, 2010, Springer

P. Mancarella and F. Toni,
A semantics for positive abductive logic programs with implicative and denial integrity constraints,
NonMon@30, Thirty Years of Nonmonotonic Reasoning, Lexington, KY, USA, October 22-25, 2010

P.M. Dung, F. Toni and P. Mancarella
Some design guidelines for practical argumentation systems,
Proceedings of the Third International Conference on Computational Models of Arg ument (COMMA'10), IOS Press.

X. Fan, F. Toni and A. Hussain
Two-Agent Conflict Resolution with Assumption-Based Argumentation,
Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10), IOS Press.

L. Giordano and F. Toni
Knowledge representation and non-monotonic reasoning,
A 25 Year Perspective on Logic Programming, Achievements of the Italian Association for Logic Programming, GULP. Edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125, 2010

P. Mancarella and F. Toni,
A semantics for positive abductive logic programs with implicative integrity constraints,
Proc. 13th International Workshop on Non-Monotonic Reasoning (NMR 2010)

P.-A. Matt, M. Morge, F. Toni,
Combining statistics and arguments to compute trust,
Proc. of 9th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010)

J. McGinnis, K. Stathis and F. Toni,
A Formal Framework of Virtual Organisations as Agent Societies,
EPTCS 16, 2010

2009

A. Hussain and F. Toni,
Assumption-Based Argumentation for Communicating Agents,
The Uses of Computational Argumentation, AAAI Fall Symposium, 2009

J. McGinnis, K. Stathis and F. Toni,
Virtual Organisations as Agent Societies,
Formal Aspects of Virtual Organisations ( FAVO 2009), in conjunction with FM 2009

P. Mancarella, G. Terreni, F. Sadri, F. Toni, U. Endriss,
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments ,
Theory and Practice of Logic Programming, 9: 691-750, 2009

P.-A. Matt, F. Toni and J. Vaccari,
Dominant Decisions by Argumentation Agents ,
Argumentation in Multi-Agent Systems, 6th International Workshop, ArgMAS 2009 (LNAI 6057 post-proceedings)

S. Bromuri, V. Urovi, M. Morge, F. Toni, K. Stathis,
A multi-agent system for service discovery, selection and negotiation ,
Proc. of 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009)- Demo Track

P.M. Dung, R.A. Kowalski, F. Toni,
Assumption-Based Argumentation,
Argumentation in AI, I. Rahwan and G. Simari (Eds.), 199-218, Springer 2009

P. Mancarella, G. Terreni, F. Toni,
Web Sites Repairing through Abduction,
Electr. Notes Theor. Comput. Sci. 235: 137-152 (2009)

2008

A. Hussain, F. Toni,
On the benefits of argumentation for negotiation - preliminary version ,
Proc. EUMAS 2008

P.-A. Matt and F. Toni,
Game-Theoretic Measure of Argument Strength for Abstract Argumentation ,
11th European Conference on Logics in Artificial Intelligence (JELIA 2008), September 2008

A. Kakas, P. Mancarella, F. Sadri, K. Stathis, F. Toni,
Computational Logic Foundations of KGP Agents,
Journal of Artificial Intelligence Research, Volume 33, pages 285-348, 2008

F. Toni,
Assumption-based argumentation for selection and composition of services,
Post-Proceedings CLIMA VIII, Springer LNAI 5056 (to appear)

P. Mancarella, G. Terreni, F. Toni ,
Web Sites Repairing through abduction,
Proceedings 4th Int'l Workshop on Automated Specification and Verification of Web Systems, Siena, Italy, July 4, 2008

F. Toni, M. Grammatikou, S. Kafetzoglou, L. Lymberopoulos, S. Papavassileiou, D. Gaertner, M. Morge, S. Bromuri, J. McGinnis, K. Stathis, V. Curcin, M. Ghanem, L. Guo,
The ArguGRID Platform: An Overview ,
Proceedings of Grid Economics and Business Models, 5th International Workshop, GECON 2008, Springer LNCS 5206

F. Toni,
Assumption-based argumentation for epistemic and practical reasoning,
Computable Models of the Law, G. Sartor et al (eds), Springer LNAI 4884, 2008, pages 185-202

F. Toni, J. Bentahar (eds),
Computational Logic-based Agents,
Special issue of the Journal of Autonomous Agents and Multi-Agent Systems, Volume 16, Number 3, June 2008

D. Gaertner, F. Toni,
Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents ,
Argumentation in Multi-Agent Systems, 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers, Rahwan, Parsons and Reed (Eds.), Springer LNCS 4946, 2008, pages 94-113

P. Matt, F. Toni,
Basic influence diagrams and the liberal stable semantics,
Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), IOS Press.

D. Gaertner, F. Toni,
Hybrid argumentation and its properties,
Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), IOS Press.

P.M. Dung, P.M. Thang, F. Toni,
Towards argumentation-based contract negotiation,
Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), IOS Press.

P. Matt, F. Toni, T. Stournaras, D. Dimitrelos,
Argumentation-based agents for eProcurement,
Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008)- Industry and Applications Track, Berger, Burg, Nishiyama (eds.), May, 12-16, 2008, Estoril, Portugal

D. Gaertner, J.A. Rodriguez, F. Toni,
Agreeing on Institutional Goals for Multi-Agent Societies,
Proc. COIN 2008 (The Fifth Workshop on Coordination, Organizations, Institutions, and Norms in Multi-agent Systems), May, 12, 2008, Estoril, Portugal

F. Toni,
Argumentative KGP agents for service composition,
Proc. AITA08, Architectures for Intelligent Theory-Based Agents, AAAI Spring Symposium, March 26-28 2008, Stanford University, California, USA

2007

F. Toni,
The ArguGRID Project
The ALP Newsletter, Vol. 20 n. 3/4, December 2007

A. Hussain, F. Toni,
Bilateral agent negotiation with information-seeking,
Proc. EUMAS 2007

M. Morge, J. McGinnis, S. Bromuri, F. Toni, P. Mancarella, and K. Stathis,
Toward a Modular Architecture of Argumentative Agents to Compose Services,
Proc. EUMAS 2007

P.M. Dung, P. Mancarella, F. Toni,
Computing ideal sceptical argumentation
Artificial Intelligence, Volume 171, Issues 10-15, July-October 2007, Pages 642-674. Special Issue on Argumentation in Artificial Intelligence

J. Bentahar, F. Toni, J.-J. Ch. Meyer, J. Labban,
A Security Framework for Agent-based Systems,
IJWIS - International Journal of Web Information Systems, Volume 3 Number 4 (2007), pages 341-362

F. Toni,
E-Business in ArguGRID
Proceedings of Grid Economics and Business Models, 4th International Workshop, GECON 2007, Springer LNCS 4685

D. Gaertner and F. Toni,
Conflict-free normative agents using assumption-based argumentation,
Proceedings of the Fourth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2007)

D. Gaertner and F. Toni,
CaSAPI: A system for credulous and sceptical argumentation
Proceedings of the International Workshop on Argumentation and Non-Monotonic Reasoning(ArgNMR 2007)

D. Gaertner and F. Toni,
Computing arguments and attacks in assumption-based argumentation
IEEE Intelligent Systems, Special Issue on Argumentation Technology, November/December 2007 (Vol. 22, No. 6) pp. 24-33

F. Toni,
Assumption-based argumentation for closed and consistent defeasible reasoning
Proceedings First International Workshop on Juris-informatics (JURISIN 2007) in association with The 21th Annual Conference of The Japanese Society for Artificial Intelligence (JSAI2007)

F. Toni,
Assumption-based argumentation for selection and composition of services
Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII)

S. Costantini, A. Tocchio, F. Toni and P. Tsintza,
A multi-layer general agent model
Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence (AI*IA 2007), Springer LNCS 4733 pages 121-132

P. Mancarella, G. Terreni and F. Toni,
Web Site Verification: an Abductive Logic Programming Tool
Proceedings of the 22nd Convegno Italiano di Logica Computazionale (CILC 2007)

M. Morge, P. Mancarella, F. Toni, J. McGinnis, S. Bromuri, K. Stathis,
Toward a Modular Architecture of Argumentative Agents to Compose Services
Proceedings of the of 15th Journees Francophones sur les Systemes Multi-Agents (JFSMA 2007)

P.-A. Matt and F. Toni,
Infinitesimal Nash Transfers for Resource Allocation in Strong Social Alliances
Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007),

P. Mancarella, F. Sadri, G. Terreni and F. Toni,
Programming Applications in CIFF
Proc. Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR07), Springer

P. Mancarella, G. Terreni and F. Toni,
Web Site Verification and Repair: an Abductive Logic Programming Tool
Proceedings International Conference on Logic Programming (ICLP 2007), Springer LNCS 4670, September 2007, pages 434-435

S. Costantini, P. Dell'Acqua, L. M. Pereira and F. Toni,
Towards a Model of Evolving Agents for Ambient Intelligence
Proceedings of the AISB-Symposium on Artificial Societies for Ambient Intelligence (ASAmI'07)

2006

P.-A. Matt, F. Toni, D. Dionysiou
The distributed negotiation of egalitarian resource allocations,
COMSOC 2006, December 2006

F. Sadri and F. Toni,
Interleaving belief updating and reasoning in abductive logic programming,
17th European Conference on Artificial Intelligence (ECAI 2006), August-September 2006

F. Sadri and F. Toni,
A formal analysis of KGP agents,
10th European Conference on Logics in Artificial Intelligence (JELIA 2006), September 2006

P.-A. Matt and F. Toni,
Egalitarian Allocations of Indivisible Resources: Theory and Computation,
10th International Workshop on Cooperative Information Agents (CIA 2006), September 2006

V. Curcin, M. Ghanem, Y. Guo, K. Stathis and F. Toni,
Building next generation Service-Oriented Architectures using argumentation agents,
3rd International Conference on Grid Services Engineering and Management (GSEM 2006), September 2006

P.M. Dung, P. Mancarella, F. Toni,
A dialectic procedure for sceptical, assumption-based argumentation,
1st International Conference on Computational Models of Argument (COMMA 2006), September 2006

P.M. Dung, R.A. Kowalski, F. Toni,
Dialectic proof procedures for assumption-based, admissible argumentation,
Artificial Intelligence 170(2), February 2006, pp 114-159

J. Forth, K. Stathis and F. Toni,
Decision making with a KGP agent system,
Journal of Decision Systems, Special Issue on Decision Support Systems: Methodologies & Applications, 2006

U. Endriss, N. Maudet, F. Sadri, F. Toni,
Negotiating socially optimal allocations of resources: an overview
Journal of Artificial Intelligence Research, Volume 25, pages 315-348, 2006.

F. Sadri, F. Toni,
Variety of behaviours through profiles in logic-based agents
Post-proceedings of CLIMA VI, LNAI 3900, Springer Verlag, 2006

F. Toni,
Multi-agent systems in computational logic: challenges and outcomes of the SOCS project
Post-proceedings of CLIMA VI, LNAI 3900, Springer Verlag, 2006

F. Sadri, K. Stathis, F. Toni,
Normative KGP Agents,
Computational and Mathematical Organization Theory

2005

K. Stathis, F. Toni,
The KGP model of Agency for Decision Making in e-Negotiation
Proc Joint-Workshop on Decision Support Systems, Experimental Economics & E-Participation, Graz, 2005

F. Sadri, F. Toni,
Profiles of behaviour for Logic-based agents
Proc. CLIMA VI, 2005.

F. Sadri, K. Stathis, F. Toni,
Normative KGP Agents: A Preliminary Report,
Proc. NorMAS2005, 1st International Symposium on Normative Multi-Agent Systems, 2005 AISB convention.

A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, F. Sadri, K. Stathis, G. Terreni, F. Toni,
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation,
Global Computing 2004 Workshop, Springer Verlag LNCS 3267, 2005, p. 342

F. Toni and P. Torroni,
CLIMA VI: Conference Report,
ALP Newsletter, August 2005

F. Sadri, F. Toni,
Interleaving belief revision and reasoning: preliminary report
Convegno Italiano di Logica Computazionale, 21-22 June 2005, Rome, Italy

2004

F. Sadri, F. Toni,
The SOCS project,
ALP Newsletter, August 2004

A. Kakas, P. Mancarella, F. Sadri, K. Stathis, F. Toni,
The KGP model of agency,
ECAI04, General European Conference on Artificial Intelligence, August 23-27, 2004, Valencia, Spain, pp 33-37

K. Stathis and F. Toni,
Ambient Intelligence using KGP Agents,
2nd European Symposium for Ambient Intelligence, Eindhoven, November 2004, Springer Verlag LNCS 3295, p. 351

A.C. Kakas, P.Mancarella, F.Sadri, K.Stathis, and F.Toni,
Declarative agent control,
5th Workshop on Computational Logic in Multi-Agent Systems (CLIMA V), 29-30 September 2004, J.Leite and P.Torroni, eds

P.Mancarella, F.Sadri, G.Terreni, and F.Toni,
Planning partially for situated agents,
5th Workshop on Computational Logic in Multi-Agent Systems (CLIMA V), 29-30 September 2004, J.Leite and P.Torroni, eds

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni,
The CIFF proof procedure for abductive logic programming with constraints,
JELIA'2004, International Conference on Logics in AI, Lisbon, Portugal, September 2004, Springer Verlag LNAI

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni,
Abductive Logic Programming with CIFF: Implementation and Applications,
CILC04, Convegno Italiano di Logica Computazionale, 16-17 June 2004, Parma, Italy
Research Report Quaderno del Dipartimento di Matematica, Universita' di Parma, n. 390, Novembre 2004.

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni,
Abductive logic programming with CIFF (Extended Abstract),
11th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, University of Leeds, March 2004, B. Bennett, ed.

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni,
Abductive Logic Programming with CIFF: System description,
JELIA'2004, International Conference on Logics in AI, Lisbon, Portugal, September 2004, Springer Verlag LNAI

A. Bracciali, P. Mancarella, K. Stathis, F. Toni,
On modelling declaratively multi-agent systems,
DALT-04, Declarative Agent Languages and Technologies, New York, July 2004 (AAMAS'04 workshop)

A.Bracciali, P.Mancarella, K.Stathis, and F. Toni,
Stable multi-agent systems,
5th International Workshop on Engineering Societies in the Agents World (ESAW 2004), 20-22 October 2004, M.P. Gleizes, A. Omicini, and F. Zambonelli, eds

F. Sadri, F. Toni,
A logic-based approach to reasoning with beliefs about trust,
ARSPA04, Workshop on Automated Reasoning for Security Protocols Analysis, affiliated to IJCAR04, Cork, 4 July 2004

U. Endriss, N. Maudet, F. Sadri, F. Toni,
Logic-based Agent Communication Protocols,
Advances in Agent Communication, Springer Verlag LNAI 2922, pp 91--107, 2004, F.Dignum ed.

2003

F. Sadri, F. Toni,
Abductive logic programming for communication and negotiation amongst agents,
ALP Newsletter, May 2003

P.M. Dung, R.A. Kowalski, F. Toni,
Argumentation-theoretic proof procedures for default reasoning,
Technical Report

F. Sadri, F. Toni, P. Torroni,
Minimally intrusive negotiating agents for resource sharing,
IJCAI 2003

U. Endriss, N. Maudet, F. Sadri, F. Toni,
Protocol conformance for logic-based agents,
IJCAI 2003

U. Endriss, N. Maudet, F. Sadri, F. Toni,
Resource Allocation in Egalitarian Agent Societies,
MFI 2003 (Secondes Journées Francophones MODÈLES FORMELS de l'INTERACTION)

U. Endriss, N. Maudet, F. Sadri, F. Toni,
On Optimal Outcomes of Negotiations over Resources,
AAMAS2003

U. Endriss, N. Maudet, F. Sadri, F. Toni,
Aspects of Protocol Conformance in Inter-agent Dialogues,
AAMAS2003 (poster)

A. Ciampolini, E. Lamma, P. Mello, F. Toni, P. Torroni,
Co-operation and competition in ALIAS: a logic framework for agents that negotiate,
Annals of Mathematics and Artificial Intelligence, Special Issue on Computational Logic in Multi-Agent Systems, Volume 37, nos. 1-2, pp. 28-37, January 2003.

F. Afrati, M. Gergatsoulis, F. Toni,
Linearisability on Datalog Programs ,
Theoretical Computer Science, Vol. 308, Issues 1-3, November 2003. pp 199--226

2002

P. Torroni, P. Mello, N. Maudet, M. Alberti, A. Ciampolini, E. Lamma, F. Sadri, F. Toni,
A logic-based approach to modelling interaction among computees (preliminary report),
UKMAS 2002

U. Endriss, N. Maudet, F. Sadri, F. Toni,
Conditions for optimal outcome of negotiations about resources,
UKMAS 2002 (panel)

U. Endriss, N. Maudet, F. Sadri, F. Toni,
Communication protocols for logic-based agents,
UKMAS 2002 (poster)

F. Sadri, F. Toni, P. Torroni,
A multi-stage negotiation architecture for sharing resources amongst logic-based agents (extended abstract) ,
UKMAS 2002 (poster)

Y. Dimopoulos, B. Nebel, F. Toni,
On the Computational Complexity of Assumption-based Argumentation for Default Reasoning,
Artificial Intelligence 141, pp 57-78, October 2002

F. Sadri, F. Toni, P. Torroni,
Resource reallocation via negotiation through abductive logic programming,
JELIA 2002, Springer Verlag LNAI 2424, pp 419-431

P.M. Dung, P. Mancarella, F. Toni,
Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning ,
Computational Logic: Logic Programming and Beyond - Essays in Honour of Robert A. Kowalski, Springer Verlag LNAI 2408, 289-310, 2002

F. Toni, K. Stathis,
Access-as-you-need: a computational logic framework for flexible resource access in artificial societies,
ESAW 2002, Springer Verlag LNAI 2577

2001

F. Sadri, F. Toni, P. Torroni,
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences ,
ATAL'01, International workshop on Agents, theories, architectures and languages, J.J. Maher ed., and "Intelligent Agents VIII", LNAI 2333, 405-421, Springer Verlag

A.C. Kakas, R.S Miller, F. Toni,
E-RES: Reasoning about actions, events and observations,
LPNMR'01, 6th International Conference on Logic Programming and Nonmonotonic Reasoning, T. Eiter, M. Truszczynski, eds., Springer Verlag LNAI 2173, pp 254-266

P. Torroni, F. Toni,
Extending a logic based one-to-one negotiation framework to one-to-many negotiation,
ESAW'01, Second International Workshop on Engineering Societies in the Agents' World, A. Omicini, P. Petta and R. Tolksdorf, eds., Springer Verlag LNAI 2203.

A.C. Kakas, R.S Miller, F. Toni,
E-RES: Reasoning about actions, events and observations,
IJCAI-01 workshop on Nonmonotonic Reasoning, Action and Change. M. Thielscher, M.-A. Williams eds.

F. Toni,
Automated Information Management via Abductive Logic Agents ,
Journal of Telematics and Informatics, Elsevier, 18(1): 89-104, 2001

F. Sadri, F. Toni, P. Torroni, Logic Agents, Dialogue, Negotiation - an Abductive Approach,
Proc. AISB Symposium on Information Agents for E-commerce, M. Schroeder, K. Stathis eds, 2001

2000

F. Sadri, F.Toni, I.Xanthakos,
A Logic-Agent based System for Semantic Integration,
17th International CODATA Conference- Data and Information for the Coming Knowledge Millennium, CODATA 2000 Theme I-3, Integration of Heterogeneous Databases and Data Warehousing.

A.C. Kakas, R.S Miller, F. Toni,
Planning with incomplete information,
NMR'2000, 8th International Workshop on Non-Monotonic Reasoning, Special Session on Representing Actions and Planning, C. Baral, M. Truszczynski eds.

A.C. Kakas, R.S Miller, F. Toni,
E-RES - A System for Reasoning about Actions, Events and Observations,
NMR'2000, 8th International Workshop on Non-Monotonic Reasoning, Special Session on System Descriptions and Demonstration, C. Baral, M. Truszczynski eds

Y. Dimopoulos, B. Nebel, F. Toni,
Finding Admissible and Preferred Arguments Can Be Very Hard ,
KR'2000, 7th International Conference on Principles of Knowledge Representation and Reasoning pp 53-61, T. Cohn, F. Giunchiglia, B. Selman eds, Morgan Kaufmann

F. Sadri, F. Toni,
Abduction with Negation as Failure for Active and Reactive Rules, ,
E. Lamma and P. Mello eds., Springer Verlag LNAI 1792, pp 49-60

1999

F. Sadri, F. Toni,
Computational Logic and Multi-agent Systems: a Roadmap
CompulogNet Newsletter, December 1999.

A.C. Kakas, R.S Miller, F. Toni,
An Argumentation Framework for Reasoning about Actions and Change,
LPNMR'99, 5th International Conference on Logic Programming and Nonmonotonic Reasoning, M. Gelfond, N. Leone, G. Pfeifer eds., Springer Verlag LNAI 1730, pp 78-91

P. Dell'Acqua, F. Sadri, F. Toni,
Communicating Agents,
International Workshop on Multi-Agent Systems in Logic Programming, in conjunction with ICLP'99, Las Cruces, New Mexico, 30 November 1999.

F. Sadri, F. Toni,
Abduction with Negation as Failure for Active Databases and Agents ,
Proc. AI*IA 99, 6th Congress of the Italian Association for Artificial Intelligence, E. Lamma and P. Mello eds., Pitagora Editrice, Bologna, Italy, pp 353-362 (1999)
Revised version: Abduction with Negation as Failure for Active and Reactive Rules, ,
E. Lamma and P. Mello eds., Springer Verlag LNAI 1792, pp 49-60 (2000)

A.C. Kakas, F. Toni,
Computing Argumentation in Logic Programming,
Journal of Logic and Computation 9, pp 515-562, Oxford University Press

F. Toni,
Automated Reasoning for Collective Information Management ,
LocalNets, International Workshop on Community-based Interactive Systems, held in conjunction with AC'99, the Annual Conference of the EC I3 Programme

Y. Dimopoulos, B. Nebel, F. Toni,
Preferred Arguments are Harder to Compute than Stable Extensions,
IJCAI'99, 16th International Joint Conference on Artificial Intelligence pp 36-41, T. Dean ed., Morgan Kaufmann

1998

P. Dell'Acqua, F. Sadri, F. Toni,
Combining Introspection and Communication with Rationality and Reactivity in Agents ,
JELIA'98, 6th European Workshop on Logics in Artificial Intelligence, U. Furbach and L. Farinas del Cerro eds., Springer Verlag LNAI 1489, pp 17-32

R.A. Kowalski, F. Sadri, F.Toni,
An Agent Architecture that Combines Backward and Forward Reasoning,
CADE-15 Workshop on Strategies in Automated Deduction, B. Gramlich and F. Pfenning eds., pp 49-56
http://www.logic.at/staff/gramlich/cade15-ws-strategies.html

A.C. Kakas, R.A. Kowalski, F. Toni,
The role of abduction in logic programming,
Handbook of Logic in Artificial Intelligence and Logic Programming 5,
pp 235-324, D.M. Gabbay, C.J. Hogger and J.A. Robinson eds., Oxford University Press

G. Wetzel, F. Toni,
Semantic Query Optimization through Abduction and Constraint Handling ,
International Conference on Flexible Query Answering Systems, T. Andreasen, H. L. Larsen and H. Christiansen eds., Springer Verlag LNAI 1495

R.A. Kowalski, F. Toni, G. Wetzel,
Executing Suspended Logic Programs,
Fundamenta Informaticae 34(3) pp 203-224

1997

F. Afrati, F. Toni,
Chain Queries Expressible by Linear Datalog Programs,
DDLP'97, 5th International Workshop on Deductive Databases and Logic Programming, U. Geske, C. Ruiz, D. Seipel, eds., GMD-Studien Nr 317, Sankt Augustin, pp 49-58

A. Bondarenko, P.M. Dung, R.A. Kowalski, F. Toni,
An abstract, argumentation-theoretic approach to default reasoning,
Artificial Intelligence 93(1-2) pp 63-101

F. Toni,
Argumentation-theoretic proof procedures for logic programming,
Technical Report

1996

R.A. Kowalski, F. Toni,
Abstract Argumentation,
Artificial Intelligence and Law Journal 4(3-4), Special Issue on Logical Models of Argumentation, H. Prakken and G. Sartor, eds., Kluwer Academic Publishers, pp 275-296

F. Sadri, F. Toni,
Active Behaviour in Deductive Databases,
Technical Report

G. Wetzel, R.A. Kowalski, F. Toni,
PROCALOG - Programming with Constraints and Abducibles in Logic,
Joint International Conference and Symposium on Logic Programming, MIT Press, p 535 (poster)

P.M. Dung, R.A. Kowalski, F. Toni,
Synthesis of Proof Procedures for Default Reasoning ,
LOPSTR'96, International Workshop on Logic Program Synthesis and Transformation, J. Gallagher ed., LNCS 1207, Springer Verlag, pp 313-324

1995

F. Toni,
A semantics for the Kakas-Mancarella procedure for abductive logic programming,
GULP'95, M. Alpuente and M. I. Sessa, eds., pp 231-242

F. Toni, A. C. Kakas,
Computing the acceptability semantics,
3rd International Conference on Logic Programming and Non-monotonic Reasoning, A. Nerode, ed., Springer Verlag LNAI 928, pp 401-415

F. Toni, R.A. Kowalski,
Reduction of abductive logic programs to normal logic programs,
International Conference on Logic Programming, L. Sterling, ed., MIT Press, pp 367-381

G. Wetzel, R.A. Kowalski, F. Toni,
A Theorem-Proving Approach to CLP,
Logic Programming Workshop WLP'95, A. Krall and U. Geske, eds., Vienna

F. Toni, R.A. Kowalski,
An Argumentation-Theoretic Approach to Logic Program Transformation,
LOPSTR'95, International Workshop on Logic Program Synthesis and Transformation, M. Proietti ed., LNCS 1048, Springer Verlag, pp 61-75

1994

R.A. Kowalski, F. Toni,
Argument and Reconciliation,
International Symposium on Fifth Generation Computer Systems '94, Workshop on Legal Reasoning, Tokyo, pp 9-16

R.A. Kowalski, F. Toni, G. Wetzel,
Towards a declarative and efficient glass-box CLP language,
Logic Programming Workshop WLP'94, N. Fuchs and G. Gottlob, eds., Zurich

1993

A. Bondarenko, F. Toni, R.A. Kowalski,
An Assumption-based Framework for Non-monotonic Reasoning,
2nd International Workshop on Logic Programming and Non-monotonic Reasoning, L.M. Pereira and A. Nerode, eds., pp 171-189

1992

A.C. Kakas, R.A. Kowalski, F. Toni,
Abductive logic programming,
Journal of Logic and Computation 2(6) pp 719-770

1991

P. Mancarella, F. Toni, F. Turini,
Abduction and intensional negation in logic programming,
GULP'91, P. Asirelli, ed., pp 3-14

Back to Francesca Toni's home page

Last Update: 1 June 2011