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 | 598 | 1986 |

Ambient intelligence: A survey F Sadri ACM Computing Surveys (CSUR) 43 (4), 1-66, 2011 | 418 | 2011 |

Logic programs with exceptions RA Kowalski, F Sadri New Generation Computing 9 (3-4), 387-400, 1991 | 240 | 1991 |

A theorem-proving approach to database integrity F Sadri, R Kowalski Foundations of deductive databases and logic programming, 313-362, 1988 | 217 | 1988 |

From logic programming towards multi‐agent systems R Kowalski, F Sadri Annals of Mathematics and Artificial Intelligence 25 (3-4), 391-419, 1999 | 215 | 1999 |

Negotiating socially optimal allocations of resources U Endriss, N Maudet, F Sadri, F Toni Journal of artificial intelligence research 25, 315-348, 2006 | 175 | 2006 |

Integrity checking in deductive databases R Kowalski, F Sadri, P Soper In Proceedings of the VLDB International Conference, 1987 | 148 | 1987 |

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 | 142 | 2001 |

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 | 132 | 2004 |

Towards a unified agent architecture that combines rationality with reactivity R Kowalski, F Sadri International Workshop on Logic in Databases, 135-149, 1996 | 121 | 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 | 102 | 2001 |

Protocol conformance for logic-based agents U Endriss, N Maudet, F Sadri, F Toni | 91 | 2003 |

An abductive logic programming architecture for negotiating agents F Sadri, F Toni, P Torroni European Workshop on Logics in Artificial Intelligence, 419-431, 2002 | 87 | 2002 |

Variants of the Event Calculus. F Sadri, RA Kowalski ICLP, 67-81, 1995 | 81 | 1995 |

The Situation Calculus and Event Calculus Compared. RA Kowalski, F Sadri ILPS 94, 539-553, 1994 | 76 | 1994 |

On optimal outcomes of negotiations over resources U Endriss, N Maudet, F Sadri, F Toni AAMAS 3, 177-184, 2003 | 70 | 2003 |

Logic-based approaches to intention recognition F Sadri Handbook of research on ambient intelligence and smart environments: Trends …, 2011 | 67 | 2011 |

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 | 67 | 2004 |

Normative KGP agents F Sadri, K Stathis, F Toni Computational & Mathematical Organization Theory 12 (2-3), 101, 2006 | 60 | 2006 |

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 | 60 | 2004 |