A Resolution Procedure for Description Logics With Nominal Schemas

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37996-3_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Architecture Conformance Checking With Description Logics

2017English

Learning With Kernels in Description Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Expressive Description Logics

English

Composing Semantic Web Services With Description Logics

Ruan Jian Xue Bao/Journal of Software
Software
2010English

Decidable Description Logics of Context With Rigid Roles

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Package-Based Description Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Resolution-Based Theorem Proving for Many-Valued Logics

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1995English

Fuzzy Description Logics Under Gödel Semantics

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy