Amanote Research

Amanote Research

    RegisterSign In

An Approach to Description Logic With Support for Propositional Attitudes and Belief Fusion

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-89765-1_8
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2008

Authors
Matthias NicklesRuth Cobos
Publisher

Springer Berlin Heidelberg


Related search

Quantifiers and Propositional Attitudes

The Journal of Philosophy
Philosophy
1956English

Propositional Attitudes

2018English

Modularity in Belief Change of Description Logic Bases

English

Modality and Propositional Attitudes

2015English

Propositional Fusion Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Recursive Complements and Propositional Attitudes

Studies in Theoretical Psycholinguistics
2014English

Propositional Clausal Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

The Axiomatization of Propositional Logic

Formalized Mathematics
Computational MathematicsApplied Mathematics
2016English

Software for Quantifier Elimination in Propositional Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy