scientific article; zbMATH DE number 7453110

MaRDI QIDQ5020551

Daniela Inclezan

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• ALM
• VerbNet

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$
• Representing action and change by logic programs
• An ASP Methodology for Understanding Narratives about Stereotypical Activities
• Modular action language
• <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>
• Diagnostic reasoning with A-Prolog
• ASP with non-herbrand partial functions: a language and system for practical use
• cr-models: An Inference Engine for CR-Prolog

This page was built for publication: