Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming

DOI10.1007/11799573_28zbMath1131.68365OpenAlexW1596557244MaRDI QIDQ5449615

Juraj Dzifcak, Hiro Takahashi, Chitta R. Baral

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11799573_28

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

A Semantic Account for Modularity in Multi-language Modelling of Search Problems ⋮ Semantics of templates in a compositional framework for building logics ⋮ Unnamed Item ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ Modular Nonmonotonic Logic Programming Revisited ⋮ On syntactic forgetting under uniform equivalence ⋮ Answer Set Programming: A Primer

Uses Software

• HiLog
• Smodels
• swrl

This page was built for publication: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming