Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2009 | |
---|---|---|

45 | EE | Hannaneh 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 | |

42 | EE | Tsvi Achler, Cyrus Omar, Eyal Amir: Shedding weights: More with less. IJCNN 2008: 3020-3027 |

41 | EE | Hannaneh Hajishirzi, Eyal Amir: Sampling First Order Logical Particles. UAI 2008: 248-255 |

40 | EE | Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: A Survey of First-Order Probabilistic Models. Innovations in Bayesian Networks 2008: 289-317 |

39 | EE | Eyal 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 | |

36 | EE | Mark Richards, Eyal Amir: Opponent Modeling in Scrabble. IJCAI 2007: 1482-1487 |

35 | EE | Deepak Ramachandran, Eyal Amir: Bayesian Inverse Reinforcement Learning. IJCAI 2007: 2586-2591 |

34 | EE | Dafna Shahaf, Eyal Amir: Logical Circuit Filtering. IJCAI 2007: 2611-2618 |

33 | EE | Jaesik Choi, Eyal Amir: Factor-guided motion planning for a robot arm. IROS 2007: 27-32 |

32 | EE | Igor 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 | |

25 | EE | Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: Lifted First-Order Probabilistic Inference. IJCAI 2005: 1319-1325 |

24 | EE | Eyal Amir: Learning Partially Observable Deterministic Action Models. IJCAI 2005: 1433-1439 |

23 | EE | Deepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. IJCAI 2005: 1579-1580 |

22 | EE | Afsaneh Shirazi, Eyal Amir: First-Order Logical Filtering. IJCAI 2005: 589-595 |

21 | 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 | ||

20 | EE | Eyal 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 | |

16 | EE | Eyal Amir, Robert Krauthgamer, Satish Rao: Constant factor approximation of vertex-cuts in planar graphs. STOC 2003: 90-99 |

2002 | ||

15 | EE | Eyal 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 | |

12 | EE | Eyal 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 | |

10 | EE | Eyal Amir: Efficient Approximation for Triangulation of Minimum Treewidth. UAI 2001: 7-15 |

9 | EE | Sheila Mcllraith,
Eyal Amir:
Theorem Proving with Structured Theories (Preliminary Report)^{*}.
Electronic Notes in Discrete Mathematics 9: 311-328 (2001) |

8 | EE | Eyal 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 | |

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 |

1 | Tsvi Achler | [42] [43] |

2 | Rodrigo de Salvo Braz | [25] [29] [40] |

3 | Allen Chang | [27] [31] [39] |

4 | Jaesik Choi | [33] [45] |

5 | Barbara Engelhardt | [17] |

6 | Igor Gammer | [32] |

7 | Hannaneh Hajishirzi | [37] [41] [45] |

8 | Robert Krauthgamer | [16] |

9 | Bill MacCartney | [18] |

10 | Pedrito Maynard-Reid II | [3] |

11 | Pedrito Maynard-Zhang | [20] |

12 | Sheila A. McIlraith | [5] [6] [11] [18] [21] |

13 | Sheila Mcllraith | [8] [9] |

14 | Megan Nance | [28] |

15 | Cyrus Omar | [42] |

16 | Deepak Ramachandran | [23] [26] [35] |

17 | Satish Rao | [16] |

18 | Mark Richards | [36] |

19 | Dan Roth | [25] [29] [40] |

20 | Stuart J. Russell | [19] |

21 | Dafna Shahaf | [30] [31] [34] |

22 | Afsaneh Shirazi | [22] [38] [44] [45] |

23 | Tomás E. Uribe | [18] |

24 | Adam Vogel | [28] |