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
Senior lecturer in the Department of
Computing at Imperial College London
Member of the Logic and Artificial
Intelligence research area
Course Director of MSc Computing, MSc Computing
Specialist and MSc Advanced Computing
Broadly
Knowledge
Representation and Reasoning in Artificial Intelligence, and in
particular:
· Logic-Based Multi-Agent Systems
· Abduction
· Logic Programming for Knowledge Representation and Automated
Reasoning
· Negotiation
Co-Chair
of:
·
CLIMA IX "Computational
Logic in Multi-Agent Systems", September 2008, Dresden, Germany
·
Symposium on Artificial Societies for
Ambient Intelligence (ASAMI)
·
CLIMA VIII "Computational
Logic in Multi-Agent Systems", September 2007, Porto, Portugal
·
AmITA (Ambient intelligence technologies and applications), 13th Encontro Português de Inteligência Artificial, EPIA, Portugal 2007
Current and recent Program Committee memberships:
·
The
International Conference on Ambient Systems, Networks, and Technologies 2010
·
Workshop
on Human Aspects in Ambient Intelligence 2009
·
The
Tenth International Workshop on Agent Oriented Software Engineering 2009
Member
of the co-ordination/steering committee of
·
International Workshop on
Human Aspects in Ambient Intelligence 2007-2009
·
CLIMA,
"Computational Logic in Multi-Agent Systems", 2000-2009, which has organised:
I am
·
Guest
editor of The Computer Journal Special Issue on Artificial Societies for
Ambient Intelligence, 2009.
·
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.
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
F.
Sadri
Logic-based
Approaches to Intention Recognition, pdf
In
Handbook of Research on Ambient Intelligence: Trends and Perspectives, IGI
Global, to appear 2010
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
F.
Sadri
Ambient
Intelligence, A Survey, Submitted 2009
R.
A. Kowalski, F. Sadri
Towards
A Logic-Based Production System language, Submitted 2009
P. Mancarella, G. Terreni, F. Sadri,
F. Toni, U. Endriss
The
CIFF Proof Procedure for Abductive Logic Programming
with constraints: Theory, Implementation and Experiments, To
appear 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, to appear, 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, to appear.
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,
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,
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
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
2002
2001
2000
1999
1998