المؤلفون: Antonius Weinzierl, Bart Bogaerts

المساهمون: Lang, Jérôme

المصدر: Vrije Universiteit Brussel
IJCAI

مصطلحات موضوعية: ta113, Ground, Programming language, Computer science, Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Set (abstract data type), Knowledge Representation and Reasoning: Non-monotonic Reasoning, Constraints and SAT: Constraints: Solvers and Tools, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7cb958c06ba687c0033ce20608b09dcf
https://lirias.kuleuven.be/handle/123456789/625567