Axiom Pinpointing in Lightweight Description Logics via Horn-Sat Encoding and Conflict Analysis

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-02959-2_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automata-Based Axiom Pinpointing

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Encoding PB Constraints Into SAT via Binary Adders and BDDs -- Revisited

EasyChair Preprints
2018English

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2008English

Expressive Description Logics

English

SAT in Monadic Gödel Logics: A Borderline Between Decidability and Undecidability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Query Answering in Distributed Description Logics

English

Package-Based Description Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Learning With Kernels in Description Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Compact and Efficient SAT Encoding for Quantum Circuits

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy