UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 561

Sortiert nach

Evidence for an odd-parity nematic phase above the charge-density-wave transition in a kagome metal

Nature physics, 2024-01, Vol.20 (1), p.40-46

2024

Volltextzugriff (PDF)

Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings

1, 2023

Volltextzugriff (PDF)

Belief Reconfiguration

Logics in Artificial Intelligence, p.446-461

Volltextzugriff (PDF)

Base-Based Model Checking for Multi-agent only Believing

Logics in Artificial Intelligence, 2023, Vol.14281, p.437-445

2023

Volltextzugriff (PDF)

A Principle-Based Analysis of Bipolar Argumentation Semantics

Logics in Artificial Intelligence, p.209-224

Volltextzugriff (PDF)

Contrastive Explanations for Answer-Set Programs

Logics in Artificial Intelligence, 2023, p.73-89

2023

Volltextzugriff (PDF)

Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings

Volltextzugriff (PDF)

Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies

Logics in Artificial Intelligence, p.353-368

Volltextzugriff (PDF)

Formalizing Statistical Causality via Modal Logic

Logics in Artificial Intelligence, p.681-696

Volltextzugriff (PDF)

Short Boolean Formulas as Explanations in Practice

Logics in Artificial Intelligence, p.90-105

Volltextzugriff (PDF)

A New Class of Explanations for Classifiers with Non-binary Features

Logics in Artificial Intelligence, p.106-122

Volltextzugriff (PDF)

Deontic Equilibrium Logic with eXplicit Negation

Logics in Artificial Intelligence, p.498-514

Volltextzugriff (PDF)

First Steps Towards Taming Description Logics with Strings

Logics in Artificial Intelligence, p.322-337

Volltextzugriff (PDF)

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver

Logics in Artificial Intelligence, p.338-352

Volltextzugriff (PDF)

Robust Alternating-Time Temporal Logic

Logics in Artificial Intelligence, p.796-813

Volltextzugriff (PDF)

Concept Combination in Weighted DL

Logics in Artificial Intelligence, p.385-401

Volltextzugriff (PDF)

Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals

Logics in Artificial Intelligence, p.649-664

Volltextzugriff (PDF)

Truth and Preferences - A Game Approach for Qualitative Choice Logic

Logics in Artificial Intelligence, p.547-560

Volltextzugriff (PDF)

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases

Logics in Artificial Intelligence, p.481-497

Volltextzugriff (PDF)

Enhancing Temporal Planning by Sequential Macro-Actions

Logics in Artificial Intelligence, p.595-604

Volltextzugriff (PDF)

Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming

Logics in Artificial Intelligence, p.278-286

Volltextzugriff (PDF)

Splitting Techniques for Conditional Belief Bases in the Context of c-Representations

Logics in Artificial Intelligence, p.462-477

Volltextzugriff (PDF)

Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation

Logics in Artificial Intelligence, p.49-64

Volltextzugriff (PDF)

Non-standard Modalities in Paraconsistent Gödel Logic

Logics in Artificial Intelligence, p.420-436

Volltextzugriff (PDF)

Non-Normal Modal Description Logics

Logics in Artificial Intelligence, p.306-321

Volltextzugriff (PDF)

1 – 25 von 561

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(393)
Mit Volltextzugriff
(513)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(298)
Life Sciences & Biomedicine
(185)
Humans
(156)
Technology
(110)
Male
(85)
Surgery
(82)
Female
(78)
Dentistry
(77)
Adult
(73)
Computer Science
(73)
Dentistry, Oral Surgery & Medicine
(70)
Computer Science, Artificial Intelligence
(64)
Middle Aged
(64)
Science & Technology - Other Topics
(62)
Biological And Medical Sciences
(61)
Computer Science, Theory & Methods
(61)
Logic
(57)
Medical Sciences
(54)
Aged
(46)
Treatment Outcome
(36)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(6)

Menü

Weitere Dienste

Einstellungen

Evidence for an odd-parity nematic phase above the charge-density-wave transition in a kagome metal

Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings

Belief Reconfiguration

Base-Based Model Checking for Multi-agent only Believing

A Principle-Based Analysis of Bipolar Argumentation Semantics

Contrastive Explanations for Answer-Set Programs

Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings

Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies

Formalizing Statistical Causality via Modal Logic

Short Boolean Formulas as Explanations in Practice

A New Class of Explanations for Classifiers with Non-binary Features

Deontic Equilibrium Logic with eXplicit Negation

First Steps Towards Taming Description Logics with Strings

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver

Robust Alternating-Time Temporal Logic

Concept Combination in Weighted DL

Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals

Truth and Preferences - A Game Approach for Qualitative Choice Logic

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases

Enhancing Temporal Planning by Sequential Macro-Actions

Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming

Splitting Techniques for Conditional Belief Bases in the Context of c-Representations

Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation

Non-standard Modalities in Paraconsistent Gödel Logic

Non-Normal Modal Description Logics

Suchergebnisse filtern