Event | When | Where | Deadline | |
ACM SAC - CSP-KR 2015 |
ACM SAC - Special track on Constraint Solving and Programming and Knowledge Representation and Reasoning | |
Apr 13, 2015 - Apr 17, 2015 |
Salamanca, Spain |
Sep 12, 2014 |
AAAI 2015 |
29th AAAI Conference on Artificial Intelligence | |
Jan 25, 2015 - Jan 29, 2015 |
Austin, Texas, USA |
Sep 15, 2014 (Sep 10, 2014) |
ESWC 2015 |
12th Extended Semantic Web Conference | |
May 31, 2015 - Jun 4, 2015 |
Portoroz, Slovenia |
Jan 19, 2015 (Jan 17, 2015) |
IJCAI 2015 |
International Joint Conference on Artificial Intelligence | |
Jul 28, 2015 - Aug 1, 2015 |
Buenos Aires, Argentina |
Feb 12, 2015 (Feb 8, 2015) |
KDD 2015 |
21th ACM SIGKDD Conference on Knowledge Discovery and Data Mining | |
Aug 10, 2015 - Aug 13, 2015 |
Sydney, Australia |
Feb 20, 2015 |
UAI 2015 |
31st Conference on Uncertainty in Artificial Intelligence | |
Jul 12, 2015 - Jul 16, 2015 |
Amsterdam, The Netherlands |
Mar 3, 2015 |
ISWC 2015 |
The 14th International Semantic Web Conference October 11-15, 2015 | |
Oct 11, 2015 - Oct 15, 2015 |
Bethlehem, Pennsylvania, USA |
Apr 30, 2015 (Apr 23, 2015) |
LICS 2017 |
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science | |
Jun 20, 2017 - Jun 23, 2017 |
Reykjavik, Iceland |
Jan 9, 2017 (Jan 3, 2017) |
LPAR 2017 |
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning | |
May 7, 2017 - May 12, 2017 |
Maun, Botswana |
Jan 15, 2017 (Jan 1, 2017) |
LPNMR 2017 |
14th International Conference on Logic Programming and Non-monotonic Reasoning | |
Jul 3, 2017 - Jul 6, 2017 |
Hanasaari, Espoo, Finland |
Feb 3, 2017 (Jan 17, 2017) |
ICALP 2017 |
44th International Colloquium on Automata, Languages, and Programming | |
Jul 10, 2017 - Jul 14, 2017 |
Warsaw, Poland |
Feb 17, 2017 |
IJCAI 2017 |
International Joint Conference on Artificial Intelligence | |
Aug 19, 2017 - Aug 25, 2017 |
Melbourne, Australia |
Feb 19, 2017 |
UAI 2017 |
Uncertainty in Artificial Intelligence | |
Aug 11, 2017 - Aug 15, 2017 |
Sydney, Australia |
Mar 1, 2017 |
FSCD 2017 |
FSCD 2017 : Second International Conference on Formal Structures for Computation and Deduction | |
Sep 3, 2017 - Sep 6, 2017 |
Oxford, UK |
Apr 14, 2017 (Apr 7, 2017) |
TABLEAUX 2017 |
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | |
Sep 26, 2017 - Sep 29, 2017 |
BrasÃlia, Brazil |
Apr 25, 2017 (Apr 18, 2017) |
KRR@SAC 2018 |
KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing) | |
Apr 9, 2018 - Apr 13, 2018 |
Pau, France |
Oct 1, 2017 |
|