scientific article; zbMATH DE number 1765664

zbMATH Open0988.03021MaRDI QIDQ4539600FDOQ4539600

Authors: Franz Baader, Stephan Tobies 

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830092

Title of this publication is not available (Why is that?)

Recommendations

• Implementing tableau calculi using BDDs: BDDTab system description
• Modal Satisfiability via SMT Solving
• The inverse method
• Theory and Applications of Relational Structures as Knowledge Instruments
• TABLEAUX: A general theorem prover for modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Cited In (8)

• Description Logics
• One-Pass Tableaux for Computation Tree Logic
• Approximate unification in the description logic \(\mathcal {FL}_0\)
• Automata-based axiom pinpointing
• Automata-Based Axiom Pinpointing
• Automata can show PSpace results for description logics
• The complexity of computing the behaviour of lattice automata on infinite trees
• Approximation in description logics: how weighted tree automata can help to define the required concept comparison measures in \(\mathcal {FL}_0\)

This page was built for publication:

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