Search Results for author:
Found 9 papers, 0 papers with code
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
This paper presents a rich knowledge representation language aimed at formalizing causal knowledge.
Thirty years of Epistemic Specifications
The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective literals.
Vicious Circle Principle and Logic Programs with Aggregates
The paper presents a knowledge representation language $\mathcal{A}log$ which extends ASP with aggregates.
Vicious Circle Principle and Formation of Sets in ASP Based Languages
The paper continues the investigation of Poincare and Russel's Vicious Circle Principle (VCP) in the context of the design of logic programming languages with sets.
REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
This paper describes an architecture for robots that combines the complementary strengths of probabilistic graphical models and declarative programming to represent and reason with logic-based and probabilistic descriptions of uncertainty and domain knowledge.
Modular Action Language ALM
It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system description.
Vicious Circle Principle and Logic Programs with Aggregates
The paper presents a knowledge representation language $\mathcal{A}log$ which extends ASP with aggregates.
KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics
This paper describes an architecture that combines the complementary strengths of declarative programming and probabilistic graphical models to enable robots to represent, reason with, and learn from, qualitative and quantitative descriptions of uncertainty and knowledge.
