`Travelled to:`

1 × Austria

1 × Canada

1 × France

1 × Italy

3 × USA

`Collaborated with:`

∅ S.Mcllraith H.Hajishirzi S.A.McIlraith C.L.Gîrlea R.Girju R.Krauthgamer S.Rao

`Talks about:`

reason (2) circumscript (1) probabilist (1) preliminari (1) determinist (1) subproblem (1) decomposit (1) constrain (1) werewolf (1) structur (1)

## Person: Eyal Amir

### DBLP: Amir:Eyal

### Contributed to:

### Wrote 8 papers:

- KR-2014-GirleaAG #game studies
- Tracking Beliefs and Intentions in the Werewolf Game (CLG, EA, RG).
- KR-2010-HajishirziA #probability #reasoning
- Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering (HH, EA).
- STOC-2003-AmirKR #approximate #constant #graph
- Constant factor approximation of vertex-cuts in planar graphs (EA, RK, SR), pp. 90–99.
- KR-2002-Amir #calculus
- Projection in Decomposed Situation Calculus (EA), pp. 315–326.
- SAT-2001-AmirM #composition #problem #satisfiability #using
- Solving Satisfiability using Decomposition and the Most Constrained Subproblem (EA, SM), pp. 329–343.
- SAT-2001-McllraithA #proving #theorem proving
- Theorem Proving with Structured Theories (Preliminary Report)* (SM, EA), pp. 311–328.
- KR-2000-AmirM #logic #reasoning
- Partition-Based Logical Reasoning (EA, SAM), pp. 389–400.
- KR-1998-Amir #revisited
- Pointwise Circumscription Revisited (EA), pp. 202–211.