research
∙
06/06/2023
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
This paper presents a rich knowledge representation language aimed at fo...
share
research
∙
08/17/2021
Thirty years of Epistemic Specifications
The language of epistemic specifications and epistemic logic programs ex...
research
∙
08/17/2015
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
This paper describes an architecture that combines the complementary str...
research
∙
05/19/2015
Modular Action Language ALM
The paper introduces a new modular action language, ALM, and illustrates...
research
∙
05/14/2014
Vicious Circle Principle and Logic Programs with Aggregates
The paper presents a knowledge representation language Alog which extend...
research
∙
05/05/2014
KR^3: An Architecture for Knowledge Representation and Reasoning in Robotics
This paper describes an architecture that combines the complementary str...
research
∙
01/08/2013
Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules
In this paper we continue the work on our extension of Answer Set Progra...
research
∙
01/08/2013