352 search results - page 42 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
112
click to vote
RR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
232
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
139
click to vote
PADL
2005
Springer
15 years 8 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 ...
GG
2004
Springer
15 years 8 months ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
152
click to vote
FLOPS
2010
Springer
15 years 9 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...