811 search results - page 86 / 163 » Semantic Web Reasoning with Conceptual Logic Programs |
133
Voted
PADL
2005
Springer
15 years 7 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
118
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
136
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
148
click to vote
GIS
2009
ACM
15 years 6 months ago
2009
ACM
More and more users are contributing and sharing more and more contents on the Web via the use of content hosting sites and social media services. These user–generated contents ...
146
Voted
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...