International Conference on Knowledge Representation and Artificial Intelligence

• 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