Scholarly Research Excellence

ICMKRR 2018 : 20th International Conference on Methods in Knowledge Representation and Reasoning

Dubai, UAE
November 19 - 20, 2018

Call for Papers

ICMKRR 2018 : 20th International Conference on Methods in Knowledge Representation and Reasoning is the premier interdisciplinary platform for the presentation of new advances and research results in the fields of Methods in Knowledge Representation and Reasoning. The conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interest for submission include, but are not limited to:
  • Knowledge representation
  • Reasoning
  • Nonmonotonic reasoning
  • Qualitative modeling
  • Model-based problem solving
  • Bayesian networks
  • Physical reasoning
  • Temporal action logics
  • Nonmonotonic causal logic
  • Knowledge representation in applications
  • Knowledge representation and question answering
  • Automated planning
  • Cognitive robotics
  • Multi-agent systems
  • Primitives of knowledge representation
  • Meta-representation
  • Knowledge representation and semantics
  • Semantic technologies
  • Properties for knowledge representation systems
  • Knowledge representation techniques
  • General methods in knowledge representation and reasoning
  • Knowledge representation and classical logic
  • Constraint programming
  • Non-monotonic reasoning
  • Expressive adequacy
  • Reasoning efficiency
  • Artificial intelligence
  • Propositional logic
  • Predicate logic over finite models
  • Full first-order predicate logic
  • Belief revision/truth maintenance
  • Production systems
  • Rules in production systems
  • Description logic
  • Procedural control of reasoning
  • Object-oriented representation
  • Vagueness, uncertainty, and degrees of belief