Ken Satoh  Home/Search
Context
Related
| dontaku.csce.kyushuu.ac.jp/IW...25.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dontaku.csce.kyushuu.ac.jp/IW... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Ken Satoh E-mail: ksatoh@db-ei.eng.hokudai.ac.jp Division of Electronics and Information Engineering, Hokkaido University North 13 West 8 Kita-ku Sapporo 060-8628 Japan 1 Introduction When we make a large software, we firstly decide requirements specification for the software. We, however, have to change the initial specification when unexpected exceptions and changes of environments occur. When we change specification, we usually do not discard the whole specification, but we keep most ... (Update)
Active bibliography (related documents): More All
0.5: An Abductive Approach for Analysing Event-Based.. - Russo, Miller.. (2001) (Correct)
0.4: Abduction in Logic Programming - Kakas, Denecker (2001) (Correct)
0.3: Reasoning about Dynamic Preferences in Circumscriptive.. - Toshiko Wakaki.. (1997) (Correct)
Similar documents based on text: More All
0.2: Disambiguation by Prioritized Circumscription - Ken Satoh Hokkaido (1996) (Correct)
0.2: Translating Case-Based Reasoning into Abductive Logic Programming - Satoh (1996) (Correct)
0.2: Analysis of Case-Based Representability of Boolean Functions by.. - Satoh (1998) (Correct)
BibTeX entry: (Update)
@misc{ satoh-consistency,
author = "Ken Satoh",
title = "Consistency Managementby Prioritized Minimal Revision",
url = "citeseer.ist.psu.edu/286487.html" }
Citations (may not include all citations):374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
297 Applications of Circumscription to Formalizing Common-Sense .. - McCarthy - 1986
117 Preferred Subtheories: An Extended Logical Framework for Def.. (context) - Brewka - 1989
59 Language Features for Flexible Handling of Exceptions in Inf.. - Borgida - 1985
26 A Query Evaluation Method for Abductive Logic Programming (context) - Satoh, Iwayama - 1992
11 Defaults in Specifications - Ryan - 1993
7 A Framework for Reasoning About Requirements Evolution - Zowghi, Ghose et al. - 1996
3 Computing Minimal Revised Logic Program by Abduction (context) - Satoh - 1998
3 Compiling Prioritized Circumscription into Extended Logic Pr.. (context) - Wakaki, Satoh - 1997
2 Using Abduction to Evolve Inconsistent Requirements Specific.. - Nuseibeh, Russo - 1999
1 Minimal Revision of Logical Specification Using Extended Log.. (context) - Satoh - 1999
Documents on the same site (http://dontaku.csce.kyushu-u.ac.jp/IWPSE99/Proceedings/): More
The Engineer, the Architect and the Flower Arranger: A.. - Millea, Edwards, Coutts (Correct)
Evolution of Relational Database to Object-Relational.. - Yugopuspito, al. (Correct)
A Scheduling Mechanism Approach to Web Servers based .. - Suranauwarat.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC