journal of automated reasoning (4)
social science computer review (4)
annals of mathematics and artificial intelligence (3)
expert systems with applications (3)
first monday (3)
nonprofit & voluntary sector quarterly (3)
ieee intelligent systems (2)
ieee security & privacy (2)
interactive theorem proving (2)
journal of applied logic (2)
journal of logic, language and information (2)
mathematical structures in computer science (2)
solar today (2)
2023 ieee 9th international conference on collaboration and internet computing (cic), collaboration and internet computing (cic), 2023 ieee 9th international conference on, cic (1)
advances in artificial intelligence: 9th mexican international conference on artificial intelligence, micai 2010, pachuca, mexico, november 8-13, 2010, proceedings, part i (1)
annals of mathematics & artificial intelligence (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
ieee intelligent systems, intelligent systems, ieee, ieee intell. syst. (1)
ieee security & privacy, security & privacy, ieee, ieee secur. privacy (1)
journal of logic, language, and information (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
nonprofit and voluntary sector quarterly (1)
proceedings of the 45th international acm sigir conference on research and development in information retrieval (1)
reasoning, action & interaction in ai theories & systems (1)
reasoning, action and interaction in ai theories and systems (1)
verification, induction, termination analysis (1)