The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francesca Toni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  60. Knowledge Representation and Non-monotonic Reasoning. [Citation Graph (, )][DBLP]


  61. Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents. [Citation Graph (, )][DBLP]


  62. Dominant Decisions by Argumentation Agents. [Citation Graph (, )][DBLP]


  63. Infinitesimal nash transfers for resource allocation in strong social alliances. [Citation Graph (, )][DBLP]


  64. Argumentation-based agents for eProcurement. [Citation Graph (, )][DBLP]


  65. A multi-agent system for service discovery, selection and negotiation. [Citation Graph (, )][DBLP]


  66. Agreeing on Institutional Goals for Multi-agent Societies. [Citation Graph (, )][DBLP]


  67. Combining statistics and arguments to compute trust. [Citation Graph (, )][DBLP]


  68. Assumption-Based Argumentation for Selection and Composition of Services. [Citation Graph (, )][DBLP]


  69. Building Next Generation Service-Oriented Architectures using Argumentation Agents. [Citation Graph (, )][DBLP]


  70. A Game-Theoretic Measure of Argument Strength for Abstract Argumentation. [Citation Graph (, )][DBLP]


  71. Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning. [Citation Graph (, )][DBLP]


  72. The ArguGRID Platform: An Overview. [Citation Graph (, )][DBLP]


  73. Towards argumentation-based contract negotiation. [Citation Graph (, )][DBLP]


  74. Basic influence diagrams and the liberal stable semantics. [Citation Graph (, )][DBLP]


  75. Hybrid argumentation and its properties. [Citation Graph (, )][DBLP]


  76. A dialectic procedure for sceptical, assumption-based argumentation. [Citation Graph (, )][DBLP]


  77. Normative KGP Agents: A Preliminary Report. [Citation Graph (, )][DBLP]


  78. Computational logic-based agents. [Citation Graph (, )][DBLP]


  79. The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments [Citation Graph (, )][DBLP]


  80. A Formal Framework of Virtual Organisations as Agent Societies [Citation Graph (, )][DBLP]


  81. Web Sites Repairing through Abduction. [Citation Graph (, )][DBLP]


Search in 0.087secs, Finished in 0.089secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002