Francesca Toni's Selected Publications

2018 , 2017 , 2016 , 2015 , 2014 , 2013 , 2012 , 2011 , 2010 , 2009 , 2008 , 2007 , 2006 , 2005 , 2004 , 2003 , 2002 , 2001 , 2000 , 1999 , 1998 , 1997 , 1996 , 1995 , 1994 , 1993 , 1992 , 1991

For further publications not included below and for all my publications since 2019, see also DBLP, Google Scholar and Semantic Scholar


2018

  • O. Cocarascu, F. Toni,
    Combining deep learning and argumentative reasoning for the analysis of social media textual content using small datasets,
    Computational Linguistics (Forthcoming)
  • P. Baroni, S. Borsato, A. Rago, F. Toni,
    The "Games of Argumentation" Web Platform,
    COMMA 2018: 447-448 (2018)
  • P. Baroni, A. Rago, F. Toni,
    On Instantiating Generalised Properties of Gradual Argumentation Frameworks,
    12th International Conference on Scalable Uncertainty Management (SUM 2018)
  • A. Rago, O. Cocarascu, F. Toni,
    Argumentation-Based Recommendations: Fantastic Explanations and How to Find Them.
    IJCAI 2018: 1949-1955
  • O. Cocarascu, K. Cyras, F. Toni,
    Explanatory Predictions with Artificial Neural Networks and Argumentation .
    IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI)
  • C. Schulz, F. Toni,
    On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation.
    Artificial Intelligence, Vol: 262, Pages: 301-335
  • A. C. Kakas, P. Mancarella and F. Toni,
    On Argumentation Logic and Propositional Logic,
    Studia Logica Volume 106, Issue 2, pp 237–279, 2018
  • P. Baroni, A. Rago and F. Toni,
    How Many Properties Do We Need for Gradual Argumentation?,
    AAAI 2018

  • 2017

  • K. Cyras, X. Fan, C. Schulz, and F. Toni,
    Assumption-based argumentation: Disputes, explanations, preferences,
    Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications 4(8):2407-2456, 2107 - College Publications
  • A. Rago and F. Toni,
    Quantitative Argumentation Debates with Votes for Opinion Polling,
    PRIMA 2017
  • K. Cyras, C. Schulz and F. Toni,
    Capturing Bipolar Argumentation in Non-flat Assumption-Based Argumentation,
    PRIMA 2017
  • P. Baroni, G. Comini, A. Rago and F. Toni,
    Abstract Games of Argumentation Strategy and Game-Theoretical Argument Strength,
    PRIMA 2017
  • Z. Bao, K. Cyras and F. Toni,
    ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences,
    PRIMA 2017
  • O. Cocarascu and F. Toni,
    Identifying attack and support argumentative relations using deep learning,
    EMNLP 2017: 1385-1390
  • O. Cocarascu, F. Toni,
    Mining Bipolar Argumentation Frameworks from natural language text,
    CMNA2017, 17th Workshop on Computational Models of Natural Argument, 16 June 2017, London - In conjunction with ICAIL 2017
  • C. Schulz and F. Toni,
    Labellings for assumption-based and abstract argumentation,
    International Journal of Approximate Reasoning, 84:110-149, 2017
  • L. Carstens, F. Toni,
    Using Argumentation to improve classification in Natural Language problems,
    ACM TOIT 17(3), 2017
  • F. Toni,
    From logic programming and non-monotonic reasoning to computational argumentation and beyond,
    LPNMR 2017
  • K. Cyras, X. Fan, C. Schulz, and F. Toni,
    Assumption-based argumentation: Disputes, explanations, preferences,
    In HANDBOOK OF FORMAL ARGUMENTATION, Chapter 7, College Publications, London, 2017, and in IfCoLog Journal of Logics and their Applications, College Publications, London, 2017
  • L. Carstens, V. Evripidou, and F. Toni,
    From argumentation theory to social web applications,
    Argument Technologies: Theory, analysis and applications, volume 6 of Studies in Logic and Argumentation, College Publications, London, 2017.

  • 2016

  • R. Craven and F. Toni,
    Argument Graphs and Assumption-Based Argumentation,
    Artificial Intelligence 233:1-59, 2016

  • Y. Gao, F. Toni, H. Wang, and F. Xu,
    Argumentation-based multi-agent decision making with privacy preserved,
    AAMAS 2016
  • O. Cocarascu, F. Toni,
    Argumentation for Machine Learning: A Survey,
    COMMA 2016: 219-230
  • K. Cyras, K. Satoh, F. Toni,
    Explanation for Case-Based Reasoning via Abstract Argumentation,
    COMMA 2016: 243-254
  • O. Cocarascu, F. Toni,
    A System for Supporting the Detection of Deceptive Reviews Using Argument Mining,
    COMMA 2016: 469-470
  • O. Cocarascu, F. Toni,
    Detecting deceptive reviews using Argumentation,
    PrAISe@ECAI 2016: 9:1-9:8
  • A. C. Kakas, L. Michael, F. Toni,
    Argumentation: Reconciling Human and Automated Reasoning,
    Bridging@IJCAI 2016: 43-60
  • X. Fan and F. Toni,
    On the interplay between games, argumentation and dialogues,
    AAMAS 2016
  • A. Rago, F. Toni, M. Aurisicchio, and P. Baroni,
    Discontinuity-free decision support with quantitative argumentation debates,
    KR 2016
  • K. Cyras, K. Satoh, and F. Toni,
    Abstract argumentation for case-based reasoning,
    KR 2016
  • K. Cyras and F. Toni,
    ABA+: assumption-based argumentation with preferences,
    KR 2016
  • K. Cyras and F. Toni,
    Properties of ABA+ for non-monotonic reasoning,
    NMR'16
  • M. Makriyiannis, T. Lung, R. Craven, F. Toni, and J. Kelly,
    Smarter electricity and argumentation theory,
    Combinations of Intelligent Methods and Applications, Volume 46 of the series Smart Innovation, Systems and Technologies, Springer, 79-95, 2016

  • A. Mocanu, X. Fan, F. Toni, M. Williams, and J. Chen,
    Online Argumentation-Based Platform for Recommending Medical Literature,
    Combinations of Intelligent Methods and Applications Volume 46 of the series Smart Innovation, Systems and Technologies, Springer, 97-115, 2016

  • C. Schulz, F. Toni,
    Justifying Answer Sets using Argumentation,
    Theory and Practice of Logic Programming 16(1):59-110, 2016


  • 2015

  • D. Kontarinis and F. Toni,
    Identifying Malicious Behavior in Multi-party Bipolar Argumentation Debates,
    EUMAS 2015

  • L. Carstens and F. Toni,
    Improving Out-of-domain Sentiment Polarity classification using Argumentation,
    SENTIRE 2015 IEEE ICDM Workshop

  • X. Fan and F. Toni,
    Mechanism Design for Argumentation-Based Information-Seeking and Inquiry,
    In Proc. PRIMA 2015, pages 519-527

  • Y. Gao and F. Toni,
    Potential based reward shaping for hierarchical reinforcement learning,
    In Proc IJCAI 2015.

  • L. Carstens, X. Fan, Y. Gao and F. Toni,
    An overview of argumentation frameworks for decision support,
    The Fourth IJCAI International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2015).LNAI 9501

  • C. Schulz, K. Satoh and F. Toni,
    Characterising and Explaining Inconsistency in Logic Programs,
    In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, September 27-30, 2015. Proceedings.

  • X. Fan and F. Toni,
    On computing explanations for non-acceptable arguments,
    Third International Workshop on Theory and Applications of Formal Argumentation (TAFA-15). LNAI 9524

  • M. Aurisicchio, P. Baroni, D. Pellegrini, and F. Toni,
    Comparing and integrating argumentation-based with matrix-based decision support in Arg&Dec,
    Third International Workshop on Theory and Applications of Formal Argumentation (TAFA-15). LNAI 9524

  • K. Cyras and F. Toni,
    Non-monotonic inference properties for assumption-based argumentation,
    Third International Workshop on Theory and Applications of Formal Argumentation (TAFA-15). LNAI 9524

  • F. Dowker, A. Kakas, and F. Toni,
    Argumentation logic as an anhomomorphic logic,
    In The 10th Panhellenic Logic Symposium, 2015.

  • C. Schulz, F. Toni,
    Logic programming in assumption-based argumentation revisited - semantics and graphical representation,
    In Blai Bonet and Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pages 1569-1575. AAAI Press, 2015.

  • X. Fan and F. Toni,
    On computing explanations in argumentation,
    In Blai Bonet and Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pages 1496-1502. AAAI Press, 2015.

  • L. Carstens and F. Toni,
    Towards relation based argumentation mining,
    In The 2nd Workshop on Argumentation Mining, affiliated with NAACL 2015, 2015.

  • P. Baroni, M. Romano, F. Toni, M. Aurisicchio, and G. Bertanza,
    Automatic evaluation of design alternatives with quantitative argumentation,
    Argument & Computation 6(1):24-49, 2015


  • 2014

  • V. Evripidou, L. Carstens, F. Toni, and D. Cabanillas,
    Argumentation-based collaborative decisions for design,
    In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, pages 805–809. IEEE, 2014.

  • Q. Zhong, X. Fan, F. Toni, and X. Luo,
    Explaining best decisions via argumentation,
    Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

  • M. Makriyiannis, T. Lung, R. Craven, F. Toni, and J. Kelly,
    Smarter electricity through argumentation,
    CIMA-14 Workshop, 4th International Workshop on Com- binations of Intelligent Methods and Applications, 2014

  • A. Mocanu, X. Fan, F. Toni, M. Williams, and J. Chen,
    Recomedic: Recommending medical literature through argumentation,
    CIMA-14 Workshop, 4th International Workshop on Combinations of Intelligent Methods and Applications, 2014

  • X. Fan, F. Toni,
    A General Framework for Sound Assumption-based Argumentation Dialogues,
    Artificial Intelligence 216:20-54, 2014

  • P. Bonatti, E. Oliviera, J. Sabater-Mir, C. Sierra, and F. Toni,
    On the integration of trust with negotiation, argumentation and semantics,
    The Knowledge Engineering Review, 29(01):31-50, 2014

  • F. Toni
    A tutorial on assumption-based argumentation ,
    Argument & Computation, Special Issue: Tutorials on Structured Argumentation, 5(1):89-117, 2014

  • P. Besnard, A. J. Garcia, A. Hunter, S. Modgil, H. Prakken, G. R. Simari, F. Toni,
    Introduction to structured argumentation,
    Argument & Computation 5(1): 1-4 (2014)

  • V. Evripidou and F. Toni,
    Quaestio-it.com - A social intelligent debating platform,
    Journal of Decision Systems 23(3): 333-349 (2014)

  • X. Fan, F. Toni, A. Mocanu, M. Williams,
    Dialogical Two-Agent Decision Making with Assumption-based Argumentation,
    13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), Paris, France, May 5-9, 2014, pages 533-540

  • Y. Gao, F. Toni,
    Argumentation-Based Reinforcement Learning for RoboCup Soccer Takeaway (extended abstract),
    13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), Paris, France, May 5-9, 2014, pages 1411-1412

  • A. Kakas, F. Toni, P. Mancarella,
    Argumentation for Propositional Logic and Nonmonotonic Reasoning,
    CILC 2014, 29 Italiano di Logica Computazionale, Torino 16-18 giugno 2014

  • V. Evripidou, F. Toni and L. Carstens,
    From argumentation theory to real life debating: Building social web applications,
    Arguing on the Web 2.0, Amsterdam, June 30 - July 1, 2014

  • X. Fan, F. Toni,
    On Computing Explanation in Abstract Argumentation,
    21st European Conference on Artificial Intelligence (ECAI 2014), August 18-22, 2014, Prague, Czech Republic -- pages 1005-1006

  • Y. Gao, Francesca Toni,
    Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems,
    21st European Conference on Artificial Intelligence (ECAI 2014), August 18-22, 2014, Prague, Czech Republic -- pages 333-338

  • A. Kakas, F. Toni and P. Mancarella,
    Argumentation Logic,
    Fifth International Conference on Computational Models of Argument, COMMA 2014, September 9th - 12th 2014, Scotland, UK -- pages 345-356

  • L. Carstens, F. Toni, V. Evripidou,
    Argument Mining and Social Debates (demonstration),
    Fifth International Conference on Computational Models of Argument, COMMA 2014, September 9th - 12th 2014, Scotland, UK -- pages 451-452

  • C. Schulz, F. Toni,
    Complete Assumption Labellings (short paper),
    Fifth International Conference on Computational Models of Argument, COMMA 2014, September 9th - 12th 2014, Scotland, UK -- pages 405-412


  • 2013

  • F. Toni,
    A generalised framework for dispute derivations in assumption-based argumentation,
    Artificial Intelligence, 195:1-43, 2013

  • M. Morge, J. McGinnis, S. Bromuri, P. Mancarella, K. Stathis, and F. Toni,
    Argumentative agents for service-oriented computing,
    In M. Ganzha and L. C. Jain, editors, Multiagent Systems & Applications Volume 1, volume 45 of Intelligent Systems Reference Library, pages 217-255. Springer-Verlag, 2013.

  • S. Modgil, F. Toni, F. Bex, I. Bratko, C. I. Chesnevar, W. Dvorak, M. A. Falappa, X. Fan, S. A. Gaggl, A. J. Garcia, M. P. Gonzalez, T. F. Gordon, J. Leite, M. Mozina, C. Reed, G. R. Simari, S. Szeider, P. Torroni, and S. Woltran,
    The added value of argumentation: Examples and challenges,
    In Sascha Ossowski, editor, Agreement Technologies, Volume 8 of Law, Governance and Technology Series, pages 356-400. Springer Verlag, 2013

  • D. Cabanillas, F. Bonada, R. Ventura, F. Toni, V. Evripidou, L. Carstens, and L. Rebolledo,
    A combination of knowledge and argumentation based system for supporting injection mould design,
    In Karina Gibert, Vicent J. Botti, and Ramon Reig Bolano editors, Artificial Intelligence Research and Development - Proceedings of the 16th International Conference of the Catalan Association for Artificial Intelligence, October 23-25, 2013, University of Vic, Catalonia, Spain, volume 256 of Frontiers in Artificial Intelligence and Applications, pages 293-296. IOS Press, 2013

  • X. Fan and F. Toni,
    Decision making with assumption-based argumentation,
    In Elisabeth Black, Sanjay Modgil, and Nir Oren, editors, Theories and Applications of Formal Argumentation - Second International Workshop, TAFA 2013, volume 8306 of Lecture Notes in Artificial Intelligence, pages 127-142. Springer, 2013

  • R. Craven, F. Toni, and M. Williams,
    Graph-based dispute derivations in assumption-based argumentation,
    In Elisabeth Black, Sanjay Modgil, and Nir Oren, editors, Theories and Applications of Formal Argumentation - Second International Workshop, TAFA 2013, volume 8306 of Lecture Notes in Artificial Intelligence, pages 46-62. Springer, 2013

  • Y. Gao and F. Toni,
    Argumentation accelerated reinforcement learning for robocup keepaway-takeaway,
    In Elisabeth Black, Sanjay Modgil, and Nir Oren, editors, Theories and Applications of Formal Argumentation - Second International Workshop, TAFA 2013, volume 8306 of Lecture Notes in Artificial Intelligence, pages 79-94. Springer, 2013

  • C. Schulz, M. Sergot, and F. Toni,
    Argumentation-based answer set justification,
    In Working notes of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, 2013

  • A. Kakas, F. Toni, and P. Mancarella,
    Argumentation for propositional logic and nonmonotonic reasoning,
    In Working notes of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, 2013

  • A. Kakas, F. Toni, and P. Mancarella,
    Argumentation and propositional logic,
    In The Ninth Panhellenic Logic Symposium, 2013

  • L. Carstens and F. Toni,
    Enhancing sentiment extraction from text by means of arguments,
    In E. Cambria, B. Liu, Y. Zhang, and Y. Xia, editors, Proceedings of the Second International Workshop on Issues of Sentiment Discovery and Opinion Mining, WISDOM 2013, Chicago, IL, USA, August 11, 2013, page 4. ACM, 2013

  • X. Fan, R. Craven, R. Singer, F. Toni, and M. Williams,
    Assumption-based argumentation for decision-making with preferences: A medical case study,
    In J. Leite, T. C. Son, P. Torroni, L. van der Torre, and S. Woltran, editors, Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), volume 8143 of Lecture Notes in Artificial Intelligence, pages 374-390. Springer, 2013.

  • P. Baroni, M. Romano, F. Toni, M. Aurisicchio, and G. Bertanza,
    An argumentation-based approach for automatic evaluation of design debates,
    In J. Leite, T. C. Son, P. Torroni, L. van der Torre, and S. Woltran, editors, Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), volume 8143 of Lecture Notes in Artificial Intelligence, pages 340-356. Springer, 2013.

  • F. Toni, R. Craven, and X. Fan,
    Transparent rational decisions by argumentation,
    In 6th Munich-Sydney-Tilburg conference on Models and Decisions, 2013.

  • Y. Gao and F. Toni,
    Compact state representation for tree-structured RL,
    In Workshop on the Reinforcement Learning Competition 2013 (WRLCOMP 2013), 2013.

  • C. Schulz and F. Toni,
    ABA-based answer set justification (technical communication),
    Theory and Practice of Logic Programming, On-line Supplement, 2013.

  • V. Evripidou and F. Toni,
    Quaestio-it.com: from debates towards trustworthy answers (extended abstract),
    6th International Conference on Trust and Trustworthy Computing (TRUST), 2013.

  • V. Evripidou and F. Toni,
    Quaestio-it.com - an intelligent debating platform,
    In Proceedings of EWG-DSS Thessaloniki 2013, Workshop on Exploring New Directions for Decisions in the Internet Age, 29-31 May 2013, Thessaloniki, Greece, 2013

  • G. Jezic, S. Ossowski, F. Toni, G. A. Vouros,
    Preface to the special issue on Agreement Technologies,
    Artif. Intell. Rev. 39(1): 1-3 (2013)


  • .

    2012
  • X. Fan and F. Toni,
    Mechanism design for argumentation-based persuasion dialogues,
    Proceedings of the 4th International Conference on Computational Models of Argument (COMMA12)

  • X. Fan and F. Toni,
    Argumentation dialogues for two-agent conflict resolution,
    Proceedings of the 4th International Conference on Computational Models of Argument (COMMA12)

  • Y. Gao, F. Toni, and R. Craven,
    Argumentation-based reinforcement learning for robocup keepaway,
    Proceedings of the 4th International Conference on Computational Models of Argument (COMMA12)

  • V. Evripidou and F. Toni,
    Argumentation and voting for an Intelligent User Empowering Business Directory on the web,
    Web Reasoning and Rule Systems, RR 2012

  • F. Toni,
    Reasoning on the web with assumption-based argumentation,
    8th Reasoning Web Summer School volume 7487 of Lecture Notes in Computer Science. Springer, 2012

  • X. Fan and F. Toni,
    Agent strategies for ABA-based information-seeking and inquiry dialogues,
    Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012)

  • Y. Gao, F. Toni, and R. Craven,
    Argumentation-based reinforcement learning for robocup soccer keepaway,
    Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012)

  • P. Mancarella and F. Toni,
    Semi-negative abductive logic programs with implicative integrity constraints: Semantics and properties ,
    Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday (2012)


  • 2011

  • J. McGinnis, K. Stathis, F. Toni,
    A formal model of agent-oriented virtual organisations and their formation,
    Multiagent and Grid Systems 7(6): 291-310 (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: 26 September 2018