theory and practice of logic programming (10)
theory & practice of logic programming (5)
new generation computing (4)
acm transactions on programming languages & systems (3)
ai communications (3)
journal of ambient intelligence and humanized computing (3)
acm transactions on design automation of electronic systems (2)
annals of mathematics & artificial intelligence (2)
annals of mathematics and artificial intelligence (2)
electronic notes in theoretical computer science (2)
journal of electronic testing (2)
journal of machine learning research (2)
2009 ieee international high level design validation and test workshop, high level design validation and test workshop, 2009. hldvt 2009. ieee international (1)
acm transactions on programming languages and systems (1)
compiler construction (1)
computer aided verification (9783642026577) (1)
computer safety, reliability & security: 34th international conference, safecomp 2015 delft, the netherlands, september 23-25, 2015. proceedings (1)
entcs: electronic notes in theoretical computer science (1)
inductive logic programming (1)
inductive logic programming: 24th international conference, ilp 2014, nancy, france, september 14-16, 2014, revised selected papers (1)
journal of ambient intelligence & humanized computing (1)
journal of electronic testing: theory and applications (1)
journal of electronic testing-theory and applications (1)
journal of logic programming (1)
journal of machine learning research (jmlr) (1)
logic for programming, artificial intelligence & reasoning (9783642162411) (1)
logic for programming, artificial intelligence, and reasoning (1)
logic programming (9780262257145) (1)
logic programming (9780262291248) (1)
logic programming (9780262291354) (1)
logic programming (9780262291439) (1)
logic programming (9780262291460) (1)
logic programming (9783540366355) (1)
logic programming (9783540746089) (1)
logic programming and nonmonotonic reasoning (1)
logics in artificial intelligence (1)
logics in artificial intelligence (9783642156748) (1)
practical aspects of declarative languages (9783642183775) (1)
practical aspects of declarative languages: 17th international symposium, padl 2015, portland, or, usa, june 18-19, 2015. proceedings (1)
practical aspects of declarative languages: 18th international symposium, padl 2016, st. petersburg, fl, usa, january 18-19, 2016. proceedings (1)
proceedings of the 11th acm sigplan conference: principles & practice of declarative programming (1)
proceedings of the 2003 acm sigplan conference: language, compiler & tool for embedded systems (1)
proceedings of the 7th international symposium: memory management (1)
proceedings of the conference: design, automation & test in europe (1)
proceedings of the sixth international symposium: automated analysis-driven debugging (1)
programming languages & systems (9783540297352) (1)
technical communications of the 32nd international conference on logic programming (1)
verification, model checking & abstract interpretation (9783540436317) (1)