<scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>

DOI10.1017/S1471068416000363zbMath1379.68296arXiv1608.02082OpenAlexW2963593184MaRDI QIDQ4593060

Daniela Inclezan

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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

zbMATH Keywords

dynamic domainsaction languageknowledge reusecommonsense library

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Action-Centered Information Retrieval

Uses Software

• WordNet
• ALM

Cites Work

• Unnamed Item
• Vicious Circle Principle and Logic Programs with Aggregates
• Modular action language
• Diagnostic reasoning with A-Prolog
• ASP with non-herbrand partial functions: a language and system for practical use

This page was built for publication: <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>