1017 search results - page 35 / 204 » Higher-Order Logic Programming Languages with Constraints: A... |
167
click to vote
DALT
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
186
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
169
click to vote
PPDP
2007
Springer
16 years 3 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
151
click to vote
AAAI
2004
15 years 7 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
189
click to vote
FLOPS
2010
Springer
16 years 25 days 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...