1776 search results - page 232 / 356 » Using a Logic Programming Language with Persistence and Cont... |
PADL
2001
Springer
15 years 7 months ago
2001
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
124
click to vote
PADL
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
122
click to vote
AAAI
2004
15 years 4 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
117
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
131
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...