BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Amir:Eyal

Contributed to:

KR 20142014
KR 20102010
STOC 20032003
KR 20022002
SAT 20012001
KR 20002000
KR 19981998

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.