fundamenta informaticae (15)
artificial intelligence (8)
journal of artificial intelligence research (7)
autonomous agents and multi-agent systems (6)
international conference on autonomous agents (6)
theory of computing systems (6)
synthese (5)
ai communications (4)
journal of logic and computation (4)
annals of mathematics and artificial intelligence (3)
autonomous agents & multi-agent systems (3)
journal of applied non-classical logics (3)
journal of computer security (3)
proceedings of the 6th international joint conference: autonomous agents & multiagent systems (3)
ai 2013: advances in artificial intelligence (2)
bulletin of the polish academy of sciences: technical sciences (2)
information and computation (2)
journal of logic & computation (2)
models of strategic reasoning (2)
synthese. an international journal for epistemology, methodology and philosophy of science (2)
synthese: an international journal for epistemology, methodology and philosophy of science (2)
2016 3rd international workshop on emerging ideas & trends in engineering of cyber-physical systems (eitec) (1)
2016 3rd international workshop on emerging ideas and trends in engineering of cyber-physical systems (eitec), emerging ideas and trends in engineering of cyber-physical systems (eitec), 2016 3rd international workshop on (1)
acm transactions on computational logic (1)
advances in modal logic. vol. 14 (1)
ai communications. the european journal on artificial intelligence (1)
annals of mathematics & artificial intelligence (1)
computational logic in multi-agent systems (9783540888321) (1)
computational logic in multi-agent systems (9783642027338) (1)
computational logic in multi-agent systems (9783642406232) (1)
computational logic in multi-agent systems: 15th international workshop, clima xv, prague, czech republic, august 18-19, 2014. proceedings (1)
deontic logic in computer science (1)
electronic voting (1)
entcs: electronic notes in theoretical computer science (1)
handbook of epistemic logic (1)
ict systems security & privacy protection: 30th ifip tc 11 international conference, sec 2015, hamburg, germany, may 26-28, 2015, proceedings (1)
information & computation (1)
intelligent agents & multi-agent systems (9783540896739) (1)
intelligent systems'2014: proceedings of the 7th international conference intelligent systems ieee is'2014, september 24-26, 2014, warsaw, poland, volume 1: mathematical foundations, theory, analyses (1)
ki 2001: advances in artificial intelligence (vienna) (1)
ki 2006: advances in artificial intelligence (1)
lectures on logic & computation (1)
lectures on logic and computation (1)
multiagent system technologies (9783540878049) (1)
multi-agent systems & applications iv (1)
proceedings 2nd international workshop on strategic reasoning (1)
proceedings fourth international symposium on games, automata, logics and formal verification (1)
proceedings of the 6th workshop on methods for modalities (m4m-6 2009) (1)
theoretical computer science (1)
theoretical computer science (9783540291060) (1)