3481 search results - page 82 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
CORR
2002
Springer
13 years 8 months ago
2002
Springer
CSMR
1998
IEEE
14 years 1 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
FPCA
1995
14 years 14 days 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...
IJCAI
2007
13 years 10 months ago
2007
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...