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


8th - 9th October, 2025 | Toronto, Canada

Multi-format (In-person/Virtual)

Important Dates

Pre-registration Deadline

8th September, 2025

Paper Submission Deadline

18th September, 2025

Last Date Of Registration

23rd September, 2025

Date Of Conference

8th - 9th October, 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: