Semantics for conditional literals via the SM operator

DOI10.1007/978-3-031-15707-3_20MaRDI QIDQ2694573zbMATH OpenOpenAlexFDO

Authors Zachary Hansen, Yuliya Lierler

Publication date 4 April 2023

Full work available at URL https://doi.org/10.1007/978-3-031-15707-3_20

zbMATH Keywords

ASPconditional literalssemantics

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Recommendations

• A Compositional Semantics for ‘If Then’ Conditionals
• A semantics for conditionals with default negation
• A compositional semantics for `even if' conditionals
• Proof-theoretic semantic values for logical operators
• Conditional terms in semantic programming
• Revision operator semantics: some order for the zoo of conditionals
• Semantics for positive/negative conditional rewrite systems
• Non-deterministic semantics for logics with a consistency operator
• Operational semantics with semicommutations
• scientific article; zbMATH DE number 67820

Cites work

• Arguing correctness of ASP programs with aggregates
• Connecting first-order ASP and the logic FO(ID) through reducts
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• Logic programs with stable model semantics as a constraint programming paradigm
• Modular answer set programming as a formal specification language
• Stable models and circumscription
• Thirteen Definitions of a Stable Model
• Verifying Tight Logic Programs with anthem and vampire

Describes a project that uses

Uses Software

• clasp
• iClingo
• Potassco
• Gringo
• Clingo

This page was built for publication: Semantics for conditional literals via the SM operator

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