| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2016 | — | conf |
HLT-NAACL
|
| 2015 | A* | conf |
IJCAI
|
| 2015 | A* | conf |
AAAI
|
| 2015 | — | conf |
AAAI Spring Symposia
|
| 2014 | J | jnl |
Int. J. Gaming Comput. Mediat. Simulations
|
| 2014 | J | jnl |
CoRR
|
| 2014 | — | conf |
StarAI@AAAI
|
| 2014 | A* | conf |
KR
|
| 2013 | — | conf |
IUI Companion
|
| 2013 | J | jnl |
CoRR
|
| 2013 | — | conf |
StarAI@AAAI
|
| 2013 | — | conf |
SBP
|
| 2012 | — | conf |
SBP
|
| 2012 | A* | conf |
AAAI
|
| 2012 | A* | conf |
AAAI
|
| 2012 | J | jnl |
CoRR
|
| 2012 | J | jnl |
CoRR
|
| 2012 | A | conf |
UAI
|
| 2012 | — | conf |
StarAI@UAI
|
| 2012 | J | jnl |
CoRR
|
| 2012 | J | jnl |
CoRR
|
| 2012 | J | jnl |
CoRR
|
| 2011 | — | conf |
INTERACT (1)
|
| 2011 | J | jnl |
Artif. Intell.
|
| 2011 | A* | conf |
IJCAI
|
| 2011 | A | conf |
UAI
|
| 2011 | — | conf |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
|
| 2010 | — | conf |
AAAI Fall Symposium: Commonsense Knowledge
|
| 2010 | J | jnl |
Algorithmica
|
| 2010 | — | conf |
Cognitive Robotics
|
| 2010 | — | conf |
StarAI@AAAI
|
| 2010 | A | conf |
UAI
|
| 2010 | A* | conf |
KR
|
| 2009 | A* | conf |
ICRA
|
| 2009 | B | conf |
IJCNN
|
| 2009 | A* | conf |
IJCAI
|
| 2008 | — | conf |
AAAI Fall Symposium: Biologically Inspired Cognitive Architectures
|
| 2008 | — | ch. |
Innovations in Bayesian Networks
|
| 2008 | A* | conf |
AAAI
|
| 2008 | C | conf |
NeSy
|
| 2008 | — | conf |
AGI
|
| 2008 | J | jnl |
J. Artif. Intell. Res.
|
| 2008 | A | conf |
UAI
|
| 2008 | B | conf |
IJCNN
|
| 2007 | A* | conf |
IJCAI
|
| 2007 | A | conf |
IROS
|
| 2007 | A* | conf |
IJCAI
|
| 2007 | A* | conf |
IJCAI
|
| 2007 | A* | conf |
AAAI
|
| 2007 | A | conf |
UAI
|
| 2007 | — | conf |
Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.
SARA
|
| 2007 | A* | conf |
AAAI
|
| 2007 | — | conf |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
|
| 2006 | — | conf |
AAAI Fall Symposium: Semantic Web for Collaborative Knowledge Acquisition
|
| 2006 | — | conf |
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
|
| 2006 | C | conf |
MobiQuitous
|
| 2006 | A* | conf |
ICAPS
|
| 2006 | A* | conf |
AAAI
|
| 2006 | A* | conf |
AAAI
|
| 2006 | A* | conf |
AAAI
|
| 2006 | A* | conf |
AAAI
|
| 2005 | — | conf |
AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors
|
| 2005 | A* | conf |
AAAI
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | J | jnl |
Artif. Intell.
|
| 2004 | J | jnl |
Artif. Intell.
|
| 2003 | A* | conf |
STOC
|
| 2003 | A* | conf |
IJCAI
|
| 2003 | A* | conf |
IJCAI
|
| 2003 | A* | conf |
IJCAI
|
| 2002 | J | jnl |
CoRR
|
| 2002 | B | conf |
JELIA
|
| 2002 | — | conf |
NMR
|
| 2002 | A* | conf |
KR
|
| 2001 | — | — |
|
| 2001 | A | conf |
UAI
|
| 2001 | J | jnl |
Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report).
Electron. Notes Discret. Math.
|
| 2001 | J | jnl |
Electron. Notes Discret. Math.
|
| 2001 | A* | conf |
IJCAI
|
| 2000 | — | conf |
AAAI/IAAI
|
| 2000 | — | conf |
SARA
|
| 2000 | A* | conf |
KR
|
| 1999 | — | conf |
AAAI/IAAI
|
| 1999 | A* | conf |
IJCAI
|
| 1999 | J | jnl |
Electron. Trans. Artif. Intell.
|
| 1998 | A* | conf |
KR
|