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

TOTAL DOCUMENTS

(FIVE YEARS 30)

H-INDEX

(FIVE YEARS 2)

Published By Springer International Publishing

9783030221010, 9783030221027

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

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

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

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

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

Building and Combining Matching Algorithms

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

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

2019 ◽

pp. 523-541 ◽

Cited By ~ 1

Author(s):

Christophe Ringeissen

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

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

On Bounded-Memory Stream Data Processing with Description Logics

Strong Explanations for Nonmonotonic Reasoning

Perceptual Context in Cognitive Hierarchies

A KLM Perspective on Defeasible Reasoning for Description Logics

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

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

Building and Combining Matching Algorithms

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