Travelled to:
1 × Israel
1 × Japan
1 × USA
Collaborated with:
R.A.Kowalski P.Soper
Talks about:
calculus (3) event (2) variant (1) program (1) databas (1) situat (1) integr (1) except (1) deduct (1) compar (1)
Person: Fariba Sadri
DBLP: Sadri:Fariba
Contributed to:
Wrote 4 papers:
- ICLP-1995-SadriK #calculus
- Variants of the Event Calculus (FS, RAK), pp. 67–81.
- ILPS-1994-KowalskiS #calculus
- The Situation Calculus and Event Calculus Compared (RAK, FS), pp. 539–553.
- CLP-1990-KowalskiS90 #exception #logic programming #source code
- Logic Programs with Exceptions (RAK, FS), pp. 598–613.
- VLDB-1987-KowalskiSS #database #deduction
- Integrity Checking in Deductive Databases (RAK, FS, PS), pp. 61–69.