1194 search results - page 3 / 239 » A Language for Implementing Arbitrary Logics |
ICLP
2011
Springer
12 years 9 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
ROBOCUP
1999
Springer
13 years 10 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
ICLP
1992
Springer
13 years 10 months ago
1992
Springer
PPDP
2001
Springer
13 years 10 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...