1097 search results - page 37 / 220 » Revision Programming = Logic Programming Integrity Constra... |
130
Voted
FPCA
1995
15 years 6 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
157
Voted
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
124
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
128
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...