141
Voted
CADE
16 years 24 days ago
2008 Springer 
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
120
Voted
CADE
15 years 2 months 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...
109
click to vote
CADE
16 years 24 days ago
2008 Springer 
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
97
Voted
CADE
16 years 24 days ago
2008 Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
108
Voted
CADE
16 years 24 days ago
2008 Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
|
Logical Reasoning