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.003secs, Finished in 0.303secs