9 citations · 19 across the 6 of their papers we have counts for
6 papers · 1 filter
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
Michael Gelfond, Jorge Fandinno, Evgenii Balai
This paper presents a rich knowledge representation language aimed at formalizing causal knowledge. This language is used for accurately and directly formalizing common benchmark e…
Thirty years of Epistemic Specifications
Jorge Fandinno, Wolfgang Faber, Michael Gelfond
The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective li…
Vicious Circle Principle and Formation of Sets in ASP Based Languages
Michael Gelfond, Yuanlin Zhang
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. We expand previ…
KR: An Architecture for Knowledge Representation and Reasoning in Robotics
Shiqi Zhang, Mohan Sridharan, Michael Gelfond +1
This paper describes an architecture that combines the complementary strengths of declarative programming and probabilistic graphical models to enable robots to represent, reason w…
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
Marcello Balduccini, Michael Gelfond
In this paper we continue the work on our extension of Answer Set Programming by non-Herbrand functions and add to the language support for arithmetic expressions and various inequ…
Diagnostic reasoning with A-Prolog
Marcello Balduccini, Michael Gelfond
In this paper we suggest an architecture for a software agent which operates a physical device and is capable of making observations and of testing and repairing the device's compo…