Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030221010, 9783030221027

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Strong Explanations for Nonmonotonic Reasoning

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_6 ◽

2019 ◽

pp. 135-146

Author(s):

Gerhard Brewka ◽

Markus Ulbricht

Keyword(s):

Nonmonotonic Reasoning

Download Full-text

On Bounded-Memory Stream Data Processing with Description Logics

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_30 ◽

2019 ◽

pp. 639-660

Author(s):

Özgür Lütfü Özçep ◽

Ralf Möller

Keyword(s):

Data Processing ◽

Description Logics ◽

Stream Data ◽

Bounded Memory ◽

Stream Data Processing

Download Full-text

Initial Steps Towards a Family of Regular-Like Plan Description Logics

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_4 ◽

2019 ◽

pp. 90-109 ◽

Cited By ~ 1

Author(s):

Alexander Borgida

Keyword(s):

Description Logics

Download Full-text

Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_28 ◽

2019 ◽

pp. 588-609 ◽

Cited By ~ 1

Author(s):

Marco Wilhelm ◽

Gabriele Kern-Isberner

Keyword(s):

Maximum Entropy ◽

Description Logic ◽

Probabilistic Description

Download Full-text

Perceptual Context in Cognitive Hierarchies

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_16 ◽

2019 ◽

pp. 352-366

Author(s):

Bernhard Hengst ◽

Maurice Pagnucco ◽

David Rajaratnam ◽

Claude Sammut ◽

Michael Thielscher

Keyword(s):

Cognitive Hierarchies

Download Full-text

A KLM Perspective on Defeasible Reasoning for Description Logics

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_7 ◽

2019 ◽

pp. 147-173 ◽

Cited By ~ 2

Author(s):

Katarina Britz ◽

Giovanni Casini ◽

Thomas Meyer ◽

Ivan Varzinczak

Keyword(s):

Description Logics ◽

Defeasible Reasoning

Download Full-text

Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_15 ◽

2019 ◽

pp. 329-351

Author(s):

Olga Gerasimova ◽

Stanislav Kikot ◽

Michael Zakharyaschev

Keyword(s):

Data Complexity

Download Full-text

Effective Query Answering with Ontologies and DBoxes

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_14 ◽

2019 ◽

pp. 301-328

Author(s):

Enrico Franconi ◽

Volha Kerhet

Keyword(s):

Query Answering

Download Full-text

A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_1 ◽

2019 ◽

pp. 1-14

Author(s):

Carsten Lutz ◽

Uli Sattler ◽

Cesare Tinelli ◽

Anni-Yasmin Turhan ◽

Frank Wolter

Keyword(s):

Knowledge Representation ◽

Automated Deduction

Download Full-text

Pseudo-contractions as Gentle Repairs

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_18 ◽

2019 ◽

pp. 385-403

Author(s):

Vinícius Bitencourt Matos ◽

Ricardo Guimarães ◽

Yuri David Santos ◽

Renata Wassermann

Download Full-text

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All ThatLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Strong Explanations for Nonmonotonic Reasoning

On Bounded-Memory Stream Data Processing with Description Logics

Initial Steps Towards a Family of Regular-Like Plan Description Logics

Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$

Perceptual Context in Cognitive Hierarchies

A KLM Perspective on Defeasible Reasoning for Description Logics

Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna

Effective Query Answering with Ontologies and DBoxes

A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction

Pseudo-contractions as Gentle Repairs

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That
Latest Publications