507 search results - page 18 / 102 » Automating first-order relational logic |
LICS
2009
IEEE
14 years 1 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
AMAI
2007
Springer
13 years 6 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
ECSQARU
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
DLOG
2008
13 years 9 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
ILP
2005
Springer
14 years 7 days ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...