5378 search results - page 291 / 1076 » Base Logics in Argumentation |
172
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
199
click to vote
TABLEAUX
2005
Springer
16 years 8 days 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...
163
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
186
click to vote
KCAP
2003
ACM
16 years 2 days ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
199
click to vote
ICCS
1998
Springer
15 years 11 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...