dblp.uni-trier.dewww.uni-trier.de

Eyal Amir Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
45EEHannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir: Greedy Algorithms for Sequential Sensing Decisions. IJCAI 2009: 1908-1915
2008
44 Afsaneh Shirazi, Eyal Amir: Factored Models for Probabilistic Modal Logic. AAAI 2008: 541-547
43 Tsvi Achler, Eyal Amir: Input Feedback Networks: Classification and Inference Based on Network Structure. AGI 2008: 15-26
42EETsvi Achler, Cyrus Omar, Eyal Amir: Shedding weights: More with less. IJCNN 2008: 3020-3027
41EEHannaneh Hajishirzi, Eyal Amir: Sampling First Order Logical Particles. UAI 2008: 248-255
40EERodrigo de Salvo Braz, Eyal Amir, Dan Roth: A Survey of First-Order Probabilistic Models. Innovations in Bayesian Networks 2008: 289-317
39EEEyal Amir, Allen Chang: Learning Partially Observable Deterministic Action Models. J. Artif. Intell. Res. (JAIR) 33: 349-402 (2008)
2007
38 Afsaneh Shirazi, Eyal Amir: Probabilistic Modal Logic. AAAI 2007: 489-495
37 Hannaneh Hajishirzi, Eyal Amir: Stochastic Filtering in a Probabilistic Action Model. AAAI 2007: 999-1006
36EEMark Richards, Eyal Amir: Opponent Modeling in Scrabble. IJCAI 2007: 1482-1487
35EEDeepak Ramachandran, Eyal Amir: Bayesian Inverse Reinforcement Learning. IJCAI 2007: 2586-2591
34EEDafna Shahaf, Eyal Amir: Logical Circuit Filtering. IJCAI 2007: 2611-2618
33EEJaesik Choi, Eyal Amir: Factor-guided motion planning for a robot arm. IROS 2007: 27-32
32EEIgor Gammer, Eyal Amir: Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. SARA 2007: 169-183
2006
31 Dafna Shahaf, Allen Chang, Eyal Amir: Learning Partially Observable Action Models: Efficient Algorithms. AAAI 2006
30 Dafna Shahaf, Eyal Amir: Learning Partially Observable Action Schemas. AAAI 2006
29 Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: MPE and Partial Inversion in Lifted Probabilistic Variable Elimination. AAAI 2006
28 Megan Nance, Adam Vogel, Eyal Amir: Reasoning about Partially Observed Actions. AAAI 2006
27 Allen Chang, Eyal Amir: Goal Achievement in Partially Known, Partially Observable Domains. ICAPS 2006: 203-211
2005
26 Deepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. AAAI 2005: 340-345
25EERodrigo de Salvo Braz, Eyal Amir, Dan Roth: Lifted First-Order Probabilistic Inference. IJCAI 2005: 1319-1325
24EEEyal Amir: Learning Partially Observable Deterministic Action Models. IJCAI 2005: 1433-1439
23EEDeepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. IJCAI 2005: 1579-1580
22EEAfsaneh Shirazi, Eyal Amir: First-Order Logical Filtering. IJCAI 2005: 589-595
21EEEyal Amir, Sheila A. McIlraith: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005)
2004
20EEEyal Amir, Pedrito Maynard-Zhang: Logic-based subsumption architecture. Artif. Intell. 153(1-2): 167-237 (2004)
2003
19 Eyal Amir, Stuart J. Russell: Logical Filtering. IJCAI 2003: 75-82
18 Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe: Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98
17 Eyal Amir, Barbara Engelhardt: Factored Planning. IJCAI 2003: 929-935
16EEEyal Amir, Robert Krauthgamer, Satish Rao: Constant factor approximation of vertex-cuts in planar graphs. STOC 2003: 90-99
2002
15EEEyal Amir: Interpolation Theorems for Nonmonotonic Reasoning Systems. JELIA 2002: 233-244
14 Eyal Amir: Projection in Decomposed Situation Calculus. KR 2002: 315-326
13 Eyal Amir: Interpolation theorems for nonmonotonic reasoning systems. NMR 2002: 41-50
12EEEyal Amir: Interpolation Theorems for Nonmonotonic Reasoning Systems CoRR cs.AI/0207064: (2002)
2001
11 Sheila A. McIlraith, Eyal Amir: Theorem Proving with Structured Theories. IJCAI 2001: 624-634
10EEEyal Amir: Efficient Approximation for Triangulation of Minimum Treewidth. UAI 2001: 7-15
9EESheila Mcllraith, Eyal Amir: Theorem Proving with Structured Theories (Preliminary Report)*. Electronic Notes in Discrete Mathematics 9: 311-328 (2001)
8EEEyal Amir, Sheila Mcllraith: Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 329-343 (2001)
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
5EEEyal 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
2EEEyal 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

Coauthor Index

1Tsvi Achler [42] [43]
2Rodrigo de Salvo Braz [25] [29] [40]
3Allen Chang [27] [31] [39]
4Jaesik Choi [33] [45]
5Barbara Engelhardt [17]
6Igor Gammer [32]
7Hannaneh Hajishirzi [37] [41] [45]
8Robert Krauthgamer [16]
9Bill MacCartney [18]
10Pedrito Maynard-Reid II [3]
11Pedrito Maynard-Zhang [20]
12Sheila A. McIlraith [5] [6] [11] [18] [21]
13Sheila Mcllraith [8] [9]
14Megan Nance [28]
15Cyrus Omar [42]
16Deepak Ramachandran [23] [26] [35]
17Satish Rao [16]
18Mark Richards [36]
19Dan Roth [25] [29] [40]
20Stuart J. Russell [19]
21Dafna Shahaf [30] [31] [34]
22Afsaneh Shirazi [22] [38] [44] [45]
23Tomás E. Uribe [18]
24Adam Vogel [28]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)