106
click to vote
TABLEAUX
15 years 2 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...
TABLEAUX
15 years 2 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...
TABLEAUX
15 years 2 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...
TABLEAUX
15 years 2 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...
TABLEAUX
15 years 2 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