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:
20142010
20032002
200120001998Wrote 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.