Research search

Explore

Search All venues Deadlines Conference tracker About What Arrow tracks Contact [email protected]

Conferences

33

AAAI AAAI Conference on Artificial Intelligence AAMAS International Conference on Autonomous Agents and Multiagent Systems CSL Annual Conference on Computer Science Logic ECAI European Conference on Artificial Intelligence EUMAS European Conference on Multi-Agent Systems FOCS IEEE Symposium on Foundations of Computer Science FormaliSE IEEE/ACM International Conference on Formal Methods in Software Engineering FSCD International Conference on Formal Structures for Computation and Deduction Highlights Highlights of Logic, Games and Automata ICAART International Conference on Agents and Artificial Intelligence ICAPS International Conference on Automated Planning and Scheduling ICLR International Conference on Learning Representations ICML International Conference on Machine Learning ICRA IEEE International Conference on Robotics and Automation IJCAI International Joint Conference on Artificial Intelligence IROS IEEE/RSJ International Conference on Intelligent Robots and Systems JELIA European Conference on Logics in Artificial Intelligence KR International Conference on Principles of Knowledge Representation and Reasoning LOPSTR International Symposium on Logic-Based Program Synthesis and Transformation LORI Logic, Rationality and Interaction LPAR International Conference on Logic for Programming, Artificial Intelligence and Reasoning MFCS International Symposium on Mathematical Foundations of Computer Science NeSy International Conference on Neurosymbolic Learning and Reasoning NeurIPS Annual Conference on Neural Information Processing Systems RLC Reinforcement Learning Conference RLDM Multidisciplinary Conference on Reinforcement Learning and Decision Making SAT International Conference on Theory and Applications of Satisfiability Testing SoCS International Symposium on Combinatorial Search SODA ACM-SIAM Symposium on Discrete Algorithms STOC ACM Symposium on Theory of Computing TARK Conference on Theoretical Aspects of Rationality and Knowledge TIME International Symposium on Temporal Representation and Reasoning UAI Conference on Uncertainty in Artificial Intelligence

Journals

19

AIIM Artificial Intelligence in Medicine AIJ Artificial Intelligence AILAW Artificial Intelligence and Law EAAI Engineering Applications of Artificial Intelligence FLAP IfCoLog Journal of Logics and their Applications IS IEEE Intelligent Systems JAAMAS Autonomous Agents and Multi-Agent Systems JAIR Journal of Artificial Intelligence Research JBHI IEEE Journal of Biomedical and Health Informatics JMLR Journal of Machine Learning Research KER The Knowledge Engineering Review NAI Neurosymbolic Artificial Intelligence RLJ Reinforcement Learning Journal TAAS ACM Transactions on Autonomous and Adaptive Systems TCS Theoretical Computer Science TIST ACM Transactions on Intelligent Systems and Technology TMLR Transactions on Machine Learning Research YNICL NeuroImage: Clinical YNIMG NeuroImage

Workshops

7

EWRL European Workshop on Reinforcement Learning GandALF International Symposium on Games, Automata, Logics, and Formal Verification HAXP Human-Aware and Explainable Planning LAMAS&SR Logics and Strategic Reasoning in Multi-Agent Systems LFMTP International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice NMR International Workshop on Non-Monotonic Reasoning PRL Bridging the Gap Between AI Planning and Reinforcement Learning

Library collections

0

Sign in to start collecting paper collections across venues.

Arrow Research search

Search all venues

IfCoLog Journal of Logics and their Applications

journal · Logic in Computer Science · 633 papers · 2014-2026

Search this venue

Order by

0 results

No results match your current filters.

Try a different year or clear the search query.