525 search results - page 11 / 105 » Composing Programs in a Rewriting Logic for Declarative Prog... |
ATAL
2005
Springer
14 years 8 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
AAMAS
2011
Springer
12 years 10 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...
ENTCS
2006
13 years 6 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...