Publications
135 results found
Bosse T, Castelfranchi C, Neerincx M, et al., 2008, First International Workshop on Human Aspects in Ambient Intelligence: Preface, Ambient Intelligence 2007 Workshops, Publisher: SPRINGER-VERLAG BERLIN, Pages: 261-261, ISSN: 1865-0929
Toni F, 2008, Assumption-Based Argumentation for Selection and Composition of Services, 8th International Workshop on Computational Logic in Multi-Agent Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 231-247, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 3
Sadri F, 2007, Multi-agent cooperative planning and information gathering, Germany, Cooperative information agents XI (CIA) 2007, Publisher: Springer Verlag, Pages: 72-88, ISSN: 0302-9743
Mancarella P, Sadri F, Terreni G, et al., 2007, Programming applications in CIFF, 9th International Conference on Logic Programming and Nonmonotonic Reasoning, Publisher: SPRINGER-VERLAG BERLIN, Pages: 284-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 2
Sadri F, Toni F, 2006, A formal analysis of KGP agents, 10th European Conference on Logics in Artificial Inte\r\nlligence (JELIA 2006), Publisher: Springer Verlag
Sadri F, Toni F, 2006, Interleaving belief updating and reasoning in abductive logic programming, 17th European Conference on Artificial Intelligence(ECAI 2006), Pages: 442-446
Sadri F, Toni F, 2006, Variety of behaviours through profiles in logic-based agents, Computational Logic in Multi-Agent Systems, Publisher: Springer Verlag, Pages: 206-225
In an earlier paper we presented a declarative approach for agent control. In that work we described how control can be specified in terms of cycle theories, which define declaratively the possible alternative behaviours of agents, depending on their internal state and (their perception of) the external environment in which they are situated. This form of control has been adopted for logic-based KGP agents. In this paper we show how using this form of control specification we can specify different profiles of agents, how they would vary the behaviour of agents and what advantages they have with respect to factors in the application and in the environment, such as time-criticality.\r\n
Sadri F, Stathis K, Toni F, 2006, Normative KGP Agents, Computational and Mathematical Organization Theory
Sadri F, Toni F, 2006, Information exchange amongst logic-based agents, International electronic Conference on Computer Science, 1-8 July 2006, Publisher: VSP/Brill
Maudet N, Sadri F, Toni F, et al., 2006, Negotiating socially optimal allocations of resources - an overview, Journal of Artificial Intelligence Research, Vol: 25
Sadri F, 2006, Using the KGP model of agency to design applications, 6th International Workshop on Computational Logic in Mult-Agent Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 165-185, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 3
Sadri F, Toni F, 2006, Variety of behaviours through profiles in logic-based agents, 6th International Workshop on Computational Logic in Mult-Agent Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 206-225, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 1
Endriss U, Maudet N, Sadri F, et al., 2006, Negotiating socially optimal allocations of resources, Journal of Artificial Intelligence Research, Vol: 25, Pages: 315-348, ISSN: 1076-9757
A multiagent system may be thought of as an artificial society of autonomous software agents and we can apply concepts borrowed from welfare economics and social choice theory to assess the social welfare of such an agent society. In this paper, we study an abstract negotiation framework where agents can agree on multilateral deals to exchange bundles of indivisible resources. We then analyse how these deals affect social welfare for different instances of the basic framework and different interpretations of the concept of social welfare itself. In particular, we show how certain classes of deals are both sufficient and necessary to guarantee that a socially optimal allocation of resources will be reached eventually.
Sadri F, Toni F, 2006, A formal analysis of KGP agents, Editors: Fisher, VanDerHoek, Konev, Lisitsa, Publisher: SPRINGER-VERLAG BERLIN, Pages: 413-425, ISBN: 3-540-39625-X
- Author Web Link
- Cite
- Citations: 2
Endriss U, Hatzitaskos M, Mancarella P, et al., 2005, Refinements of the CIFF Procedure, 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice (ARW 2005)
Sadri F, Toni F, 2005, Interleaving belief revision and reasoning: preliminary report, Convegno Italiano di Logica Computazionale (CILC 2005)
Sadri F, Toni F, 2005, Profiles of behaviour for Logic-based agents, 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI), Pages: 184-200
Endriss U, Maudet N, Sadri F, et al., 2005, Negotiating socially optimal allocations of resources: an overview, Departmental Technical Report: 05/2, Publisher: Department of Computing, Imperial College London, 05/2
A multiagent system may be thought of as an artificial society of autonomous softwareagents and we can apply concepts borrowed from welfare economics and social choicetheory to assess the social welfare of such an agent society. In this paper, we studyan abstract negotiation framework where agents can agree on multilateral deals toexchange bundles of discrete resources. We then analyse how these deals affect socialwelfare for different instances of the basic framework and different interpretations ofthe concept of social welfare itself. In particular, we show how certain classes of dealsare both sufficient and necessary to guarantee that a socially optimal allocation ofresources will be reached eventually.
Bracciali A, Demetriou N, Endriss U, et al., 2005, The KGP model of agency for global computing: computational model and prototype implementation, Global computing, Publisher: Springer-Verlag, ISBN: 9783540241010
Sadri F, Stathis K, Toni F, 2005, Normative KGP Agents: A Preliminary Report, 1st international symposium on normative multi-agent systems, 2005 AISB convention
Sadri F, 2005, Using the KGP Model of Agency to Design Applications (Tutorial Paper)., Publisher: Springer, Pages: 165-185
Sadri F, Stathis K, Toni F, 2005, Normative KGP Agents: A Preliminary Report, 1st international symposium on normative multi-agent systems, 2005 AISB convention
Endriss U, Mancarella P, Sadri F, et al., 2004, The CIFF proof procedure: definition and soundness results, Departmental Technical Report: 04/2, Publisher: Department of Computing, Imperial College London, 04/2
We introduce a new proof procedure for abductive logic programmingand prove two soundness results. Our procedure extends thatof Fung and Kowalski by integrating abductive reasoning with constraintsolving and by relaxing the restrictions on allowed inputs for which theprocedure can operate correctly. An implementation of our proof procedureis available and has been applied successfully in the context ofmultiagent systems.
Kakas A, Mancarella P, Sadri F, et al., 2004, The KGP model of agency, Pages: 28-32, ISSN: 0922-6389
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture with a highly modular structure that synthesises various reasoning and sensing capabilities of the agent in an open and dynamic environment. The novel features of the model include: its innovative use of Computational Logic (CL) in a way that facilitates both the formal analysis of the model and its computational realisability directly from the high-level specification of the agents (a first prototype for the development of KGP agents exists, based upon a correct computational counterpart of the model), the modular separation of concerns and fiexibility afforded by the model in designing heterogeneous agents and in developing independently the various components of an agent, and the declarative agent control provided through a context-sensitive cycle CL theory component that regulates the agent's operational behaviour, according to the current circumstances of operation, thus breaking away from the conventional one-size-fits-all control of operation.
Endriss U, Mancarella P, Sadri F, et al., 2004, Abductive logic programming with CIFF: implementation and applications, Parma, Italy, Proceedings of the convegno Italiano di logica computazionale (CILC-2004), University of Parma, June 2004, Publisher: Universita di Parma, Pages: 28-42
Sadri F, Toni F, 2004, A logic based approach to reasoning with beliefs about trust, Workshop on automated reasoning for security protocols analysis, affiliated to IJCAR 04, Cork, 4 July 2004
Mancarella P, Sadri F, Terreni G, et al., 2004, Planning partially for situated agents, Berlin, 5th international workshop on computational logic in mult-agent systems. Lisbon, Portugal, 29 - 30 September 2004, Publisher: Springer-Verlag, Pages: 230-248
Endriss U, Mancarella P, Sadri F, et al., 2004, The CIFF proof procedure for abductive logic programming with constraints, Berlin, 9th European conference on logics in artificial intelligence (JELIA 04), Lisbon, Portugal, Publisher: Springer-Verlag, Pages: 31-43
Alberti M, Bracciali A, Ciampolini A, et al., 2004, Deliverable D9: a prototype for the animation of societies of computees, EU SOCS project report, Jan 2004
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.