19 search results - page 1 / 4 » Default Representation in Constraint-based Frameworks |
JLP
1998
13 years 4 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
COLING
1999
13 years 4 months ago
1999
AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
IJCAI
1989
13 years 5 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...
ISMVL
1991
IEEE
13 years 8 months ago
1991
IEEE
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...