| 2007 |
|---|
| 35 | | Afsaneh Shirazi,
Eyal Amir:
Probabilistic Modal Logic.
AAAI 2007: 489-495 |
| 34 | | Hannaneh Hajishirzi,
Eyal Amir:
Stochastic Filtering in a Probabilistic Action Model.
AAAI 2007: 999-1006 |
| 33 | EE | Mark Richards,
Eyal Amir:
Opponent Modeling in Scrabble.
IJCAI 2007: 1482-1487 |
| 32 | EE | Deepak Ramachandran,
Eyal Amir:
Bayesian Inverse Reinforcement Learning.
IJCAI 2007: 2586-2591 |
| 31 | EE | Dafna Shahaf,
Eyal Amir:
Logical Circuit Filtering.
IJCAI 2007: 2611-2618 |
| 30 | EE | Igor Gammer,
Eyal Amir:
Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.
SARA 2007: 169-183 |
| 2006 |
|---|
| 29 | | Dafna Shahaf,
Allen Chang,
Eyal Amir:
Learning Partially Observable Action Models: Efficient Algorithms.
AAAI 2006 |
| 28 | | Dafna Shahaf,
Eyal Amir:
Learning Partially Observable Action Schemas.
AAAI 2006 |
| 27 | | Rodrigo de Salvo Braz,
Eyal Amir,
Dan Roth:
MPE and Partial Inversion in Lifted Probabilistic Variable Elimination.
AAAI 2006 |
| 26 | | Megan Nance,
Adam Vogel,
Eyal Amir:
Reasoning about Partially Observed Actions.
AAAI 2006 |
| 25 | | Allen Chang,
Eyal Amir:
Goal Achievement in Partially Known, Partially Observable Domains.
ICAPS 2006: 203-211 |
| 2005 |
|---|
| 24 | | Deepak Ramachandran,
Eyal Amir:
Compact Propositional Encodings of First-Order Theories.
AAAI 2005: 340-345 |
| 23 | EE | Rodrigo de Salvo Braz,
Eyal Amir,
Dan Roth:
Lifted First-Order Probabilistic Inference.
IJCAI 2005: 1319-1325 |
| 22 | EE | Eyal Amir:
Learning Partially Observable Deterministic Action Models.
IJCAI 2005: 1433-1439 |
| 21 | EE | Deepak Ramachandran,
Eyal Amir:
Compact Propositional Encodings of First-Order Theories.
IJCAI 2005: 1579-1580 |
| 20 | EE | Afsaneh Shirazi,
Eyal Amir:
First-Order Logical Filtering.
IJCAI 2005: 589-595 |
| 19 | EE | Eyal Amir,
Sheila A. McIlraith:
Partition-based logical reasoning for first-order and propositional theories.
Artif. Intell. 162(1-2): 49-88 (2005) |
| 2004 |
|---|
| 18 | EE | Eyal Amir,
Pedrito Maynard-Zhang:
Logic-based subsumption architecture.
Artif. Intell. 153(1-2): 167-237 (2004) |
| 2003 |
|---|
| 17 | | Eyal Amir,
Stuart J. Russell:
Logical Filtering.
IJCAI 2003: 75-82 |
| 16 | | Bill MacCartney,
Sheila A. McIlraith,
Eyal Amir,
Tomás E. Uribe:
Practical Partition-Based Theorem Proving for Large Knowledge Bases.
IJCAI 2003: 89-98 |
| 15 | | Eyal Amir,
Barbara Engelhardt:
Factored Planning.
IJCAI 2003: 929-935 |
| 14 | EE | Eyal Amir,
Robert Krauthgamer,
Satish Rao:
Constant factor approximation of vertex-cuts in planar graphs.
STOC 2003: 90-99 |
| 2002 |
|---|
| 13 | EE | Eyal Amir:
Interpolation Theorems for Nonmonotonic Reasoning Systems.
JELIA 2002: 233-244 |
| 12 | | Eyal Amir:
Projection in Decomposed Situation Calculus.
KR 2002: 315-326 |
| 11 | | Eyal Amir:
Interpolation theorems for nonmonotonic reasoning systems.
NMR 2002: 41-50 |
| 10 | EE | Eyal Amir:
Interpolation Theorems for Nonmonotonic Reasoning Systems
CoRR cs.AI/0207064: (2002) |
| 2001 |
|---|
| 9 | | Sheila A. McIlraith,
Eyal Amir:
Theorem Proving with Structured Theories.
IJCAI 2001: 624-634 |
| 8 | EE | Eyal Amir:
Efficient Approximation for Triangulation of Minimum Treewidth.
UAI 2001: 7-15 |
| 2000 |
|---|
| 7 | | Eyal Amir:
(De)Composition of Situation Calculus Theories.
AAAI/IAAI 2000: 456-463 |
| 6 | | Eyal Amir,
Sheila A. McIlraith:
Partition-Based Logical Reasoning.
KR 2000: 389-400 |
| 5 | EE | Eyal Amir,
Sheila A. McIlraith:
Improving the Efficiency of Reasoning Through Structure-Based Reformulation.
SARA 2000: 247-259 |
| 1999 |
|---|
| 4 | | Eyal Amir:
Elaboration Tolerance of Logical Theories.
AAAI/IAAI 1999: 940 |
| 3 | | Eyal Amir,
Pedrito Maynard-Reid II:
Logic-Based Subsumption Architecture.
IJCAI 1999: 147-152 |
| 2 | EE | Eyal Amir:
Object-Oriented First-Order Logic.
Electron. Trans. Artif. Intell. 3(C): 63-84 (1999) |
| 1998 |
|---|
| 1 | | Eyal Amir:
Pointwise Circumscription Revisited.
KR 1998: 202-211 |
