posted by user: rbadrinath || 26794 views || tracked by 40 users: [display]

KR 2016 : 15th International Conference on Principles of Knowledge Representation and Reasoning

FacebookTwitterLinkedInGoogle


Conference Series : Principles of Knowledge Representation and Reasoning
 
Link: http://kr2016.cs.uct.ac.za/
 
When Apr 25, 2016 - Apr 29, 2016
Where Cape Town, South Africa
Abstract Registration Due Nov 21, 2015
Submission Deadline Nov 28, 2015
Notification Due Jan 21, 2016
Final Version Due Feb 19, 2016
Categories    AI   knowledge representation
 

Call For Papers

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

AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
ICAART 2020   12th International Conference on Agents and Artificial Intelligence
CanadianAI 2020   33rd Canadian Conference on Artificial Intelligence
DSIS 2020   2nd ISSAT International Conference on Data Science and Intelligent Systems
LOPAL 2020   Second International Conference on Learning and Optimization Algorithms: Theory and Applications
DSBFI 2020   2nd ISSAT International Conference on Data Science in Business, Finance and Industry
KRR@SAC 2020   Knowledge Representation and Reasoning (track of the 35th ACM/SIGAPP Symposium On Applied Computing)
TIME 2019   26th International Symposium on Temporal Representation and Reasoning
POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020
FLAIRS 2020   The 33rd International FLAIRS Conference