Folgen
Fariba Sadri
Fariba Sadri
Bestätigte E-Mail-Adresse bei doc.ic.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
7081986
Ambient intelligence: A survey
F Sadri
ACM Computing Surveys (CSUR) 43 (4), 1-66, 2011
4822011
Logic programs with exceptions
RA Kowalski, F Sadri
New Generation Computing 9, 387-400, 1991
2481991
A theorem-proving approach to database integrity
F Sadri, R Kowalski
Foundations of deductive databases and logic programming, 313-362, 1988
2331988
From logic programming towards multi‐agent systems
R Kowalski, F Sadri
Annals of Mathematics and Artificial Intelligence 25, 391-419, 1999
2261999
Negotiating socially optimal allocations of resources
U Endriss, N Maudet, F Sadri, F Toni
Journal of artificial intelligence research 25, 315-348, 2006
1922006
Integrity checking in deductive databases
RA Kowalski, F Sadri, P Soper
Proceedings of the 13th International Conference on Very Large Data Bases, 61-69, 1987
1551987
Dialogues for negotiation: agent varieties and dialogue sequences
F Sadri, F Toni, P Torroni
Intelligent Agents VIII: Agent Theories, Architectures, and Languages 8th …, 2002
1422002
The KGP model of agency
AC Kakas, P Mancarella, F Sadri, K Stathis, F Toni
ECAI 16, 33, 2004
1352004
Towards a unified agent architecture that combines rationality with reactivity
R Kowalski, F Sadri
Logic in Databases: International Workshop LID'96 San Miniato, Italy, July 1 …, 2005
1222005
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
1112001
Protocol conformance for logic-based agents
U Endriss, N Maudet, F Sadri, F Toni
18th International Joint Conference on Artificial Intelligence (IJCAI-2003 …, 2003
962003
Variants of the Event Calculus.
F Sadri, RA Kowalski
ICLP, 67-81, 1995
931995
An abductive logic programming architecture for negotiating agents
F Sadri, F Toni, P Torroni
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
852002
Logic-based approaches to intention recognition
F Sadri
Handbook of research on ambient intelligence and smart environments: Trends …, 2011
792011
The Situation Calculus and Event Calculus Compared.
RA Kowalski, F Sadri
ILPS 94, 539-553, 1994
791994
On optimal outcomes of negotiations over resources
U Endriss, N Maudet, F Sadri, F Toni
AAMAS 3, 177-184, 2003
752003
The CIFF proof procedure for abductive logic programming with constraints
U Endriss, P Mancarella, F Sadri, G Terreni, F Toni
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004
682004
Normative KGP agents
F Sadri, K Stathis, F Toni
Computational & Mathematical Organization Theory 12, 101-126, 2006
632006
Logic-based agent communication protocols
U Endriss, N Maudet, F Sadri, F Toni
Advances in Agent Communication: International Workshop on Agent …, 2004
632004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20