psmodels: Stable models based on pertinence

DOI10.1007/3-540-45402-0_35MaRDI QIDQ4800168zbMATH OpenFDO

Authors Ramón P. Otero

Publication date 18 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45402-0_35

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• Thirteen Definitions of a Stable Model
• R-stable models for logic programs
• Twelve Definitions of a Stable Model
• Stable models and difference logic
• Contributions to the stable model semantics of logic programs with negation

Cited in

(2)

• P-stable models of strong kernel programs
• Induction of stable models

This page was built for publication: psmodels: Stable models based on pertinence

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