**Contact Details**

*Address:*

Department
of Computing, Imperial College London,

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

*Email:* fs@doc.ic.ac.uk

**Deputy Director of Postgraduate Studies:**

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.

RuleML 2015, The 9th International Web Rule Symposium (RuleML), August 2-5, 2015, Freie Universität Berlin, Berlin, Germany Website: http://2015.ruleml.org

**Program
Committee Membership**

**Co-Chair **

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

·
Symposium on Artificial Societies for
Ambient Intelligence (ASAMI)

·
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

Reactive Systems

F. Sadri, H. M. Xu and F.S. Ni: A Schema for Intelligent Dredging for Cutter Suction Dredger Using LPS, To appear in the Proceedings of WORLD DREDGING CONGRESS XXI, June 13 - 17, Miami,
Florida, USA (2016)

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
Unifying Framework for Computing, submitted

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)**
**

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

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)

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)

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)

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

F. Sadri: Intention
Recognition with Event Calculus Graphs and Weight of Evidence, Proc. of the 3^{rd}
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)

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)

U. Endriss, N. Maudet, F. Sadri, F. Toni: *Negotiating socially
optimal allocations of resources: an overview
*

F. Sadri, K. Stathis, F.
Toni: *Normative
KGP Agents ,*

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.

U. Endriss, *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 8^{th} 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

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

*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,

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

Technical report, 2004

*: Minimally intrusive negotiating agents
for resource sharing*,

Proceedings of the 8^{th} International Joint Conference on Artificial Intelligence
2003 (IJCAI 03), p. 796-801

*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

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,

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

*Abductive** Logic Programming with CIFF:
Implementation and Applications*,

CILC04, Convegno Italiano
di Logica Computazionale,
16-17 June 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

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

**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

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

New results for the IFF abductive proof procedure,

Technical Report 2004, Department of Computing, Imperial College London,
September 2004

U. Endriss,

Negotiating socially optimal allocations of resources, Technical Report, March
2004

F. Sadri, F. Toni,

Interleaving belief revision and reasoning,
Technical Report, May 2004

M. Alberti, A. Bracciali, A. Ciampolini, F. Chesani, N. Demetriou, U. Endriss, M. Gavanelli, A. Kakas, E. Lamma,

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