#### Filter Results:

- Full text PDF available (33)

#### Publication Year

1998

2018

- This year (5)
- Last 5 years (13)
- Last 10 years (25)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

KRHyper is a first order logic theorem proving and model generation system based on the hyper tableau calculus. It is targeted for use as an embedded system within knowledge based applications. Inâ€¦ (More)

- BjÃ¶rn Pelzer, Christoph Wernhard
- CADE
- 2007

The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-based handling ofâ€¦ (More)

- Emmanuelle-Anna Dietz, Steffen HÃ¶lldobler, Christoph Wernhard
- Journal of Applied Non-Classical Logics
- 2014

Formal approaches that aim at representing human reasoning should be evaluated based on how humans actually reason. One way in doing so, is to investigate whether psychological findings of humanâ€¦ (More)

Recently an approach to model human reasoning as studied in cognitive science by logic programming, has been introduced by Stenning and van Lambalgen and exemplified with the suppression task. Weâ€¦ (More)

- Christoph Wernhard
- TABLEAUX
- 2009

Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. On the basis of aâ€¦ (More)

- Steffen HÃ¶lldobler, Tobias Philipp, Christoph Wernhard
- AAAI Spring Symposium: Logical Formalizations ofâ€¦
- 2011

In this paper we contribute to bridging the gap between human reasoning as studied in Cognitive Science and commonsense reasoning based on formal logics and formal theories. In particular, theâ€¦ (More)

We present a formalism that models the computation of clause sharing portfolio solvers with inprocessing. The soundness of these solvers is not a straightforward property since shared clauses canâ€¦ (More)

- Christoph Wernhard
- IJCAR Doctoral Programme
- 2004

Some operations to decompose a knowledge base (considered as a first order logic formula) in ways so that only its semantics determines the results are investigated. Intended uses include theâ€¦ (More)

- Christoph Wernhard
- ICLP
- 2010

We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped into â€“ semanticallyâ€¦ (More)

- Christoph Wernhard
- J. Symb. Comput.
- 2012

We develop a semantic framework that extends first-order logic by literal projection and a novel second semantically defined operator, raising, which is only slightly different from literalâ€¦ (More)