Semantics for conditional literals via the SM operator

DOI10.1007/978-3-031-15707-3_20OpenAlexW4293180021MaRDI QIDQ2694573

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

semanticsASPconditional literals

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Uses Software

• Gringo
• Potassco
• clasp
• Clingo
• iClingo

Cites Work

• Unnamed Item
• Stable models and circumscription
• Logic programs with stable model semantics as a constraint programming paradigm
• Arguing correctness of ASP programs with aggregates
• Connecting First-Order ASP and the Logic FO(ID) through Reducts
• Thirteen Definitions of a Stable Model
• Verifying Tight Logic Programs with anthem and vampire
• Modular Answer Set Programming as a Formal Specification Language

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