F. Miguel Dionsio, Udo W. Lipeck  Home/Search
Context
Related
| cs.math.ist.utl.pt/ftp/...97DLSDCS.ps 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: cs.math.ist.utl.pt/s84....publist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present an abstract specification theory that formalizes non-monotonic composition constructs from specification languages providing explicit non-monotonic mechanisms as a specification facility. This theory generalizes the institutional framework from Goguen and Burstall by adding defeasibility mechanisms to a given institution. The denotation of a specification module consists of defaults (formulas organized by priority) that are assumed to be true in the absence of explicit information... (Update)
Active bibliography (related documents): More All
0.6: Operators and Laws for Combining Preference Relations - Andreka, Ryan, Al. (2002) (Correct)
0.6: Defaults in Specifications - Ryan (1993) (Correct)
0.5: Constructing Systems as Object Communities - Ehrich, Denker, Sernadas (1993) (Correct)
Similar documents based on text: More All
0.3: Generalized Equilibria in an Economy without the Survival.. - Konovalov, Marakulin (2002) (Correct)
0.2: The Many Faces Of Defeasibility In Defeasible Deontic Logic - van der Torre, Tan (1997) (Correct)
0.2: Cancelling and Overshadowing: Two Types of Defeasibility in .. - van der Torre, Tan (1995) (Correct)
BibTeX entry: (Update)
@misc{ dionsio-specifying,
author = "F. Miguel Dionsio and Udo W. Lipeck",
title = "Specifying with Defaults: Compositional Semantics",
url = "citeseer.ist.psu.edu/366710.html" }
Citations (may not include all citations):451 Circumscription - a form of non-monotonic reasoning (context) - McCarthy - 1980
295 On closed world data bases (context) - Reiter - 1978
253 A logical framework for default reasoning (context) - Poole - 1988
234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
87 Nonmonotonic Reasoning: Logical Foundations of Commonsense (context) - Brewka - 1991
74 Object specification logic - Sernadas, Sernadas et al. - 1995
56 Belief Revision (context) - Gardenfors - 1992
47 Abstract and Concrete Categories (context) - Adamek, Herrlich et al. - 1990
44 Nonmonotonic logics: meaning and utility (context) - Shoham - 1987
37 Five faces of minimality (context) - Makinson - 1993
27 Abstract object types: A temporal perspective (context) - Sernadas, Fiadeiro et al. - 1989
25 structuring and implementing objects (context) - Fiadeiro, Maibaum - 1991
24 Representing defaults as sentences with reduced priority - Ryan - 1992
21 Programming Research Group (context) - Goguen, manifesto et al. - 1989
20 Semantics of inheritance in logical object specifications - Bra, Lipeck - 1991
19 An institution of object behaviour - Sernadas, Costa et al. - 1994
19 Belief revision: An introduction (context) - Gardenfors - 1992
18 Defaults and revision in structured theories - Ryan - 1991
14 Temporal theories as modularization units for concurrent sys.. (context) - Fiadeiro, Maibaum - 1992
11 Defaults in specifications - Ryan - 1993
10 Evolving object specifications - Saake, Sernadas et al. - 1995
7 Operators and laws for combining preference relations - Andreka, Ryan et al. - 1995
7 Ordered Presentations of Theories - Default Reasoning and Be.. (context) - Ryan - 1992
6 the relationship between operational and denotational semant.. - Caleiro - 1995
3 Hierarchical defaults in specifications - Bra, Ryan et al. - 1991
2 Defaults in Deduktiven Datenbanken (context) - Bra - 1992
2 Composition of Hierarchic Default Specifications (context) - Dionsio - 1997
1 Composition of default specifications (context) - Dionsio, Lipeck et al. - 1995
1 Specifying closed world assumptions for logic databases (context) - Bra, Lipeck - 1989
1 Putting theories toghether to make specifications (context) - Burstall, Goguen - 1977
1 Beginnings of a theory of general database completions (context) - Bra - 1990
1 Specification of object behaviour with defaults (context) - Bra, Lipeck et al. - 1993
Documents on the same site (http://www.cs.math.ist.utl.pt/s84.www/cs/lcg/publist/publist.html): More
A Theory-based Topological Notion of Institution - Sernadas, Sernadas.. (Correct)
Operational Semantics and Type System for GNOME on Typed.. - Ravara, Vasconcelos (1996) (Correct)
Behavioural Types for a Calculus of Concurrent Objects - Ravara, Vasconcelos (1997) (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