KR: Principles of Knowledge Representation and Reasoning

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
KR 2016 15th International Conference on Principles of Knowledge Representation and Reasoning
Apr 25, 2016 - Apr 29, 2016 Cape Town, South Africa Nov 28, 2015 (Nov 21, 2015)
KR 2012 13th International Conference on the Principles of Knowledge Representation and Reasoning
Jun 10, 2012 - Jun 14, 2012 Rome, Italy Dec 9, 2011 (Nov 30, 2011)
KR 2010 Twelfth International Conference on Principles of Knowledge Representation and Reasoning
May 9, 2010 - May 13, 2010 Toronto, Canada Nov 30, 2009
KR 2008 Eleventh International Conference on Principles of Knowledge Representation and Reasoning
Sep 16, 2008 - Sep 19, 2008 Sydney, NSW, Australia Apr 7, 2008 (Apr 3, 2008)
 
 

Present CFP : 2016

Taken from CFP at http://kr2016.cs.uct.ac.za/ ...


Topics of interest include, but are not limited to:

Argumentation
Belief revision and update, belief merging, etc.
Commonsense reasoning
Contextual reasoning
Description logics
Diagnosis, abduction, explanation
Inconsistency- and exception tolerant reasoning, paraconsistent logics
KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems
KR and data management, data analytics
KR and decision making, game theory, social choice
KR and machine learning, inductive logic programming, knowledge discovery and acquisition
KR and natural language processing
KR and the Web, Semantic Web
Logic programming, answer set programming, constraint logic programming
Nonmonotonic logics, default logics, conditional logics
Ontology formalisms and models
Philosophical foundations of KR
Preferences: modeling and representation, preference-based reasoning
Reasoning about action and change: action languages, situation calculus, causality
Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics
Reasoning systems and solvers, knowledge compilation
Spatial reasoning and temporal reasoning, qualitative reasoning
Uncertainty, representations of vagueness, many-valued and fuzzy logics
 

Related Resources

IEEE - ICKEA 2017   IEEE--2017 2nd International Conference on Knowledge Engineering and Applications (ICKEA 2017)--Ei Compendex and Scopus
IJCAI 2017   International Joint Conference on Artificial Intelligence
ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
ISCSIC 2017   2017 International Symposium on Computer Science and Intelligent Controls
NLPCC 2017   The Sixth Conference on Natural Language Processing and Chinese Computing (NLPCC 2017)
TIME 2017   24th International Symposium on Temporal Representation and Reasoning
CCISP 2017   2017 2nd International Conference on Communication, Image and Signal Processing
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
AIC 2017   5th International Workshop on Artificial Intelligence and Cognition
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning