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

IJCAI 2017   International Joint Conference on Artificial Intelligence
ICAART 2017   9th International Conference on Agents and Artificial Intelligence
ECML-PKDD 2016   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
EvoKNOW 2017   Knowledge Incorporation in Evolutionary Computation
Special Issue GPEM 2016   Special Issue on Automated Design and Adaptation of Heuristics for Scheduling and Combinatorial Optimisation - Genetic Programming and Evolvable Machines (Springer)
KRR@SAC 2017   Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
KI 2016   39th German Conference on Artificial Intelligence / Ă–GAI-Tagung 2016
TIME 2016   23rd International Symposium on Temporal Representation and Reasoning
CIKM 2017   The 26th 2017 ACM Conference on Information and Knowledge Management