Safe beliefs for propositional theories

DOI10.1016/J.APAL.2004.06.012zbMath1074.03013OpenAlexW2170515813MaRDI QIDQ1779312

Mauricio Osorio, Juan Antonio Navarro Pérez, José Ramón Enrique Arrazola Ramírez

Publication date: 1 June 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.06.012

zbMATH Keywords

logic programminganswer set semanticssafe beliefs

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (3)

Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version ⋮ Characterising equilibrium logic and nested logic programs: Reductions and complexity, ⋮ Equilibrium logic

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Nested expressions in logic programs
• Stable inference as intuitionistic validity
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Applications of intuitionistic logic in Answer Set Programming
• Strongly equivalent logic programs
• Logic and structure
• A general theory of confluent rewriting systems for logic programming and its applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Safe beliefs for propositional theories