Travelled to:1 × Canada
1 × France
1 × Germany
1 × USA
Collaborated with:L.Palopoli S.Ben-David ∅ R.Dechter
Talks about:program (2) reason (2) logic (2) algorithm (1) proposit (1) disjunct (1) subject (1) revisit (1) default (1) complet (1)
Person: Rachel Ben-Eliyahu
DBLP: Ben-Eliyahu:Rachel
Contributed to:
1994
1994
19931992Wrote 4 papers:
- KR-1994-Ben-EliyahuP #algorithm #modelling #performance #reasoning
- Reasoning with Minimal Models: Efficient Algorithms and Applications (RBE, LP), pp. 39–50.
- LICS-1994-Ben-DavidB #logic #reasoning
- a modal logic for subjective default reasoning (SBD, RBE), pp. 477–486.
- ILPS-1993-Ben-Eliyahu #revisited
- Back to the Future: Program Completion, Revisited (RBE), p. 642.
- JICSLP-1992-Ben-EliyahuD #logic programming #source code
- Propositional Sematics for Disjunctive Logic Programs (RBE, RD), pp. 813–827.