The KB paradigm and its application to interactive configuration

DOI10.1017/S1471068416000156zbMath1379.68306arXiv1605.01846MaRDI QIDQ4593081

Pieter van Hertum, Gerda Janssens, Ingmar Dasseville, Marc Denecker

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/1605.01846

zbMATH Keywords

interactive configuration; inferences; applications of declarative systems; knowledge-base paradigm

Mathematics Subject Classification ID

68T30: Knowledge representation

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

Related Items

A framework for step-wise explaining how to solve constraint satisfaction problems

Uses Software

• IDP3
• QUICKXPLAIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of diagnosis from first principles
• Simulating Dynamic Systems Using Linear Time Calculus Theories
• A tool for developing interactive configuration applications
• Well-founded and stable semantics of logic programs with aggregates
• Semantics of templates in a compositional framework for building logics
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3
• A logic of nonmonotone inductive definitions
• Debugging for Model Expansion
• A Tarskian Informal Semantics for Answer Set Programming
• Justifications for Logic Programs Under Answer Set Semantics
• Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic