Characterizing and extending answer set semantics using possibility theory

DOI10.1017/S147106841300063XzbMath1379.68041arXiv1312.0127OpenAlexW2104448458MaRDI QIDQ4592973

Dirk Vermeir, Kim Bauters, Martine De Cock, Steven Schockaert

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1312.0127

zbMATH Keywords

possibility theorylogic programminganswer set programming

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items (4)

Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ The Hurwicz Decision Rule’s Relationship to Decision Making with the Triangle and Beta Distributions and Exponential Utility ⋮ Syntax and semantics of multi-adjoint normal logic programming ⋮ Possibilistic nested logic programs and strong equivalence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Possibilistic uncertainty handling for answer set programming
• Semantical considerations on nonmonotonic logic
• Epistemic entrenchment and possibilistic logic
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• On the transformation between possibilistic logic bases and possibilistic causal networks
• Nonmonotonic reasoning, conditional objects and possibility theory
• A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
• Semantics for Possibilistic Disjunctive Programs
• Revisiting Epistemic Specifications
• Thirteen Definitions of a Stable Model
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Manifold Answer-Set Programs for Meta-reasoning
• The Boolean Hierarchy I: Structural Properties
• Autoepistemic logic
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Probability Theory
• Disjunctive logic programs with inheritance
• Logic in Computer Science
• Logic Programming
• Epistemic foundation of stable model semantics

This page was built for publication: Characterizing and extending answer set semantics using possibility theory