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

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

2
(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

2019 ◽  
pp. 135-146
Author(s):  
Gerhard Brewka ◽  
Markus Ulbricht
Keyword(s):  
Nonmonotonic Reasoning

scholarly journals Perceptual Context in Cognitive Hierarchies

2019 ◽  
pp. 352-366
Author(s):  
Bernhard Hengst ◽  
Maurice Pagnucco ◽  
David Rajaratnam ◽  
Claude Sammut ◽  
Michael Thielscher
Keyword(s):  
Cognitive Hierarchies

scholarly journals A KLM Perspective on Defeasible Reasoning for Description Logics

2019 ◽  
pp. 147-173 ◽  
Author(s):  
Katarina Britz ◽  
Giovanni Casini ◽  
Thomas Meyer ◽  
Ivan Varzinczak
Keyword(s):  
Description Logics ◽  
Defeasible Reasoning

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

2019 ◽  
pp. 329-351
Author(s):  
Olga Gerasimova ◽  
Stanislav Kikot ◽  
Michael Zakharyaschev
Keyword(s):  
Data Complexity

Effective Query Answering with Ontologies and DBoxes

2019 ◽  
pp. 301-328
Author(s):  
Enrico Franconi ◽  
Volha Kerhet
Keyword(s):  
Query Answering

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

2019 ◽  
pp. 1-14
Author(s):  
Carsten Lutz ◽  
Uli Sattler ◽  
Cesare Tinelli ◽  
Anni-Yasmin Turhan ◽  
Frank Wolter
Keyword(s):  
Knowledge Representation ◽  
Automated Deduction

scholarly journals Pseudo-contractions as Gentle Repairs

2019 ◽  
pp. 385-403
Author(s):  
Vinícius Bitencourt Matos ◽  
Ricardo Guimarães ◽  
Yuri David Santos ◽  
Renata Wassermann
Load More ...
Sign in / Sign up

Export Citation Format

Share Document