Amanote Research

Amanote Research

  • Register
  • Sign In

Description Logic Reasoning With Decision Diagrams

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-540-88564-1_28

Full Text

Abstract

Available in

Categories

Computer ScienceTheoretical Computer Science

Date

January 1, 2008

Authors

Sebastian RudolphMarkus KrötzschPascal Hitzler

Publisher

Springer Berlin Heidelberg


Related search

REASONING WITH THE FUZZY DESCRIPTION LOGIC fZSI

2010English

Reasoning With Spider Diagrams

1999English

Reasoning With Concept Diagrams About Antipatterns

English

Representing and Reasoning on XML Documents: A Description Logic Approach

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1999English

Parallel Combinatorial Optimization With Decision Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Patterns and Logic for Reasoning With Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

Journal of Artificial Intelligence Research
Artificial Intelligence
2015English

Binary Decision Diagrams With Edge-Specified Reductions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Decision-Model Construction With Multilevel Influence Diagrams

Knowledge Engineering Review
Artificial IntelligenceSoftware
2000English

Amanote Research

Note-taking for researchers

Follow Amanote


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

Privacy PolicyRefund Policy