Sciweavers

4401 search results - page 18 / 881
» Computing with Default Logic
Sort
View
ISMVL
1991
IEEE
145views Hardware» more  ISMVL 1991»
14 years 4 days ago
The Abnormality Predicate
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...
Eric Neufeld
ECSQARU
2001
Springer
14 years 1 months ago
How to Reason Credulously and Skeptically within a Single Extension
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
James P. Delgrande, Torsten Schaub
JANCL
2002
66views more  JANCL 2002»
13 years 8 months ago
Reasoning Credulously and skeptically within a single extension
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
James P. Delgrande, Torsten Schaub
ISKI
1994
14 years 21 days ago
Object-Oriented System Specification Using Defaults
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
Udo W. Lipeck, Stefan Brass
COLING
2002
13 years 8 months ago
Varying Cardinality in Metonymic Extensions to Nouns
Meaning shifting phenomena such as metonymy have recently attracted increasing interest of researchers. Though these phenomena have been addressed by plenty of computational metho...
Helmut Horacek