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
Deputy Director of Postgraduate Studies:
MSc Computing
MSc Computing (Specialisms):
Computational Management Science
MSc 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.
·
The
International Conference on Ambient Systems, Networks, and Technologies (ANT)
2010, 2011, 2012
·
The
International Conference on Agents and Artificial Intelligence (ICAART) 2010,
2011, 2012
·
Agent
Oriented Software Engineering (AOSE) 2007, 2008, 2009, 2010, 2011, 2012
·
Computational
Logic in Multi-Agent Systems (CLIMA) 2006, 2007, 2008, 2010, 2011, 2012
·
International
Conference on Informatics in Control, Automation and Robotics, 2009, 2010
·
Workshop
on Human Aspects in Ambient Intelligence (HAI) 2007, 2008, 2009, 2010, 2011,
2012
·
International
Conference on Autonomous Agents and Multiagent
Systems (AAMAS) 2006, 2007
Member
of the co-ordination/steering committee of:
·
HAI,
Human Aspects in Ambient Intelligence 2007- 2012
·
CLIMA,
Computational Logic in Multi-Agent Systems, 2000 – 2011
Co-Chair
of:
I am
·
Guest
editor of The Computer Journal Special Issue on Artificial Societies for
Ambient Intelligence, 2009, 2010, 2011, 2012.
Guest
Tutorials on logic-based multi-agent systems at the:
ACAI Summer School,
the 2007 Advanced Course on Artificial Intelligence, Leuven, Belgium, 20-28
August 2007.
ICCL
International Centre for Computational Logic Summer School, Dresden, Germany, 24th
August - 6th September 2008.
Kowalski, R. and Sadri, F.:
Towards a Logic-Based Framework for Computing, submitted June 2013
Kowalski, R. and Sadri, F.:
Towards a Logic-Based Unifying Framework for Computing, submitted January 2013
Kowalski, R. and Sadri, F.: Teleo-Reactive Abductive Logic Programs, to appear (2012)
Kowalski, R. and Sadri, F.: Programming with Logic without Logic Programming
(2012)
Sadri, F: Intention
Recognition in Agents for Ambient Intelligence: Logic-Based Approaches, to appear
(2012)
R.
A. Kowalski, F. Sadri
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).
F.
Sadri
Ambient
Intelligence, A Survey. ACM Computing
Surveys, Volume 43, Issue Number 4,
December 2011.
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.
F.
Sadri
Intention
Recognition with Event Calculus Graphs. pdf
In
Proceedings of Human Aspects in Ambient
Intelligence (HAI 2010), August 2010, Toronto, Canada
F.
Sadri
Logic-based
Approaches to Intention Recognition, pdf
In
Handbook of Research on Ambient Intelligence: Trends and Perspectives, 2010
R.
A. Kowalski, F. Sadri
An Agent Language with Destructive Assignment and
Model-Theoretic Semantics. pdf
In
Proceedings of CLIMA 2010 - 11th International Workshop on Computational Logic
in Multi-Agent Systems 2010.
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
R.
A. Kowalski, F. Sadri
Integrating
Logic Programming and Production Systems in Abductive
Logic Programming Agents, pdf
The 3rd International
Conference on Web Reasoning and Rule Systems, October 25-26, 2009, Chantilly, Virginia, USA
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
Intention
Recognition with Event Calculus Graphs and Weight of Evidence, Report April
2010.
R.
A. Kowalski, F. Sadri
Towards
A Logic-Based Production System language, Report 2009 pdf
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, 2009
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
Multi-agent ambient intelligence for elderly care and assistance, AIP
Conference Proceedings, 2007.
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
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.
F.
Sadri and F. Toni
Information exchange amongst abductive logic-based
agents,
IeCCS 2006, Lecture Series on Computer and
Computational Sciences, VSP/Brill.
F. Sadri, F. Toni,
A formal analysis of KGP agents,
Jelia 2006.
F. Sadri, F. Toni,
Interleaving belief updating and
reasoning in abductive logic programming,
The 17th European Conference on Artificial Intelligence, ECAI 2006.
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.
F. Sadri, K. Stathis, F. Toni,
Normative KGP Agents,
Journal of Computational
and Mathematical Organization Theory , 2006.
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
F.
Sadri, F. Toni,
The SOCS project, ALP Newsletter, August 2004
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, 2004
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
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, JELIA'2004, International Conference on Logics in AI,
2004, Springer Verlag LNAI, pages 680-684
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
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.
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,
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
A multi-stage negotiation architecture for sharing resources amongst
logic-based agents,
Technical report, 2004
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,
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
F. Sadri, F. Toni. P. Torroni
Proceedings of the 8th International Joint Conference on Artificial
Intelligence 2003 (IJCAI 03), p. 796-801
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.
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
Minimally intrusive negotiating
agents for resource sharing,
IJCAI 2003, 18th Joint Confernce in Artificial
Intelligence, Morgan Kaufmann, 2003, pages 769-801
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
F. Sadri, F. Toni,
Abductive logic programming for
communication and negotiation amongst agents,
ALP Newsletter, May 2003
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
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, P. Torroni,
A multi-stage negotiation
architecture for sharing resources amongst logic-based agents (extended
abstract) ,
Proc. UKMAS 2002 (poster)
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.
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)
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.
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)
Revised version: Abduction with
Negation as Failure for Active and Reactive Rules, ,
E. Lamma and P. Mello eds., Springer Verlag
LNAI 1792, pages 49-60 (2000)
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
F. Sadri, F.
Toni,
Active Behaviour
in Deductive Databases, Technical Report (1996)
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)
R.A. Kowalski, F.
Sadri,
From Logic
Programming to Multi-agent Systems ,
Submitted October 1998
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
Sadri F and Toni F,
Active Behaviour in Deductive Databases,
Technical Report, Department of Computing, Imperial College, London(1998)
R. Kowalski
and F. Sadri,
An Agent
Architecture that Unifies Rationality with Reactivity,
Department of Computing, Imperial College (1997)
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.
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)
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,
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.
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.