Concepedia

Rachel Ben-Eliyahu

RB

Statistics

Publications

7

Citations

440

H-Index

7

Active since

1991

Affiliations

University of California, Irvine(Current)

University of California, Los Angeles

Ben-Gurion University of the Negev

Rachel Ben-Eliyahu is an author at University of California, Irvine specializing in computer science, logic, and default logic.

Publications per year

1991–2002

7

Publications

7

Propositional semantics for disjunctive logic programs

Rachel Ben-Eliyahu, Rina Dechter · Annals of Mathematics and Artificial Intelligence · 1994 · 280 citations · Full text

Computing, Computer Science, Formal Methods +12

On computing minimal models

Rachel Ben-Eliyahu, Rina Dechter · Annals of Mathematics and Artificial Intelligence · 1996 · 53 citations · Full text

Computing, Computer Science, Mathematics +9

Default reasoning using classical logic

Rachel Ben-Eliyahu, Rina Dechter · Artificial Intelligence · 1996 · 34 citations

Humanities, Philosophy, Knowledge Representation +8

Default logic, propositional logic and constraints

Rachel Ben-Eliyahu, Rina Dechter · National Conference on Artificial Intelligence · 1991 · 26 citations

Computing, Computer Science, Formal Methods +13

A modal logic for subjective default reasoning

S. Ben-David, Rachel Ben-Eliyahu · 2002 · 21 citations

Language Studies, Computer Science, Logic +15

1–5 of 7