Fariba Sadri
Title
Cited by
Cited by
Year
The British Nationality Act as a logic program
MJ Sergot, F Sadri, RA Kowalski, F Kriwaczek, P Hammond, HT Cory
Communications of the ACM 29 (5), 370-386, 1986
5901986
Ambient intelligence: A survey
F Sadri
ACM Computing Surveys (CSUR) 43 (4), 1-66, 2011
4082011
Logic programs with exceptions
RA Kowalski, F Sadri
New Generation Computing 9 (3-4), 387-400, 1991
2391991
A theorem-proving approach to database integrity
F Sadri, R Kowalski
Foundations of deductive databases and logic programming, 313-362, 1988
2181988
From logic programming towards multi‐agent systems
R Kowalski, F Sadri
Annals of Mathematics and Artificial Intelligence 25 (3-4), 391-419, 1999
2141999
Negotiating socially optimal allocations of resources
U Endriss, N Maudet, F Sadri, F Toni
Journal of artificial intelligence research 25, 315-348, 2006
1662006
Integrity checking in deductive databases
R Kowalski, F Sadri, P Soper
In Proceedings of the VLDB International Conference, 1987
1481987
Dialogues for negotiation: agent varieties and dialogue sequences
F Sadri, F Toni, P Torroni
International Workshop on Agent Theories, Architectures, and Languages, 405-421, 2001
1412001
The KGP model of agency
A Kakas, P Mancarella, F Sadri, K Stathis, F Toni
Proceedings of the 16th European Conference on Artificial Intelligence, 28-32, 2004
1322004
Towards a unified agent architecture that combines rationality with reactivity
R Kowalski, F Sadri
International Workshop on Logic in Databases, 135-149, 1996
1201996
Logic agents, dialogues and negotiation: an abductive approach
F Sadri, F Toni, P Torroni
Proceedings of the AISB 2001 Symposium on Information Agents for E-Commerce 39, 2001
1022001
Protocol conformance for logic-based agents
U Endriss, N Maudet, F Sadri, F Toni
912003
An abductive logic programming architecture for negotiating agents
F Sadri, F Toni, P Torroni
European Workshop on Logics in Artificial Intelligence, 419-431, 2002
872002
Variants of the Event Calculus.
F Sadri, RA Kowalski
ICLP, 67-81, 1995
821995
The Situation Calculus and Event Calculus Compared.
RA Kowalski, F Sadri
ILPS 94, 539-553, 1994
741994
On optimal outcomes of negotiations over resources
U Endriss, N Maudet, F Sadri, F Toni
AAMAS 3, 177-184, 2003
702003
Logic-based approaches to intention recognition
F Sadri
Handbook of research on ambient intelligence and smart environments: Trends …, 2011
672011
The CIFF proof procedure for abductive logic programming with constraints
U Endriss, P Mancarella, F Sadri, G Terreni, F Toni
European Workshop on Logics in Artificial Intelligence, 31-43, 2004
672004
Normative KGP agents
F Sadri, K Stathis, F Toni
Computational & Mathematical Organization Theory 12 (2-3), 101, 2006
592006
The KGP model of agency for global computing: Computational model and prototype implementation
A Bracciali, N Demetriou, U Endriss, A Kakas, W Lu, P Mancarella, F Sadri, ...
International Workshop on Global Computing, 340-367, 2004
582004
The system can't perform the operation now. Try again later.
Articles 1–20