Tractable Reasoning Using Logic Programs with Intensional Concepts

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)


Recent developments triggered by initiatives such as the Semantic Web, Linked Open Data, the Web of Things, and geographic information systems resulted in the wide and increasing availability of machine-processable data and knowledge in the form of data streams and knowledge bases. Applications building on such knowledge require reasoning with modal and intensional concepts, such as time, space, and obligations, that are defeasible. E.g., in the presence of data streams, conclusions may have to be revised due to newly arriving information. The current literature features a variety of domain-specific formalisms that allow for defeasible reasoning using specific intensional concepts. However, many of these formalisms are computationally intractable and limited to one of the mentioned application domains. In this paper, we define a general method for obtaining defeasible inferences over intensional concepts, and we study conditions under which these inferences are computable in polynomial time.

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings
EditorsWolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
Place of PublicationCham
Number of pages17
ISBN (Electronic)978-3-030-75775-5
ISBN (Print)978-3-030-75774-8
Publication statusPublished - 2021
Event17th European Conference on Logics in Artificial Intelligence, JELIA 2021 - Virtual, Online
Duration: 17 May 202120 May 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12678 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference17th European Conference on Logics in Artificial Intelligence, JELIA 2021
CityVirtual, Online


Dive into the research topics of 'Tractable Reasoning Using Logic Programs with Intensional Concepts'. Together they form a unique fingerprint.

Cite this