79 search results - page 4 / 16 » The Representation of Defaults in Cyc |
97
Voted
AAAI
2006
15 years 1 months ago
2006
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...
106
click to vote
ISMVL
1991
IEEE
15 years 3 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...
107
click to vote
ISMB
1994
15 years 28 days ago
1994
The automatic generation of drawings of metabolic pathways is a challenging problem that depends intimately on exactly what information has been recorded for each pathway, and on ...
106
click to vote
CONTEXT
2007
Springer
15 years 5 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
101
Voted
IJCAI
1989
15 years 24 days 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&#...