The SCEAS System
| |||||||

## Search the dblp DataBase
Eyal Amir:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Eyal Amir
**(De)Composition of Situation Calculus Theories.**[Citation Graph (0, 0)][DBLP] AAAI/IAAI, 2000, pp:456-463 [Conf] - Eyal Amir
**Elaboration Tolerance of Logical Theories.**[Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1999, pp:940- [Conf] - Rodrigo de Salvo Braz, Eyal Amir, Dan Roth
**MPE and Partial Inversion in Lifted Probabilistic Variable Elimination.**[Citation Graph (0, 0)][DBLP] AAAI, 2006, pp:- [Conf] - Megan Nance, Adam Vogel, Eyal Amir
**Reasoning about Partially Observed Actions.**[Citation Graph (0, 0)][DBLP] AAAI, 2006, pp:- [Conf] - Deepak Ramachandran, Eyal Amir
**Compact Propositional Encodings of First-Order Theories.**[Citation Graph (0, 0)][DBLP] AAAI, 2005, pp:340-345 [Conf] - Dafna Shahaf, Eyal Amir
**Learning Partially Observable Action Schemas.**[Citation Graph (0, 0)][DBLP] AAAI, 2006, pp:- [Conf] - Dafna Shahaf, Allen Chang, Eyal Amir
**Learning Partially Observable Action Models: Efficient Algorithms.**[Citation Graph (0, 0)][DBLP] AAAI, 2006, pp:- [Conf] - Eyal Amir, Pedrito Maynard-Reid II
**Logic-Based Subsumption Architecture.**[Citation Graph (0, 0)][DBLP] IJCAI, 1999, pp:147-152 [Conf] - Eyal Amir, Barbara Engelhardt
**Factored Planning.**[Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:929-935 [Conf] - Eyal Amir, Stuart J. Russell
**Logical Filtering.**[Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:75-82 [Conf] - Eyal Amir
**Learning Partially Observable Deterministic Action Models.**[Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:1433-1439 [Conf] - Rodrigo de Salvo Braz, Eyal Amir, Dan Roth
**Lifted First-Order Probabilistic Inference.**[Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:1319-1325 [Conf] - Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe
**Practical Partition-Based Theorem Proving for Large Knowledge Bases.**[Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:89-98 [Conf] - Sheila A. McIlraith, Eyal Amir
**Theorem Proving with Structured Theories.**[Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:624-634 [Conf] - Deepak Ramachandran, Eyal Amir
**Compact Propositional Encodings of First-Order Theories.**[Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:1579-1580 [Conf] - Afsaneh Shirazi, Eyal Amir
**First-Order Logical Filtering.**[Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:589-595 [Conf] - Mark Richards, Eyal Amir
**Opponent Modeling in Scrabble.**[Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:1482-1487 [Conf] - Deepak Ramachandran, Eyal Amir
**Bayesian Inverse Reinforcement Learning.**[Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:2586-2591 [Conf] - Dafna Shahaf, Eyal Amir
**Logical Circuit Filtering.**[Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:2611-2618 [Conf] - Eyal Amir
**Interpolation Theorems for Nonmonotonic Reasoning Systems.**[Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:233-244 [Conf] - Eyal Amir
**Projection in Decomposed Situation Calculus.**[Citation Graph (0, 0)][DBLP] KR, 2002, pp:315-326 [Conf] - Eyal Amir
**Pointwise Circumscription Revisited.**[Citation Graph (0, 0)][DBLP] KR, 1998, pp:202-211 [Conf] - Eyal Amir, Sheila A. McIlraith
**Partition-Based Logical Reasoning.**[Citation Graph (0, 0)][DBLP] KR, 2000, pp:389-400 [Conf] - Eyal Amir
**Interpolation theorems for nonmonotonic reasoning systems.**[Citation Graph (0, 0)][DBLP] NMR, 2002, pp:41-50 [Conf] - Eyal Amir, Sheila A. McIlraith
**Improving the Efficiency of Reasoning Through Structure-Based Reformulation.**[Citation Graph (0, 0)][DBLP] SARA, 2000, pp:247-259 [Conf] - Eyal Amir, Robert Krauthgamer, Satish Rao
**Constant factor approximation of vertex-cuts in planar graphs.**[Citation Graph (0, 0)][DBLP] STOC, 2003, pp:90-99 [Conf] - Eyal Amir
**Efficient Approximation for Triangulation of Minimum Treewidth.**[Citation Graph (0, 0)][DBLP] UAI, 2001, pp:7-15 [Conf] - Eyal Amir, Pedrito Maynard-Zhang
**Logic-based subsumption architecture.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 2004, v:153, n:1-2, pp:167-237 [Journal] - Eyal Amir, Sheila A. McIlraith
**Partition-based logical reasoning for first-order and propositional theories.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 2005, v:162, n:1-2, pp:49-88 [Journal] - Eyal Amir
**Interpolation Theorems for Nonmonotonic Reasoning Systems**[Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal] - Eyal Amir
**Object-Oriented First-Order Logic.**[Citation Graph (0, 0)][DBLP] Electron. Trans. Artif. Intell., 1999, v:3, n:C, pp:63-84 [Journal] - Afsaneh Shirazi, Eyal Amir
**Probabilistic Modal Logic.**[Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:489-495 [Conf] - Hannaneh Hajishirzi, Eyal Amir
**Stochastic Filtering in a Probabilistic Action Model.**[Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:999-1006 [Conf] - Allen Chang, Eyal Amir
**Goal Achievement in Partially Known, Partially Observable Domains.**[Citation Graph (0, 0)][DBLP] ICAPS, 2006, pp:203-211 [Conf] - Igor Gammer, Eyal Amir
**Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.**[Citation Graph (0, 0)][DBLP] SARA, 2007, pp:169-183 [Conf] **Factored Models for Probabilistic Modal Logic.**[Citation Graph (, )][DBLP]**Combining planning and motion planning.**[Citation Graph (, )][DBLP]**Greedy Algorithms for Sequential Sensing Decisions.**[Citation Graph (, )][DBLP]**Shedding weights: More with less.**[Citation Graph (, )][DBLP]**Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering.**[Citation Graph (, )][DBLP]**Sampling First Order Logical Particles.**[Citation Graph (, )][DBLP]**Factor-guided motion planning for a robot arm.**[Citation Graph (, )][DBLP]**Input Feedback Networks: Classification and Inference Based on Network Structure.**[Citation Graph (, )][DBLP]**Approximation Algorithms for Treewidth.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |