Knowledge authoring for rules and actions

DOI10.1017/S1471068423000169MaRDI QIDQ7027195zbMATH OpenFDO

Authors Yuheng Wang, Paul Fodor, Michael Kifer

Publication date 14 February 2025

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

Full work available at URL https://doi.org/10.1017/S1471068423000169

zbMATH Keywords

frame-based parsingknowledge authoringknowledge representationnatural-language understandingreasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Natural language processing (68T50)

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Logic Programming with Defaults and Argumentation Theories
• Logical foundations of object-oriented and frame-based languages
• Multi-shot ASP solving with clingo
• The DLV system for knowledge representation and reasoning
• XSB: extending Prolog with tabled logic programming

This page was built for publication: Knowledge authoring for rules and actions

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