Amanote Research

Amanote Research

    RegisterSign In

Searching Contexts in Paraconsistent Rough Description Logic

Journal of the Brazilian Computer Society - Switzerland
doi 10.1186/s13173-015-0031-2
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer Science
Date

July 7, 2015

Authors
Henrique VianaJoão AlcântaraAna Teresa Martins
Publisher

Springer Science and Business Media LLC


Related search

Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

Logical Investigations
2017English

Paraconsistent Logic and Weakening of Intuitionistic Negation

Journal of Intelligent Systems
Information SystemsArtificial IntelligenceSoftware
2012English

Paraconsistent Negation and Classical Negation in Computation Tree Logic

2010English

Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic

Manuscrito
Philosophy
2011English

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

LTL Over Description Logic Axioms

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2012English

Hybrid Unification in the Description Logic EL

English

Ideal Paraconsistent Logics

Studia Logica
Philosophy of ScienceLogicHistory
2011English

Granularity, Multi-Valued Logic, Bayes’ Theorem and Rough Sets

Studies in Fuzziness and Soft Computing
Computational MathematicsComputer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy