Stable-ordered models for propositional theories with order operators

DOI10.1007/978-3-030-19570-0_51MaRDI QIDQ2296765zbMATH OpenOpenAlexFDO

Authors Johannes Oetsch, Juan Carlos Nieves

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19570-0_51

zbMATH Keywords

knowledge representationnonmonotonic reasoningstable-model semanticstemporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Stable models and their computation for logic programming with inheritance and true negation
• Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models
• scientific article; zbMATH DE number 1114052
• Logic programs, well-orderings, and forward chaining
• The family of stable models

Cited in

(2)

• The model-theoretic ordinal analysis of theories of predicative strength
• scientific article; zbMATH DE number 3304005 (Why is no real title available?)

This page was built for publication: Stable-ordered models for propositional theories with order operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2296765)