scientific article; zbMATH DE number 1765666
From MaRDI portal
Publication:4539602
zbMath0988.68178MaRDI QIDQ4539602
Carsten Lutz, Frank Wolter, Holger Sturm, Michael Zakharyashchev
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830121
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (5)
Coalition Description Logic with Individuals ⋮ Representation, analysis, and extraction of knowledge from unstructured natural language texts ⋮ A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains ⋮ Clausal resolution in a logic of rational agency ⋮ Combining interval-based temporal reasoning with general TBoxes
This page was built for publication:
