Sciweavers

6 search results - page 1 / 2
» How to Prefer More Specific Defaults in Terminological Defau...
Sort
View
IJCAI
1989
13 years 6 months ago
Preferred Subtheories: An Extended Logical Framework for Default Reasoning
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&#...
Gerhard Brewka
AAAI
1990
13 years 6 months ago
The Representation of Defaults in Cyc
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
Ramanathan V. Guha
JANCL
2007
95views more  JANCL 2007»
13 years 5 months ago
Dynamic logic of preference upgrade
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
Johan van Benthem, Fenrong Liu
ICSE
2007
IEEE-ACM
14 years 5 months ago
Usability Implications of Requiring Parameters in Objects' Constructors
The usability of APIs is increasingly important to programmer productivity. Based on experience with usability studies of specific APIs, techniques were explored for studying the ...
Jeffrey Stylos, Steven Clarke