By George Katsirelos
INRA, Toulouse
France
Category: Call for papers
CFP: KR 2018
By Marcello Balduccini
Saint Joseph’s University
USA
Workshop Proposals: KR 2018 Workshops and Tutorials
By Marcello Balduccini,
Saint Joseph’s University
USA
KR 2018: Call for Tutorial and Workshop Proposals
By Marcello Balduccini,
Saint Joseph’s University
USA
CFP: 16th International Conference on Principles of Knowledge Representation and Reasoning
PRELIMINARY CALL FOR PAPERS *** KR 2018 *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 reasoning.eas.asu.edu/kr2018/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR], KR 2018 IMPORTANT DATES (Tentative)…
CFP: Foundations of Information and Knowledge Systems (FoIKS)
By Stefan Woltran,
Technical University of Vienna, Austria
CFP: CPP 2018
CALL FOR PAPERS The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018) co-located with POPL 2018 in cooperation with ACM SIGLOG http://popl18.sigplan.org/track/CPP-2018 8-9 January, 2018, Los Angeles, USA Certified Programs and Proofs (CPP) is an international…
TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/ Since its inception, logic programming has been recognized as an ideal paradigm for addressing the…
CFP: 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)
19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) The two best papers accepted for publication at PADL will be invited to submit an extended…
ICCMA’17 Call for Solvers
Second International Competition on Computational Models of Argumentation (ICCMA’17) Call for Solvers http://www.dbai.tuwien.ac.at/iccma17 Argumentation is a major topic in the study of artificial intelligence. In particular, the problem of solving certain reasoning tasks on Dung’s abstract argumentation frameworks is central…