3481 search results - page 63 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
APLAS
2000
ACM
14 years 1 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
KRDB
2003
13 years 10 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
FAABS
2000
Springer
14 years 14 days ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
JFLP
2002
13 years 8 months ago
2002
We consider prescriptive type systems for logic programs (as in G