Fariba Sadri

           


Selected Bibliography                        

Professional Activities      


Contact Details

Address:       

Department of Computing, Imperial College of Science, Technology and Medicine,

180 Queen's Gate, London SW7 2BZ, England.

Email: fs@doc.ic.ac.uk

           f.sadri@imperial.ac.uk

 

 

Deputy Director of Postgraduate Studies:

MSc Computing

MSc Computing (Specialisms):

 Artificial Intelligence

 Computational Management Science

 Distributed Systems

 Machine Learning

Software Engineering

Secure Software Systems

Visual Information Processing

MSc Advanced Computing

MRes Advanced Computing

 

See here for all MSc and MRes course information.

 

Senior lecturer in the Department of Computing at Imperial College London.

Member of the Logic and Artificial Intelligence research area.




Professional Activities

Steering Committee Membership

HAI, Human Aspects in Ambient Intelligence 2007- 2014

CLIMA, Computational Logic in Multi-Agent Systems, 2000 – 2011

 

Program Committee Membership

2015

ICAART, International Conference on Agents and Artificial Intelligence

eKNOW, The Seventh International Conference on Information, Process, and Knowledge Management

 

2014

AISC, Artificial Intelligence and Symbolic Computation, 2014

IEA-AIE, International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, 2014

eKNOW, International Conference on Information, Process, and Knowledge Management, 2014

ICAART, International Conference on Agents and Artificial Intelligence, 2014

The International Conference on Advanced Cognitive Technologies and Applications, 2014

CLIMA, Computational Logic in Multi-Agent Systems, 2014

IAT, The IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2014

SAI, Science and Information Conference, 2014

eKNOW, The Sixth International Conference on Information, Process, and Knowledge Management, 2014

 

2006-2013

The International Conference on Agents and Artificial Intelligence (ICAART) 2010, 2011, 2012, 2013

Computational Logic in Multi-Agent Systems (CLIMA) 2006, 2007, 2008, 2010, 2011, 2012, 2013

Agent Oriented Software Engineering (AOSE) 2007, 2008, 2009, 2010, 2011, 2012, 2013

The International Conference on Advanced Cognitive Technologies and Applications, 2009, 2010, 2011, 2012, 2013

International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, IEA/AIE 2013

Workshop on Human Aspects in Ambient Intelligence (HAI) 2007, 2008, 2009, 2010, 2011, 2012, 2013

 

The International Conference on Ambient Systems, Networks, and Technologies (ANT) 2010, 2011, 2012

Brazilian Symposium on Artificial Intelligence (SBIA) 2010, 2011, 2012

International Conference on Informatics in Control, Automation and Robotics, 2009, 2010

Portuguese Conference on Artificial Intelligence (EPIA) 2009

5th International Conference on Service Systems and Service management (ICSSM), Melbourne, Australia, 2008

International Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2006, 2007

International Conference Intelligent Systems and Agents IADIS, Lisbon, Portugal, 2007

International Conference of Computational Intelligence and Intelligent Systems (ICCIIS'07), London, UK 2007

Workshop on Ambient Intelligence Technologies and Applications, 13th Encontro Português de Inteligência Artificial, EPIA, Portugal, 2007

Workshop on Search Techniques for Constraint Satisfaction, 13th Encontro Português de Inteligência Artificial, EPIA, Portugal 2007

8th International Workshop on Engineering Societies in the Agents' World, Oct 22-24, Athens, Greece, ESAW 2007

Symposium on Artificial Societies for Ambient Intelligence, AISB Convention, ASAMI 2007

IADIS Intelligent Systems and Agents, ISA 2006

 

 

Co-Chair

 

CLIMA IX "Computational Logic in Multi-Agent Systems",  Dresden, Germany, September 2008

 

Symposium on Artificial Societies for Ambient Intelligence (ASAMI), AISB Convention, Newcastle University, UK,  April 2007

 

CLIMA VIII "Computational Logic in Multi-Agent Systems", Porto, Portugal, September 2007

 

AmITA (Ambient intelligence technologies and applications), 13th Encontro Português de Inteligência Artificial, EPIA, Portugal 2007

 

 

Editorship

 

Guest editor of The Computer Journal Special Issue on Artificial Societies for Ambient Intelligence, 2009, 2010, 2011, 2012

 

Guest editor of a Special Issue of the Journal of Engineering Letters related to the International Conference of Computational Intelligence and Intelligent Systems, 2007

 

Editor for the area "Multi-Agent Systems" for the Newsletter of the ALP, Association for Logic Programming, up to 2009

 

Recent Grant

2011-2012

LPS – Combining the power of logic programming, production systems, active databases, BDI agents, decision theory in situated intelligent autonomous

Industrial collaboration with Logic Programming Associates LPA

 

 

Guest Tutorial

on logic-based multi-agent systems

 

ICCL International Centre for Computational Logic Summer School, Dresden, Germany, 24th August - 6th September 2008

 

ACAI Summer School, Advanced Course on Artificial Intelligence, Leuven, Belgium, 20-28 August 2007

 


Selected Bibliography

Reactive Systems

 

Kowalski, R. and Sadri, F.:  A Logical Characterization of a Reactive System Language, RuleML 2014,  A. Bikakis et al. (Eds.): RuleML 2014, LNCS 8620, pp. 22--36. Springer International Publishing Switzerland (2014)

 

Kowalski, R. and Sadri, F.: Towards a Logic-Based Framework for Reactive Computing, To appear in New Generation Computing (2014) 

   

Kowalski, R. and Sadri, F.: Towards a Logic-Based Unifying Framework for Computing, submitted

 

Kowalski, R. and Sadri, F.: A Logic-Based Framework for Reactive Systems, 6th International Symposium RuleML Rules on the Web: Research and Application, Antonis Bikakis and Adrian Giurca (Eds), 1-15 (2012)                                

Pdf

 

Kowalski, R. and Sadri, F.: Teleo-Reactive Abductive Logic Programs, Festschrift for Marek Sergot, Alexander Artikis, Robert Craven, Nihan Kesim, Babak Sadighi, and Kostas Stathis(Eds.), Springer  (2012)

pdf

 

Kowalski, R. and Sadri, F.: Programming with Logic without Logic Programming (2012)

pdf

 

Kowalski, R. and Sadri, F.: Abductive Logic Programming Agents with Destructive Databases, Annals of Mathematics and Artificial Intelligence, Annals of Mathematics and Artificial Intelligence, Volume 62, Issue 1, Page 129-158 (2011)

pdf

 

Kowalski, R. and Sadri, F.: An Agent Language with Destructive Assignment and Model-Theoretic Semantics.

In Proceedings of CLIMA 2010 - 11th International Workshop on Computational Logic in Multi-Agent Systems (2010)

pdf

 

 

Kowalski, R. and Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents, The 3rd International Conference on Web Reasoning and Rule Systems, A. Polleres and T. Swift (Eds.) Springer, LNCS 5837, October 25-26, Chantilly, Virginia, USA (2009)

pdf

 

Kowalski, R. and Sadri, F.: Towards A Logic-Based Production System language, Report (2009)

pdf

 

Intention Recognition

Sadri, Fariba, Wang, Weikun, Xafi, Afroditi: A Clustering Approach to Intention Recognition, Human Aspects of Ambient Intelligence and  in Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions, T. Bosse, D.J. Cook, M. Neerincx, F. Sadri (Eds.), Atlantic Press,  3-19 (2013)

pdf

 

Sadri, Fariba, Wang, Weikun, Xafi, Afroditi: Intention Recognition with Clustering, Ambient Intelligence (2012)

pdf

 

Sadri, F: Intention Recognition in Agents for Ambient Intelligence: Logic-Based Approaches, in Agents and Ambient Intelligence - Achievements and Challenges in the Intersection of Agent Technology and Ambient Intelligence, Bosse, T.(Ed.), IOS Press 2012

pdf

 

F. Sadri: Intention Recognition with Event Calculus Graphs and Weight of Evidence, Proc. of the 3rd International Conference on Agents and Artificial Intelligence,  January 2011, ed. J. Filipe, Springer (2011)

pdf

 

F. Sadri: Intention Recognition with Event Calculus Graphs. In Proceedings of Human Aspects in Ambient Intelligence (HAI), August, Toronto, Canada (2010)

pdf

 

F. Sadri: Logic-based Approaches to Intention Recognition, In Handbook of Research on Ambient Intelligence: Trends and Perspectives, in Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives, Nak-Young Chong and Fulvio Mastrogiovanni (Eds.), Chapter 18 (2011)

pdf

 

F. Sadri: Intention Recognition with Event Calculus Graphs and Weight of Evidence, Report April (2010)

 

Multi-Agent Systems

 

Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. (JAIR) 33: 285-348 (2008)

pdf

 

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.

pdf



F. Sadri, K. Stathis, F. Toni: Normative KGP Agents, Journal of Computational and Mathematical Organization Theory , 2006.

pdf
 

 

F. Sadri: Multi-agent Cooperative Planning and Information Gathering, 11th International Workshop CIA 2007 on Cooperative Information Agents, September 2007, LNAI series by Springer Verlag.


F. Sadri, F. Toni: A formal analysis of KGP agents, Jelia 2006.

 

Ulle Endriss, Markos Hatzitaskos, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, and Francesca Toni. Refinements of the CIFF Procedure. In Alan Bundy and Jacques Fleuriot, editors, Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, University of Edinburgh, July 2005. Extended Abstract.

pdf

 

U. Endriss, N. Maudet, F. Sadri, F. Toni: Logic-based Agent Communication Protocols, In F. Dignum, editor, Advances in Agent Communication, Springer Verlag LNAI 2922, 2004, ISBN: 3-540-20769-4,
pages 91-107,Invited contribution.

U. Endriss, N. Maudet, F. Sadri, F. Toni: On optimal outcomes of negotiations over resources,
Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems 2003 (AAMAS 03), p. 177-184.

U. Endriss, N. Maudet, F. Sadri, F. Toni: Aspects of protocol conformation in inter-agent dialogue,
Poster, Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems 2003 (AAMAS 03), p. 982-983

U. Endriss, N. Maudet, F. Sadri, F. Toni: Protocol conformance for logic-based agents,
Proceedings of the 8th International Joint Conference on Artificial Intelligence 2003 (IJCAI 03),  p. 679-684

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni: Resource Allocation in Egalitarian Agent Societies,
In A. Herzig, B. Chaib-draa, and Ph. Mathieu, editors, Secondes Journées Francophones sur les Modèles Formels d'Interaction (MFI-2003), pages 101-110, Cépaduès-Éditions, 2003. Finalist for the Best Paper Award.

U. Endriss, N. Maudet, F. Sadri, F. Toni: Protocol conformance for logic-based agents,
IJCAI 2003, 18th Joint Confernce in Artificial Intelligence, Morgan Kaufmann, 2003, pages 679-684

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), Andreas Herzig, Brahim Chaib-draa, Philippe Mathieu, eds., Lille, May 2003, Cepadues-editions, pages 101-110

U. Endriss, N. Maudet, F. Sadri, F. Toni: On Optimal Outcomes of Negotiations over Resources,
AAMAS2003, Second intenrational Joint Conference on Autonomous Agents and Multi-Agent Systems, 2003, pages 177-184

U. Endriss, N. Maudet, F. Sadri, F. Toni: Aspects of Protocol Conformance in Inter-agent Dialogues,
AAMAS2003 (poster), Second intenrational Joint Conference on Autonomous Agents and Multi-Agent Systems, 2003, pages 982-983

 

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

 

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




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

F. Sadri: Using the KGP model of agency to design applications, Post-proceedings of CLIMA VI, LNAI 3900, Springer Verlag, 2006.

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

A. Kakas, P. Mancarella, F. Sadri, K. Stathis, F. Toni: The KGP model of agency, ECAI04, European Conference on Artificial Intelligence, 2004, IOS Press,  ISBN 1 58603 452 9, pages 33-37

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,
340-367, 2004

pdf

 

 

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, pages 212-226

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, pages 132-149

 

 

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

 

F. Sadri, F. Toni, P. Torroni: A multi-stage negotiation architecture for sharing resources amongst logic-based agents,
Technical report, 2004

F. Sadri, F. Toni. P. Torroni: Minimally intrusive negotiating agents for resource sharing,
Proceedings of the 8th International Joint Conference on Artificial Intelligence 2003 (IJCAI 03),  p. 796-801

F. Sadri, F. Toni, P. Torroni: Minimally intrusive negotiating agents for resource sharing,
IJCAI 2003, 18th Joint Confernce in Artificial Intelligence, Morgan Kaufmann, 2003, pages 769-801

 

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

 

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

 

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.


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),
Proc. UKMAS 2002

 

 

 

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

 

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

 

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

 

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

 

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

 

R.A. Kowalski, F. Sadri: From Logic Programming towards Multi-agent Systems,
In: Annals of Mathematics and Artificial Intelligence Volume 25, pages 391-419  (1999)

 

P. Dell'Acqua, F. Sadri, F. Toni: Combining Introspection and Communication with Rationality and Reactivity in Agents , Proc. JELIA'98, 6th European Workshop on Logics in Artificial Intelligence, U. Furbach and L. Farinas del Cerro eds., LNAI, Springer Verlag, (1998)

 

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

 

R. Kowalski and F. Sadri: An Agent Architecture that Unifies Rationality with Reactivity,
Department of Computing, Imperial College (1997)

 

R. Kowalski, F. Sadri: Towards a unified agent architecture that combines rationality with reactivity,
In: Proc. International Workshop on Logic in Databases, San Miniato, Italy, Springer-Verlag, LNCS 1154 (1996)

F. Sadri, Ken Satoh:   Logic Programming in Multi-Agent Systems,

Journal of the Japanese Society for Artificial Intelligence, Vol. 25,  No. 3,  May 2010, 429-439

 

M. Fisher, F. Sadri, M. Thielscher (eds.): Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Vol. 5405 of Lecture Notes in Artificial Intelligence. Softcover. Heidelberg: Springer-Verlag. ISBN 978-3-642-02733, 2009.

 

F. Sadri and K. Satoh (eds.): Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers . Vol. 5056 of Lecture Notes in Artificial Intelligence. x + 299 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 978-3-540-88832-1, 2008.

 

F. Sadri: Multi-agent ambient intelligence for elderly care and assistance, AIP Conference Proceedings, 2007.

 

F. Sadri and F. Toni: Information exchange amongst abductive logic-based agents,
IeCCS 2006, Lecture Series on Computer and Computational Sciences, VSP/Brill.

 

 

Abductive Logic Programming

 

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(6):691-750, 2009

pdf

 

Giacomo Terreni, Paolo Mancarella, Francesca Toni and Fariba Sadri.
Programming Applications in CIFF,
Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 2007, Tempe, Arizona, USA, May 2007.

F. Sadri, F. Toni,
Interleaving belief updating and reasoning in abductive logic programming,
The 17th European Conference on Artificial Intelligence, ECAI 2006.

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, pages 31-43

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni,
Abductive Logic Programming with CIFF: System description,
In J. J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004), LNAI, volume 3229, pages 680-684, Springer-Verlag, September 2004

pdf

 


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

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

Ulle Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, and Francesca Toni.
The CIFF Proof Procedure: Definition and Soundness Results,
 Technical Report 2004, Department of Computing, Imperial College London, May 2004

 

 

Event Calculus

Kowalski R and Sadri F,
The situation calculus and event calculus compared,
Proceedings of the International Logic Programming Symposium, Ithaca, New York, Bruynooghe M. (Ed), The MIT Press, November 1994, 539-553.

Sadri F and Kowalski R,
Variants of the event calculus,
Proceedings of the International Conference on Logic Programming, Kanagawa, Japan, Stirling L. (Ed), The MIT Press, June 1995, 67-81.

Kowalski R and Sadri F,
Reconciling the event calculus with the situation calculus,
Journal of Logic Programming, special issue on reasoning about action and change, 1997, Vol. 31, 39-58.

 

 

Deductuve Databases

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, pages 353-362 (1999)

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

Sadri F and Toni F,
Active Behaviour in Deductive Databases,
Technical Report, Department of Computing, Imperial College, London(1998)

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

 

Other

 

F. Sadri: Ambient Intelligence, A Survey. ACM Computing Surveys, Volume 43, Issue Number 4, December 2011

pdf

 

Kowalski R and Sadri F,
Logic programs with exceptions,
Proceedings of the 7th International Conference on Logic Programming, Jerusalem, Israel, Warren D. H. and Szeredi P. (Eds)  The MIT Press, June 1990, 598-613.

F. Sadri
Ambient Intelligence for Care of the Elderly in Their Homes, Proceedings of the 2nd workshop on artificial techniques for ambient intelligence (AITAmI '07), Hyderabad, India, 62-67.


Y. Xanthakos, F. Sadri, F. Toni,
An abductive framework for semantic integration of information,
Technical Report 2004, Department of Computing, Imperial College London, September 2004

Y. Xanthakos, F. Sadri, F. Toni.
New results for the IFF abductive proof procedure,
Technical Report 2004, Department of Computing, Imperial College London, September 2004

U. Endriss, N. Maudet
, F. Sadri, F. Toni,
Negotiating socially optimal allocations of resources, Technical Report, March 2004

F. Sadri, F. Toni,
Interleaving belief revision and  reasoning, Technical Report, May 2004 

 A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, E. Lamma, P. Mancarella, P. Mello, P. Moraitis, F. Sadri, K. Stathis, G. Terreni, F. Toni, P. Torroni,
Deliverable D8: computational approach to (societies of) computees,
Jan 2004, EU SOCS project report, (P. Mancarella, F. Toni, A. Bracciali, eds)

M. Alberti, A. Bracciali, A. Ciampolini, F. Chesani, N. Demetriou, U. Endriss, M. Gavanelli, A. Kakas, E. Lamma,
W. Lu, P. Mancarella, P. Mello, M. Milano, F. Riguzzi, F. Sadri, K. Stathis, F. Toni, P. Torroni,
Deliverable D9: A prototype for the animation of societies of computees,
Jan 2004, EU SOCS project report

A. Kakas, E. Lamma, P. Mancarella,  P. Mello, F. Sadri, K. Stathis, F. Toni,
Deliverable D10: Technological implementation plan,
Jan 2004, SOCS project

M. Alberti,A. Bracciali, F. Chesani, U. Endriss, M. Gavanelli, A. Guerri, A. Kakas, E. Lamma, P. Mancarella, P. Mello, M. Milano,
F. Riguzzi, F. Sadri, K. Stathis, G. Terreni, F. Toni, P. Torroni,
Deliverable D12: Update report: WP5-WP6, June 2004,  EU SOCS project 

A.C. Kakas, F. Sadri, K. Stathis, F. Toni,
Deliverable D4: Formal Modelling of Computees,  June 2003, EU SOCS project report

Andrea Bracciali, Tony Kakas, Evelina Lamma, Fariba Sadri, Kostas Stathis, Francesca Toni,
Deliverable D7: Update report: WP1-WP4, 2003, EU SOCS project report

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


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

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