| 2011 | ICAART | Intention Recognition with Event Calculus Graphs and Weight of Evidence. | Fariba Sadri |
| 2007 | LPNMR | Programming Applications in CIFF. | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2006 | ECAI | Interleaving Belief Updating and Reasoning in Abductive Logic Programming. | Fariba Sadri, Francesca Toni |
| 2006 | JELIA | A Formal Analysis of KGP Agents. | Fariba Sadri, Francesca Toni |
| 2004 | ECAI | The KGP Model of Agency. | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
| 2004 | JELIA | The CIFF Proof Procedure for Abductive Logic Programming with Constraints. | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2004 | JELIA | Abductive Logic Programming with CIFF: System Description. | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2003 | IJCAI | Protocol Conformance for Logic-based Agents. | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
| 2003 | IJCAI | Minimally intrusive negotiating agents for resource sharing. | Fariba Sadri, Francesca Toni, Paolo Torroni |
| 2002 | JELIA | An Abductive Logic Programming Architecture for Negotiating Agents. | Fariba Sadri, Francesca Toni, Paolo Torroni |
| 1998 | JELIA | Combining Introspection and Communication with Rationality and Reactivity in Agents. | Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni |
| 1995 | ICLP | Variants of the Event Calculus. | Fariba Sadri, Robert A. Kowalski |
| 1990 | ICLP | Logic Programs with Exceptions. | Robert A. Kowalski, Fariba Sadri |
| 1987 | VLDB | Integrity Checking in Deductive Databases. | Robert A. Kowalski, Fariba Sadri, Paul Soper |