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

DOI10.1007/11799573_28MaRDI QIDQ5449615zbMATH OpenOpenAlexFDO

Authors Juraj Dzifcak, Hiro Takahashi, Chitta 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)

Recommendations

• Modular nonmonotonic logic programming revisited
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Modularity in smodels Programs
• Modular answer set programming as a formal specification language
• Promoting modular nonmonotonic logic programs

Cited in

(8)

• Answer Set Programming: A Primer
• MACRAME: A problem formulation and model structuring assistant in multiactorial contexts
• Modular nonmonotonic logic programming revisited
• Semantics of templates in a compositional framework for building logics
• scientific article; zbMATH DE number 7455722 (Why is no real title available?)
• A semantic account for modularity in multi-language modelling of search problems
• On syntactic forgetting under uniform equivalence
• Adding Metalogic Features to Knowledge Representation Languages*

Describes a project that uses

Uses Software

• swrl
• Smodels
• HiLog

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

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