303 search results - page 1 / 61 » From Description Logic Provers to Knowledge Representation S... |
103
Voted
DLOG
2003
15 years 8 days ago
2003
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
97
Voted
DLOG
1998
15 years 7 days ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
93
Voted
CADE
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
106
Voted
CADE
2008
Springer
15 years 27 days ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
104
Voted
CADE
2007
Springer
15 years 11 months ago
2007
Springer
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-b...