376 search results - page 24 / 76 » Agent Logics as Program Logics: Grounding KARO |
DALT
2004
Springer
15 years 5 months 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
15 years 2 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
15 years 3 months ago
2004
IEEE
AMAI
2004
Springer
14 years 11 months ago
2004
Springer
AAAI
2006
15 years 1 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...