1137 search results - page 127 / 228 » Logic Programming for Knowledge Representation |
115
click to vote
CADE
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
124
click to vote
AAAI
2008
15 years 5 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
117
click to vote
IIE
2008
15 years 3 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
118
click to vote
ENTCS
2007
15 years 3 months ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
120
click to vote
ENTCS
2002
15 years 2 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...