UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Toward an Epistemic-Logical Theory of Categorization

Electronic Proceedings in Theoretical Computer Science, 2017-07, Vol.251 (Proc. TARK 2017), p.167-186

2017

Volltextzugriff (PDF)

Qualitative reasoning in a two-layered framework

International journal of approximate reasoning, 2023-03, Vol.154, p.84-108

2023

Volltextzugriff (PDF)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

Journal of logic and computation, 2024-03

2024

Volltextzugriff (PDF)

Presumptive Reasoning in a Paraconsistent Setting

Electronic proceedings in theoretical computer science, 2023, Vol.379, p.233-244

2023

Volltextzugriff (PDF)

Crisp Bi-Gödel modal logic and its paraconsistent expansion

Logic journal of the IGPL, 2023-09

2023

Volltextzugriff (PDF)

Toward a Dempster-Shafer theory of concepts

International journal of approximate reasoning, 2020-10, Vol.125, p.14-25

2020

Volltextzugriff (PDF)

Dual characterizations for finite lattices via correspondence theory for monotone modal logic

Journal of logic and computation, 2017-04, p.exw011

2017

Volltextzugriff (PDF)

Rough concepts

Information sciences, 2021-06, Vol.561, p.371-413

2021

Volltextzugriff (PDF)

Reasoning with belief functions over Belnap–Dunn logic

Annals of pure and applied logic, 2024-10, Vol.175 (9), p.103338, Article 103338

2024

Volltextzugriff (PDF)

Constraint Tableaux for Two-Dimensional Fuzzy Logics

Automated Reasoning with Analytic Tableaux and Related Methods, p.20-37

Volltextzugriff (PDF)

Multi-type display calculus for propositional dynamic logic

Journal of logic and computation, 2016-12, Vol.26 (6), p.2067-2104

2016

Volltextzugriff (PDF)

Privacy Analysis with a Distributed Transition System and a Data-Wise Metric

Privacy in Statistical Databases, p.15-30

Volltextzugriff (PDF)

Multi-type display calculus for dynamic epistemic logic

Journal of logic and computation, 2016-12, Vol.26 (6), p.2017-2065

2016

Volltextzugriff (PDF)

Probabilistic Epistemic Updates on Algebras

ACM transactions on computational logic, 2019-09, Vol.20 (4), p.1-75

2019

Volltextzugriff (PDF)

A proof-theoretic semantic analysis of dynamic epistemic logic

Journal of logic and computation, 2016-12, Vol.26 (6), p.1961-2015

2016

Volltextzugriff (PDF)

Categories: How I Learned to Stop Worrying and Love Two Sorts

Logic, Language, Information, and Computation, 2016, Vol.9803, p.145-164

2016

Volltextzugriff (PDF)

A Multi-type Calculus for Inquisitive Logic

Logic, Language, Information, and Computation, 2016, Vol.9803, p.215-233

2016

Volltextzugriff (PDF)

Toward Updating Belief Functions over Belnap-Dunn Logic

Belief Functions: Theory and Applications, p.261-272

Volltextzugriff (PDF)

Two-Layered Logics for Paraconsistent Probabilities

Logic, Language, Information, and Computation, p.101-117

Volltextzugriff (PDF)

Non-standard Modalities in Paraconsistent Gödel Logic

Logics in Artificial Intelligence, p.420-436

Volltextzugriff (PDF)

Belief Based on Inconsistent Information

Dynamic Logic. New Trends and Applications, 2020, Vol.12569, p.68-86

2020

Volltextzugriff (PDF)

Software Tool Support for Modular Reasoning in Modal Logics of Actions

Interactive Theorem Proving, 2018, Vol.10895, p.48-67

2018

Volltextzugriff (PDF)

Demo: Data Minimization and Informed Consent in Administrative Forms

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.3676-3678

2023

Volltextzugriff (PDF)

Probabilistic Epistemic Updates on Algebras

Logic, Rationality, and Interaction, 2015, Vol.9394, p.64-76

2015

Volltextzugriff (PDF)

Fixed-Point Theory in the Varieties \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{D}_{n}$\end{document}

Relational and Algebraic Methods in Computer Science, p.446-462

Volltextzugriff (PDF)

1 – 25 von 25

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(21)
Mit Volltextzugriff
(24)

Publikationsform

Sprache

Englisch
(25)

Erscheinungsjahr

n.n

Thema

Science & Technology
(23)
Computer Science
(22)
Technology
(21)
Computer Science, Theory & Methods
(16)
Logic In Computer Science
(13)
Logic
(12)
Science & Technology - Other Topics
(12)
Mathematics
(10)
Physical Sciences
(7)
Computer Science, Artificial Intelligence
(6)
Mathematics, Applied
(6)
Constraint Tableaux
(3)
Display Calculus
(3)
Dynamic Epistemic Logic
(3)
Formal Concept Analysis
(3)
Gödel Logic
(3)
Mathematical Theory Of Computation
(3)
Modal Logic
(3)
Paraconsistent Logics
(3)
Łukasiewicz Logic
(3)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

3 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Toward an Epistemic-Logical Theory of Categorization

Qualitative reasoning in a two-layered framework

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

Presumptive Reasoning in a Paraconsistent Setting

Crisp Bi-Gödel modal logic and its paraconsistent expansion

Toward a Dempster-Shafer theory of concepts

Dual characterizations for finite lattices via correspondence theory for monotone modal logic

Rough concepts

Reasoning with belief functions over Belnap–Dunn logic

Constraint Tableaux for Two-Dimensional Fuzzy Logics

Multi-type display calculus for propositional dynamic logic

Privacy Analysis with a Distributed Transition System and a Data-Wise Metric

Multi-type display calculus for dynamic epistemic logic

Probabilistic Epistemic Updates on Algebras

A proof-theoretic semantic analysis of dynamic epistemic logic

Categories: How I Learned to Stop Worrying and Love Two Sorts

A Multi-type Calculus for Inquisitive Logic

Toward Updating Belief Functions over Belnap-Dunn Logic

Two-Layered Logics for Paraconsistent Probabilities

Non-standard Modalities in Paraconsistent Gödel Logic

Belief Based on Inconsistent Information

Software Tool Support for Modular Reasoning in Modal Logics of Actions

Demo: Data Minimization and Informed Consent in Administrative Forms

Probabilistic Epistemic Updates on Algebras

Fixed-Point Theory in the Varieties \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{D}_{n}$\end{document}

Suchergebnisse filtern