answer set solving in practice (50)
theory and practice of logic programming (25)
logic programming and nonmonotonic reasoning (16)
theory & practice of logic programming (15)
artificial intelligence (10)
ai communications (8)
fundamenta informaticae (8)
computer safety, reliability & security: 34th international conference, safecomp 2015 delft, the netherlands, september 23-25, 2015. proceedings (7)
logic programming & nonmonotonic reasoning (9783540721994) (6)
logics in artificial intelligence (6)
logic programming & nonmonotonic reasoning (9783642042379) (5)
logic programming & nonmonotonic reasoning (9783642405631) (5)
ai magazine (4)
journal of logic and computation (4)
theoretical computer science (4)
acm transactions on computational logic (3)
machine learning (3)
statistics and computing (3)
2023 winter simulation conference (wsc), simulation conference (wsc), 2023 winter (2)
ai communications. the european journal on artificial intelligence (2)
journal of artificial intelligence research (2)
journal of logic & computation (2)
journal of parallel and distributed computing (2)
logic programming & nonmonotonic reasoning (2)
logic programming (9783540746089) (2)
logic programming (9783642028458) (2)
logics in artificial intelligence (9783642156748) (2)
logics in artificial intelligence: 14th european conference, jelia 2014, funchal, madeira, portugal, september 24-26, 2014. proceedings (2)
technical communications of the 32nd international conference on logic programming (2)
2010 22nd ieee international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2010 22nd ieee international conference on (1)
2022 14th international conference on advanced semiconductor devices and microsystems (asdam), advanced semiconductor devices and microsystems (asdam), 2022 14th international conference on (1)
2022 33rd annual semi advanced semiconductor manufacturing conference (asmc), semi advanced semiconductor manufacturing conference (asmc), 2022 33rd annual (1)
2022 winter simulation conference (wsc), winter simulation conference (wsc), 2022 (1)
27th international conference on principles and practice of constraint programming (1)
advances in knowledge representation, logic programming & abstract argumentation (1)
applications of declarative programming & knowledge management (9783642006746) (1)
correct reasoning (1)
foundations of information & knowledge systems (978-3-540-77683-3) (1)
integration of ai & or techniques in constraint programming for combinatorial optimization problems (9783642019289) (1)
international journal of reconfigurable computing (1)
journal of parallel & distributed computing (1)
ki - kunstliche intelligenz: german journal on artificial intelligence - organ des fachbereichs "kunstliche intelligenz" der gesellschaft fur informatik e.v. (1)
ki: kunstliche intelligenz (1)
logic for programming, artificial intelligence & reasoning (9783540305538) (1)
logic programming (9783540366355) (1)
logic programming, knowledge representation, and nonmonotonic reasoning (1)
logics in artificial intelligence: 15th european conference, jelia 2016, larnaca, cyprus, november 9-11, 2016, proceedings (1)
pricai 2014: trends in artificial intelligence (1)
recent advances in parallel virtual machine & message passing interface (9783642037696) (1)
technical communications of the 27th international conference on logic programming (1)