Concepedia

Fariba Sadri

FS

22

Publications

1.6K

Citations

16

H-Index

1986

Active since

Affiliations

Imperial College London(Current)

University of Pisa

University of Amsterdam

Royal Holloway University of London

University of Cyprus

Fariba Sadri is an author at Imperial College London specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsLogic ProgrammingPublic PolicyDecision TheoryMechanism DesignFormal VerificationBusiness

Publications per year

1986–2019

22

Publications

22

The British Nationality Act as a logic program

Marek Sergot, Fariba Sadri, Robert A. Kowalski et al. · Communications of the ACM · 1986 · 547 citations · Full text

Engineering, Law, Software Engineering +17

From logic programming towards multi‐agent systems

Robert Kowalski, Fariba Sadri · Annals of Mathematics and Artificial Intelligence · 1999 · 146 citations

Integrity Checking in Deductive Databases

Robert Kowalski, Fariba Sadri, Paul Soper · 1987 · 143 citations

Engineering, Verification, Automated Proof +16

Logic programs with exceptions

Robert Kowalski, Fariba Sadri · New Generation Computing · 1991 · 140 citations

Applied Logic, Non-classical Logic, Engineering +6

Negotiating Socially Optimal Allocations of Resources

Ulle Endriss, Nicolas Maudet, Fariba Sadri et al. · Journal of Artificial Intelligence Research · 2006 · 121 citations · Full text

Negotiation, Game Theory, Market Design +17

Rows per page

1–5 of 22