1613 search results - page 123 / 323 » Functional and Constraint Logic Programming |
141
Voted
ROBOCUP
1999
Springer
15 years 8 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...
144
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
123
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
108
Voted
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
178
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...