722 search results - page 13 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
149
click to vote
GEOINFORMATICA
2011
14 years 8 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
124
click to vote
ASP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
103
click to vote
CSL
1998
Springer
15 years 5 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
139
click to vote
AMAI
2008
Springer
15 years 1 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
112
click to vote
DATESO
2008
15 years 2 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...