3481 search results - page 233 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
169
click to vote
DEXAW
2003
IEEE
15 years 9 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...
137
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
119
Voted
JMLR
2006
15 years 3 months ago
2006
In this paper, we propose a new representation for physical control
193
click to vote
ER
1995
Springer
15 years 7 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
156
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...