scientific article; zbMATH DE number 7455702

MaRDI QIDQ5020959zbMATH OpenFDO

Authors Alex Brik

Publication date 11 January 2022

Full work available at URL https://arxiv.org/abs/2009.10236, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.8

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Hybrid ASP
• Partial compilation of ASP programs
• Experimenting with parallelism for the instantiation of ASP programs
• Forward chaining for hybrid ASP
• Logic Programming and Nonmonotonic Reasoning
• Debugging ASP Programs by Means of ASP
• Parallel instantiation of ASP programs: techniques and experiments
• Domain expansion for ASP-programs with external sources
• Efficient parallel ASP instantiation via dynamic rewriting
• Multi-threaded ASP solving with clasp

Cites work

• Action language Hybrid AL
• Diagnosing data pipeline failures using action languages
• Diagnostic reasoning with A-Prolog
• Erratum to: ``Reasoning with infinite stable models
• Hybrid ASP
• Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27--30, 2015. Proceedings
• Modeling biological networks by action languages via answer set programming
• Reasoning with infinite stable models
• The Semantics of Predicate Logic as a Programming Language

Describes a project that uses

Uses Software

• H-ASP PL

This page was built for publication:

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