376 search results - page 24 / 76 » Agent Logics as Program Logics: Grounding KARO |
DALT
2004
Springer
14 years 28 days ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
AAAI
2007
13 years 10 months ago
2007
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
AINA
2004
IEEE
13 years 11 months ago
2004
IEEE
AMAI
2004
Springer
13 years 7 months ago
2004
Springer
AAAI
2006
13 years 9 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...