Theory And Practice Of Logic Programming
Publication date:
2021-11-12
24
Publisher:
Cambridge University Press (CUP)
Author:
Vandevelde, Simon
Aerts, Bram ; Vennekens, Joost
Keywords:
Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Logic, Computer Science, Science & Technology - Other Topics, decision model and notation, constraint reasoning, expressiveness, readability, IDP system, MODELS, C24/17/047#54270818, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, 0803 Computer Software, Computation Theory & Mathematics, 4602 Artificial intelligence, 4613 Theory of computation