19 search results - page 1 / 4 » Default Representation in Constraint-based Frameworks |
JLP
1998
14 years 10 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...
61
Voted
COLING
1999
14 years 10 months ago
1999
77
Voted
AUSAI
2009
Springer
15 years 4 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...
91
Voted
IJCAI
1989
14 years 11 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
15 years 1 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...