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 | 820 | 1986 |
Ambient intelligence: A survey F Sadri ACM Computing Surveys (CSUR) 43 (4), 1-66, 2011 | 518 | 2011 |
Logic programs with exceptions RA Kowalski, F Sadri New Generation Computing 9, 387-400, 1991 | 259 | 1991 |
A theorem-proving approach to database integrity F Sadri, R Kowalski Foundations of deductive databases and logic programming, 313-362, 1988 | 250 | 1988 |
From logic programming towards multi‐agent systems R Kowalski, F Sadri Annals of Mathematics and Artificial Intelligence 25, 391-419, 1999 | 238 | 1999 |
Negotiating socially optimal allocations of resources U Endriss, N Maudet, F Sadri, F Toni Journal of artificial intelligence research 25, 315-348, 2006 | 211 | 2006 |
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 | 156 | 1987 |
Dialogues for negotiation: agent varieties and dialogue sequences F Sadri, F Toni, P Torroni Intelligent Agents VIII: Agent Theories, Architectures, and Languages 8th …, 2002 | 140 | 2002 |
The KGP model of agency AC Kakas, P Mancarella, F Sadri, K Stathis, F Toni ECAI 16, 33, 2004 | 137 | 2004 |
Towards a unified agent architecture that combines rationality with reactivity R Kowalski, F Sadri International Workshop on Logic in Databases, 135-149, 1996 | 126 | 1996 |
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 | 114 | 2001 |
Protocol conformance for logic-based agents U Endriss, N Maudet, F Sadri, F Toni 18th International Joint Conference on Artificial Intelligence (IJCAI-2003 …, 2003 | 97 | 2003 |
Variants of the event calculus F Sadri, RA Kowalski | 97 | 1995 |
Logic-based approaches to intention recognition F Sadri Handbook of research on ambient intelligence and smart environments: Trends …, 2011 | 88 | 2011 |
An abductive logic programming architecture for negotiating agents F Sadri, F Toni, P Torroni Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002 | 88 | 2002 |
The Situation Calculus and Event Calculus Compared. RA Kowalski, F Sadri ILPS 94, 539-553, 1994 | 81 | 1994 |
On optimal outcomes of negotiations over resources U Endriss, N Maudet, F Sadri, F Toni AAMAS 3, 177-184, 2003 | 74 | 2003 |
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 | 70 | 2004 |
Normative KGP agents F Sadri, K Stathis, F Toni Computational & Mathematical Organization Theory 12, 101-126, 2006 | 66 | 2006 |
Logic-based agent communication protocols U Endriss, N Maudet, F Sadri, F Toni Workshop on agent communication languages, 91-107, 2003 | 66 | 2003 |