Reasoning About Objects Using a Tableau Method

DOI10.1093/LOGCOM/1.5.575MaRDI QIDQ3983935zbMATH OpenOpenAlexFDO

Authors Renwei Li, Amílcar Sernadas

Publication date 27 June 1992

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/1.5.575

zbMATH Keywords

conceptual modellingdependency relationsreasoning about objectsspecificationtableau methodtemporal logictransitional logicverification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other applications of logic (03B80) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1424541
• Object Specification Logic
• A description of the tableau method using abstract state machines
• An overview of tableau algorithms for description logics

Cited in

(1)

• Analysis of objects on the basis of an ``interacting table system

This page was built for publication: Reasoning About Objects Using a Tableau Method

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