journal of the acm (48)
artificial intelligence (42)
computer science logic (28)
acm transactions on database systems (25)
theoretical computer science (22)
robot cognition & navigation (18)
journal of computer and system sciences (16)
acm transactions on computational logic (13)
fundamenta informaticae (12)
annals of mathematics and artificial intelligence (11)
information systems (11)
information processing letters (9)
siam journal on computing (8)
ieee transactions on software engineering (6)
information and computation (6)
theory and practice of logic programming (6)
journal of artificial intelligence research (5)
journal of computer & system sciences (5)
journal of the association for computing machinery (5)
annals of mathematics & artificial intelligence (4)
annals of pure and applied logic (4)
communications of the acm (4)
european journal of combinatorics (4)
the journal of symbolic logic (4)
acm computing surveys (3)
acm transactions on information systems (3)
ai communications (3)
intelligenza artificiale (3)
international journal of computer mathematics (3)
logical methods in computer science (3)
mathematical logic quarterly (3)
new generation computing (3)
the vldb journal: the international journal on very large data bases (3)
theory of computing systems (3)
2010 25th annual ieee symposium on logic in computer science, logic in computer science (lics), 2010 25th annual ieee symposium on (2)
constraints: an international journal (2)
discrete applied mathematics (2)
encyclopedia of database systems (2)
formal methods in system design (2)
future generation computer systems (2)
journal of big data (2)
mathematical foundations of computer science 2010 (2)
mathematical foundations of computer science 2012 (2)
proceedings of the vldb endowment (2)
2009 international conference on advanced information networking and applications, advanced information networking and applications, 2009. aina '09. international conference on (1)
2011 ieee 27th international conference on data engineering, data engineering (icde), 2011 ieee 27th international conference on (1)
2019 ieee 35th international conference on data engineering (icde), data engineering (icde), 2019 ieee 35th international conference on (1)
2021 ieee 37th international conference on data engineering (icde), data engineering (icde), 2021 ieee 37th international conference on, icde (1)
2022 ieee 38th international conference on data engineering (icde), data engineering (icde), 2022 ieee 38th international conference on, icde (1)
ieee/wic/acm international conference on web intelligence (1)