JAIR

2011

12 years 11 months ago
2011

We deﬁne a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions (e.g., pi) and iterated connectives ∨ or ∧ ranging over i...

DLOG

2009

13 years 2 months ago
2009

Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...

SAC

2008

ACM

13 years 3 months ago
2008

ACM

In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...

SIGCSE

2002

ACM

13 years 3 months ago
2002

ACM

This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...

IJPRAI

2000

13 years 4 months ago
2000

We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...

AI

2004

Springer

13 years 4 months ago
2004

Springer

Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new c...

LMCS

2006

13 years 4 months ago
2006

It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...

JSYML

2006

13 years 4 months ago
2006

It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provabl...

AAAI

1998

13 years 5 months ago
1998

Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...

UAI

2001

13 years 5 months ago
2001

We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability ...