Composition of Default Specifications

DOI10.1093/LOGCOM/11.4.559zbMath1010.68090OpenAlexW2170868623MaRDI QIDQ2761751

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

non-monotonic reasoningdefault specificationshierarchic specifications

Mathematics Subject Classification ID

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

Related Items (1)

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design

This page was built for publication: Composition of Default Specifications