Incremental Tabling in Support of Knowledge Representation and Reasoning

DOI10.1017/S1471068414000209zbMath1307.68023arXiv1405.3547OpenAlexW3102156954MaRDI QIDQ2931264

Terrance Swift

Publication date: 25 November 2014

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Incremental and Modular Context-sensitive Analysis

Uses Software

• YAP-Prolog
• XSB
• XcelLog

Cites Work

• The YAP Prolog system
• XSB: Extending Prolog with Tabled Logic Programming
• An overview of Ciao and its design philosophy
• Making prolog more expressive
• Efficient access mechanisms for tabled logic programs
• Tabled evaluation with delaying for general logic programs
• An abstract machine for efficiently computing queries to well-founded models
• Efficient tabling of structured data with enhanced hash-consing
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• A three-valued semantics for logic programmers

This page was built for publication: Incremental Tabling in Support of Knowledge Representation and Reasoning