International Conference on Knowledge Representation and Artificial Intelligence - (ICKRAI-25)


24th - 25th December, 2025 | Vancouver, Canada

Multi-format (In-person/Virtual)

Important Dates

Pre-registration Deadline

24th November, 2025

Paper Submission Deadline

4th December, 2025

Last Date Of Registration

9th December, 2025

Date Of Conference

24th - 25th December, 2025

Downloads

Call For Paper

The Research Leagues events aim to release a wide range of articles that provide insight and explore the latest advancements in engineering, medicine, social science, applied science, management etc.

Our conference practices methodological, conceptual, and epistemological diversity. But we prefer articles that effectively engage with current intellectual debates. We expect our participants to contribute innovative ideas, perspectives, and research methods.

Our events can potentially revolutionize the current paradigm and pave the way for growth and development. Those who intend to have their original findings and research published through our events should get an idea from the Author Guidelines, Rules for Presentation, and Instruction sections, before anything else.

Engineering Topics

  • 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

Indexing / Supported By: