Stable-ordered models for propositional theories with order operators

DOI10.1007/978-3-030-19570-0_51OpenAlexW2944145474MaRDI QIDQ2296765FDOQ2296765

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

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

zbMATH Keywords

nonmonotonic reasoningtemporal logicknowledge representationstable-model semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (2)

• Title not available (Why is that?)
• The model-theoretic ordinal analysis of theories of predicative strength

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)