Composition of default specifications

DOI10.1093/LOGCOM/11.4.559MaRDI QIDQ2761751zbMATH OpenOpenAlexFDO

Authors Sofia Guerra

Publication date 7 January 2002

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/93f2735e82f1efdb0ee34bd9ce60e32f3d074972

zbMATH Keywords

default specificationshierarchic specificationsnon-monotonic reasoning

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Compositionality for quantitative specifications
• Constructive Specifications for Compositional Units
• Modular specifications with supernormal defaults
• scientific article; zbMATH DE number 1693512
• scientific article; zbMATH DE number 2013575
• Parallel composition and decomposition of specifications
• The Foundations of Specification
• Specifications in an arbitrary institution
• Composition of assumption-commitment specifications in a UNITY style

Cited in

(3)

• Modular specifications with supernormal defaults
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• scientific article; zbMATH DE number 1696879 (Why is no real title available?)

This page was built for publication: Composition of default specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761751)