5482 search results - page 42 / 1097 » Logic Programming and Databases |
142
click to vote
SIGMOD
2006
ACM
15 years 9 months ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
JFLP
2002
14 years 9 months ago
2002
We consider prescriptive type systems for logic programs (as in G
103
click to vote
ICLP
2004
Springer
15 years 3 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
EUSFLAT
2003
14 years 11 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...