theory and practice of logic programming (20)
artificial intelligence (10)
international journal of approximate reasoning (10)
acm transactions on computational logic (9)
fundamenta informaticae (8)
theory & practice of logic programming (8)
journal of physiology (6)
logics in artificial intelligence (5)
synthese (5)
ai communications (4)
journal of artificial intelligence research (4)
journal of biological chemistry (4)
logic programming and nonmonotonic reasoning (4)
nephrology dialysis transplantation (4)
pflugers archiv: european journal of physiology (4)
annals of mathematics and artificial intelligence (3)
expert systems with applications (3)
procedia cirp (3)
acm transactions on computing education (2)
ai 2012: advances in artificial intelligence (2)
annals of mathematics & artificial intelligence (2)
british journal of pharmacology (2)
journal of ambient intelligence and humanized computing (2)
logic programming & nonmonotonic reasoning (9783642042379) (2)
logics in artificial intelligence (9783642156748) (2)
proceedings of the 2020 acm conference on innovation and technology in computer science education (2)
2017 14th ieee international conference on advanced video and signal based surveillance (avss), advanced video and signal based surveillance (avss), 2017 14th ieee international conference on (1)
2019 ieee 13th international conference on semantic computing (icsc), semantic computing (icsc), 2019 ieee 13th international conference on (1)
2020 ieee european technology and engineering management summit (e-tems), european technology and engineering management summit (e-tems), 2020 ieee (1)
2021 ieee international conference on autonomic computing and self-organizing systems companion (acsos-c), autonomic computing and self-organizing systems companion (acsos-c), 2021 ieee international conference on, acsos-c (1)
2021 ieee/acm 43rd international conference on software engineering: software engineering in society (icse-seis), software engineering: software engineering in society (icse-seis), 2021 ieee/acm 43rd international conference on, icse-seis (1)
acm transactions on computational logic (tocl) (1)
correct reasoning (1)
ergo-an open access journal of philosophy (1)
european journal of engineering education (1)
international conference computer graphics, visualization, computer vision & image processing (1)
international conference game & entertainment technologies (1)
international conference interfaces & human computer interaction (1)
journal of ambient intelligence & humanized computing (1)
logic programming & nonmonotonic reasoning (1)
logic programming & nonmonotonic reasoning (9783540721994) (1)
logic programming (9783540366355) (1)
practical aspects of declarative languages (9783540309475) (1)
practical aspects of declarative languages: 19th international symposium, padl 2017, paris, france, january 16-17, 2017, proceedings (1)
proceedings of the 11th acm sigplan conference on principles and practice of declarative programming (1)
proceedings of the 43rd international conference on software engineering: software engineering in society (1)
proceedings of the 51st acm technical symposium on computer science education (1)
proceedings of the 53rd acm technical symposium on computer science education (1)
proceedings of the annual meeting of the cognitive science society (1)
synthese: an international journal for epistemology, methodology and philosophy of science (1)