Publications
135 results found
Endriss U, Mancarella P, Sadri F, et al., 2004, Abductive logic programming with CIFF: system description, Berlin, Logics in artificial intelligence: 9th European conference, JELIA 2004, Lisbon, Portugal, 27 - 30 September 2004, Publisher: Springer-Verlag, Pages: 680-684
Kakas A, Mancarella P, Sadri F, et al., 2004, The KGP model of agency, ECAI04, general european conference on artificial intelligence, 2004, Publisher: IOS Press, Pages: 33-37
Kakas A, Mancarella P, Sadri F, et al., 2004, The KGP model of agency, ECAI04, general european conference on artificial intelligence, 2004, Publisher: IOS Press, Pages: 33-37
Endriss U, Mancarella P, Sadri F, et al., 2004, Abductive logic programming with CIFF (Extended abstract), Proceedings of the 11th workshop on automated reasoning, bridging the gap between theory and practice, University of Leeds, March 2004
Mancarella P, Sadri F, Terreni G, et al., 2004, Planning partially for situated agents, 5th workshop on computational logic in multi-agent systems (CLIMA V), 29 - 30 September 2004, Pages: 132-149
Kakas A, Mancarella P, Sadri F, et al., 2004, Declarative agent control, Berlin, 5th international workshop on computational logic in mult-agent systems. Lisbon, Portugal, 29 - 30 September 2004, Publisher: Springer-Verlag, Pages: 96-110
Sadri F, Toni F, 2004, The SOCS project (Available online), ALP Newsletter, Vol: August 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
Kakas A, Mancarella P, Sadri F, et al., 2004, Declarative agent control, Berlin, 5th international workshop on computational logic in mult-agent systems. Lisbon, Portugal, 29 - 30 September 2004, Publisher: Springer-Verlag, Pages: 96-110
Bracciali A, Demetriou N, Endriss U, et al., 2004, The KGP model for global computing: computational model and prototype implementation, Global computing, Publisher: Springer-Verlag, Pages: 340-367, ISBN: 9783540241010
Endriss U, Mancarella P, Terreni G, et al., 2004, The CIFF proof procedure: definition and soundness results, Technical Report, Publisher: Department of Computing, Imperial College London, 2
Bracciali A, Demetriou N, Endriss U, et al., 2004, The KGP model for global computing: computational model and prototype implementation, Global computing, Publisher: Springer-Verlag, Pages: 340-367, ISBN: 9783540241010
Kakas AC, Mancarella P, Sadri F, et al., 2004, Declarative agent control, 5th workshop on computational logic in multi-agent systems (CLIMA V), 29 - 30 September 2004, Pages: 212-226
Sadri F, Toni F, 2004, Interleaving belief revision and reasoning, Technical Report, May 2004, REPORT NUM NEEDED
Bracciali A, Demetriou N, Endriss E, et al., 2004, Deliverable D8: computational approach to (societies of) computees, EU SOCS project report, Jan 2004
Kakas A, Lamma E, Mancarella P, et al., 2004, Deliverable D10: technological implementation plan, EU SOCS project report, Jan 2004
Dix J, Sadri F, Satoh K, 2003, Annals of Mathematics and Artificial Intelligence: Preface, Annals of Mathematics and Artificial Intelligence, Vol: 37, Pages: 1-3, ISSN: 1012-2443
- Cite
- Citations: 3
Dix J, Sadri F, Satoh K, 2003, Untitled - Preface, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Vol: 37, Pages: 1-3, ISSN: 1012-2443
- Author Web Link
- Cite
- Citations: 1
Endriss U, Maudet N, Sadri F, et al., 2003, Aspects of protocol conformation in inter-agent dialogue, Autonomous agents and multiagent systems, Publisher: ACM, Pages: 982-983
Endriss U, Maudet N, Sadri F, et al., 2003, Aspects of protocol conformation in inter-agent dialogue, Autonomous agents and multiagent systems, Publisher: ACM, Pages: 982-983
Endriss U, Maudet N, Sadri F, et al., 2003, Logic-based agent communication protocols, Berlin, International workshop on agent communication languages, Melbourne, Australia, 2003, Publisher: Springer-Verlag, Pages: 91-107
Sadri F, Toni F, 2003, Abductive logic programming for communication and negotiation amongst agents (Available online), ALP Newsletter, Vol: May 2003
Kakas AC, Sadri F, Stathis K, et al., 2003, Deliverable D4: formal modelling of computees, EU SOCS project report, June 2003
Endriss U, Maudet N, Sadri F, et al., 2003, On optimal outcomes of negotiations over resources, Autonomous agents and multiagent systems, Publisher: ACM, Pages: 177-184
Endriss U, Maudet N, Sadri F, et al., 2003, Logic-based agent communication protocols, Berlin, International workshop on agent communication languages, Melbourne, Australia, 2003, Publisher: Springer-Verlag, Pages: 91-107
Bracciali A, Kakas T, Lamma E, et al., 2003, Deliverable D7: update report: WP1-WP4, EU SOCS project report
Endriss U, Maudet N, Sadri F, et al., 2003, Resource allocation in egalitarian agent societies (Finalist for the best paper award), 2nd journees francophones sur les modeles formels d'interaction (MFI-2003), Cepadues-Editions, May 2003, Pages: 101-110
Sadri F, Toni F, Torroni P, 2003, Minimally intrusive negotiating agents for resource sharing, International joint conference on artificial intelligence, Acapulco, Mexico, 2003, Publisher: Lawrence Erlbaum Associates, Pages: 796-804, ISSN: 1045-0823
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.