The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eyal Amir: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eyal Amir
    (De)Composition of Situation Calculus Theories. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:456-463 [Conf]
  2. Eyal Amir
    Elaboration Tolerance of Logical Theories. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:940- [Conf]
  3. 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]
  4. Megan Nance, Adam Vogel, Eyal Amir
    Reasoning about Partially Observed Actions. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  5. Deepak Ramachandran, Eyal Amir
    Compact Propositional Encodings of First-Order Theories. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:340-345 [Conf]
  6. Dafna Shahaf, Eyal Amir
    Learning Partially Observable Action Schemas. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  7. Dafna Shahaf, Allen Chang, Eyal Amir
    Learning Partially Observable Action Models: Efficient Algorithms. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  8. Eyal Amir, Pedrito Maynard-Reid II
    Logic-Based Subsumption Architecture. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:147-152 [Conf]
  9. Eyal Amir, Barbara Engelhardt
    Factored Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:929-935 [Conf]
  10. Eyal Amir, Stuart J. Russell
    Logical Filtering. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:75-82 [Conf]
  11. Eyal Amir
    Learning Partially Observable Deterministic Action Models. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1433-1439 [Conf]
  12. Rodrigo de Salvo Braz, Eyal Amir, Dan Roth
    Lifted First-Order Probabilistic Inference. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1319-1325 [Conf]
  13. 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]
  14. Sheila A. McIlraith, Eyal Amir
    Theorem Proving with Structured Theories. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:624-634 [Conf]
  15. Deepak Ramachandran, Eyal Amir
    Compact Propositional Encodings of First-Order Theories. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1579-1580 [Conf]
  16. Afsaneh Shirazi, Eyal Amir
    First-Order Logical Filtering. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:589-595 [Conf]
  17. Mark Richards, Eyal Amir
    Opponent Modeling in Scrabble. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1482-1487 [Conf]
  18. Deepak Ramachandran, Eyal Amir
    Bayesian Inverse Reinforcement Learning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2586-2591 [Conf]
  19. Dafna Shahaf, Eyal Amir
    Logical Circuit Filtering. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2611-2618 [Conf]
  20. Eyal Amir
    Interpolation Theorems for Nonmonotonic Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:233-244 [Conf]
  21. Eyal Amir
    Projection in Decomposed Situation Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:315-326 [Conf]
  22. Eyal Amir
    Pointwise Circumscription Revisited. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:202-211 [Conf]
  23. Eyal Amir, Sheila A. McIlraith
    Partition-Based Logical Reasoning. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:389-400 [Conf]
  24. Eyal Amir
    Interpolation theorems for nonmonotonic reasoning systems. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:41-50 [Conf]
  25. 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]
  26. 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]
  27. Eyal Amir
    Efficient Approximation for Triangulation of Minimum Treewidth. [Citation Graph (0, 0)][DBLP]
    UAI, 2001, pp:7-15 [Conf]
  28. 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]
  29. 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]
  30. Eyal Amir
    Interpolation Theorems for Nonmonotonic Reasoning Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  31. 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]
  32. Afsaneh Shirazi, Eyal Amir
    Probabilistic Modal Logic. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:489-495 [Conf]
  33. Hannaneh Hajishirzi, Eyal Amir
    Stochastic Filtering in a Probabilistic Action Model. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:999-1006 [Conf]
  34. Allen Chang, Eyal Amir
    Goal Achievement in Partially Known, Partially Observable Domains. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:203-211 [Conf]
  35. 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]

  36. Factored Models for Probabilistic Modal Logic. [Citation Graph (, )][DBLP]


  37. Combining planning and motion planning. [Citation Graph (, )][DBLP]


  38. Greedy Algorithms for Sequential Sensing Decisions. [Citation Graph (, )][DBLP]


  39. Shedding weights: More with less. [Citation Graph (, )][DBLP]


  40. Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering. [Citation Graph (, )][DBLP]


  41. Sampling First Order Logical Particles. [Citation Graph (, )][DBLP]


  42. Factor-guided motion planning for a robot arm. [Citation Graph (, )][DBLP]


  43. Input Feedback Networks: Classification and Inference Based on Network Structure. [Citation Graph (, )][DBLP]


  44. Approximation Algorithms for Treewidth. [Citation Graph (, )][DBLP]


Search in 0.083secs, Finished in 0.085secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002