404 search results - page 12 / 81 » Multi-dimensional Dynamic Logic Programming |
DALT
2006
Springer
14 years 8 days ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
PPDP
2007
Springer
14 years 2 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
CIA
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
CLIMA
2004
13 years 10 months ago
2004
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
ACL
1996
13 years 10 months ago
1996
Off-line compilation of logic grammars using Magic allows an incorporation of filtering into the logic underlying the grammar. The explicit definite clause characterization of fil...