oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Search Results: 1 - 10 of 4227 matches for " Karl Schlechta "
All listed articles are free for downloading (OA Articles)
Page 1 /4227
Display every page Item
A remark on utility streams
Karl Schlechta
Mathematics , 2007,
Abstract: We consider arbitrarily long, but finite utility streams, and some appropriate axioms.
Factorization (Splitting)
Karl Schlechta
Mathematics , 2007,
Abstract: We show some elementary facts about the semantical analogue of Parikh's Splitting, which we call Factorization.
Toolbox
Karl Schlechta
Mathematics , 2008,
Abstract: Contains various tools for preferential and related logics
Domain closure conditions and definability preservation
Karl Schlechta
Mathematics , 2006,
Abstract: We examine problems due to lack of domain closure and definability preservation
Remarks on Inheritance Systems
Karl Schlechta
Mathematics , 2006,
Abstract: We try a conceptual analysis of inheritance diagrams, first in abstract terms, and then compare to "normality" and the "small/big sets" of preferential and related reasoning. The main ideas are about nodes as truth values and information sources, truth comparison by paths, accessibility or relevance of information by paths, relative normality, and prototypical reasoning.
Equilibria und weiteres Heiteres
Dov Gabbay,Karl Schlechta
Mathematics , 2009,
Abstract: We investigate several technical and conceptual questions.
Semantic interpolation
Dov Gabbay,Karl Schlechta
Mathematics , 2009,
Abstract: We treat interpolation for various logics.
Size and Logic
Dov Gabbay,Karl Schlechta
Mathematics , 2009,
Abstract: We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.
A semantics for obligations
Dov Gabbay,Karl Schlechta
Mathematics , 2008,
Abstract: We analyze a number of properties obligations have or should have.
Logical tools for handling change in agent-based systems
Dov Gabbay,Karl Schlechta
Mathematics , 2008,
Abstract: We give a unified approach to various results and problems of nonclassical logics
Page 1 /4227
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.