The KB paradigm and its application to interactive configuration
From MaRDI portal
Publication:4593081
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
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Related Items
Uses Software
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