Call for Paper

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