Open Advanced Search

Log in
Enterprise Plans
Free Trial

Log in
Free Trial
Enterprise Plans
Browse
Features
Pricing

DeepDyve

Advanced Search

show/hide query preview

With all of the words or DOIs:

DeepDyve's default query mode: search by keyword or DOI.

With the exact phrase:

Require these words, in this exact order. Do not surround your terms in double-quotes ("") in this field.

With at least one of the words:

Find any of these words, separated by spaces

Without the words:

Exclude each of these words, separated by spaces

With words in the article title:

Search for these terms only in the title of an article

Published between the years:

With the following authors:

Most effective as: LastName, First Name or Lastname, FN

With words in the journal name:

Search for articles published in journals where these words are in the journal name

Reset filters

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Logical Tools for Handling Change in Agent-Based Systems

Part of the Cognitive Technologies Book Series

DOI: 10.1007/978-3-642-04407-6

ISBN: 978-3-642-04406-9

Publisher: Springer Berlin Heidelberg - Springer Journals

Oct 30, 2009

1 - 9 of 9 Chapters

Available

Introduction and Motivation

Gabbay, Dov M.; Schlechta, Karl

Pages: 1 –30

[Throughout, unless said otherwise, we will work in propositional logic.]
Available

Basic Definitions and Results

Gabbay, Dov M.; Schlechta, Karl

Pages: 31 –51

[Notation 2.1.1 We use sometimes FOL as abbreviation for first-order logic and NML for nonmonotonic logic.]
Available

Abstract Semantics by Size

Gabbay, Dov M.; Schlechta, Karl

Pages: 53 –71

[We first introduce a generalized quantifier in a first-order setting, as this is very natural, and prepares the more abstract discussion to come.]
Available

Preferential Structures – Part I

Gabbay, Dov M.; Schlechta, Karl

Pages: 73 –117

[This chapter, Preferential structures – Part I, is dedicated to the basic case without conditions for the domain. The following chapter, Part II, see Chap. 5 (p. 158), will treat the case with supplementary conditions for the domain, as well as applications and special cases.Higher preferential...
Available

Preferential Structures – Part II

Gabbay, Dov M.; Schlechta, Karl

Pages: 119 –155

[We examine here simplifications made possible by stronger closure conditions of the domain Y, in particular (∪) .]
Available

Higher Preferential Structures

Gabbay, Dov M.; Schlechta, Karl

Pages: 157 –173

[Definition 6.1.1 An IBR is called a generalized pref erential structure iff the origins of all arrows are points.]
Available

Deontic Logic and Hierarchical Conditionals

Gabbay, Dov M.; Schlechta, Karl

Pages: 175 –217

[The material in this section is taken from [GS08f].]
Available

Theory Update and Theory Revision

Gabbay, Dov M.; Schlechta, Karl

Pages: 219 –250

[We will treat here problems due to lack of information, i.e. we can “see” some dimensions, but not all.]
Available

An Analysis of Defeasible Inheritance Systems

Gabbay, Dov M.; Schlechta, Karl

Pages: 251 –293

[The material in this chapter is taken from [GS08e].]

results per page

Browse All eBooks

Features

Search and discover articles on DeepDyve, PubMed, and Google Scholar
Read the full-text of open access and premium content
Organize articles with folders and bookmarks
Collaborate on and share articles and folders

Info

Pricing
Enterprise Plans
Browse Journals & Topics
About DeepDyve

Help

Help
Publishers
Contact Us

Sign up for your 14-Day Free Trial Now!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Continue with Facebook

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Save Article to Bookmarks

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.

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Follow a Journal

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.

Our policy towards the use of cookies

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.

cookie policy