scientific article; zbMATH DE number 7453107

MaRDI QIDQ5020548

Yuliya Lierler, Craig Olson

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

An ASP-based Approach to Answering Natural Language Questions for Texts

Uses Software

• StanfordCoreNLP
• ALM
• VerbNet

Cites Work

• STRIPS: A new approach to the application of theorem proving to problem solving
• Modular action language
• <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>
• cr-models: An Inference Engine for CR-Prolog

This page was built for publication: