artificial intelligence (45)
international journal of geographical information science (12)
fundamenta informaticae (8)
fuzzy sets and systems. an international journal in information science and engineering (8)
international journal of approximate reasoning (8)
information sciences (7)
fuzzy sets and systems (6)
fuzzy sets & systems (5)
information and computation (5)
theoretical computer science (5)
annals of mathematics and artificial intelligence (4)
computational intelligence (4)
computer journal (4)
international journal on artificial intelligence tools (4)
constraints (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
ieee transactions on computers (3)
information sciences. an international journal (3)
journal of artificial intelligence research (3)
journal of sichuan university. natural science edition. sichuan daxue xuebao. ziran kexue ban (3)
knowledge-based systems (3)
acm transactions on computational logic (2)
annals of mathematics & artificial intelligence (2)
autonomous agents and multi-agent systems (2)
chinese annals of mathematics. series a. shuxue niankan. a ji (2)
chinese journal of contemporary mathematics (2)
ieee transactions on computer-aided design of integrated circuits and systems (2)
information & computation (2)
logic and logical philosophy (2)
soft computing - a fusion of foundations, methodologies & applications (2)
2013 ieee 25th international conference on tools with artificial intelligence (1)
2013 ieee 25th international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2013 ieee 25th international conference on (1)
2020 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad), 2020 ieee/acm international conference (1)
2021 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee (1)
2022 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad)2022 ieee/acm international conference on (1)
2023 ieee international conference on quantum computing and engineering (qce), quantum computing and engineering (qce), 2023 ieee international conference on, qce (1)
2023 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad), 2023 ieee/acm international conference on (1)
acm international conference proceeding series (1)
autonomous agents & multi-agent systems (1)
computer safety, reliability & security: safecomp 2015 workshops, assure, decsos, isse, resa4ci & sassur, delft, the netherlands, september 22, 2015, proceedings (1)
pricai 2014: trends in artificial intelligence (1)
principles & practice of constraint programming (9783642335570) (1)
principles & practice of constraint programming: 21st international conference, cp 2015, cork, ireland, august 31 -- september 4, 2015, proceedings (1)
proceedings of the 18th sigspatial international conference: advances in geographic information systems (1)
proceedings of the aaai conference on artificial intelligence (1)
qm - quaestiones mathematicae (1)
quaestiones mathematicae (1)
relational & algebraic methods in computer science (1)
soft computing (1)
soft computing: a fusion of foundations, methodologies and applications (1)