170
click to vote
TABLEAUX
15 years 10 months ago
2005 Springer 
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
158
click to vote
TABLEAUX
15 years 10 months ago
2005 Springer 
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
150
Voted
TABLEAUX
15 years 10 months ago
2005 Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
143
click to vote
TABLEAUX
15 years 10 months ago
2005 Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
130
click to vote
TABLEAUX
15 years 10 months ago
2005 Springer 
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
|
Artificial Intelligence