scientific article; zbMATH DE number 7455702

MaRDI QIDQ5020959

Alex Brik

Publication date: 11 January 2022

Full work available at URL: https://arxiv.org/abs/2009.10236

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• H-ASP PL

Cites Work

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

This page was built for publication: