1 - 5 of 5 articles
The lexicographic closure of any given finite setD of normal defaults is defined. A conditional assertiona ❘∼b is in this lexicographic closure if, given the defaultsD and the facta, one would concludeb. The lexicographic closure is essentially a rational extension ofD, and of its rational...
The Frame-logic (F-logic) approach of  is suggested as an underlying framework for description languages. F-logic is shown to provide a full account for description languages without losing the direct semantics and the descriptive nature. It can support such desirable features as high-order...
The study of the relation between default logic and modal nonmonotonic logics has been mostly concerned with the task of translating default logic to autoepistemic or some other modal nonmonotonic logic. Here, we discuss the reverse problem, that is, the possibility of translating modal...
In this paper, we address the problem of enriching an interactive theorem prover with complex proof procedures. We show that the approach of building complex proof procedures out of deciders for (decidable) quantifier-free theories has many advantages: (i) deciders for quantifier-free theories...
How to index or retrieve multimedia objects is by no means obvious, because the computer can retrieve right multimedia material only if it reasons about its contents. We show that it is possible to write formal specifications of this reasoning process using set theory and mereology. We discuss...
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.