Rome, Italy
Principles of Knowledge Representation and Reasoning
submission
submission
Jan 11-13
opens
ready
opens
Submission information
- KR 2012 Call for papers.
Submission
Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind.
AAAI author instructions:
http://www.aaai.org/Publications/Author/author.php
AAAI author kit:
http://www.aaai.org/Publications/Templates/AuthorKit.zip
The conference proceedings will be published by the AAAI Press.
A paper must be submitted on EASYCHAIR via the following URL:
A paper must be first registered with a title, abstract, and author information by November 30, 2011 (11:59 pm UTC-12), and the PDF file of the paper must be uploaded by December 9, 2011 (11:59 pm UTC-12). The final paper acceptance notifications will be sent out by February 3, 2012; an author rebuttal to reviews before the final decisions will be possible.
Topics and keyword assignment
For each submission, at least three keywords must be entered (free text), and the paper must be assigned to topics from a predefined list (see below). In this list, main (upper level) topics are marked with a leading underscore, e.g., "_automated reasoning", the other are more specific topics, e.g. "commonsense reasoning". Keywords should complement the information not available with the topics.Main (upper level) topics
- _applications
- _automated reasoning
- _complexity analysis
- _experimental analysis
- _formal analysis
- _knowledge representation
- _theoretical foundations
Specific topics
- abduction
- agents
- answer set programming
- argumentation
- auctions and market-based systems
- belief merging, revision and update
- causal reasoning
- cognitive robotics
- commonsense reasoning
- complexity and computation
- conditional logics
- constraint logic programming
- constraints
- contextual reasoning
- decision making
- decision theory
- default logics
- description logics
- diagnosis
- dynamic logic
- epistemic and doxastic logics
- explanation finding
- formal ontologies
- inconsistency- and exception tolerant reasoning
- inductive logic programming
- knowledge discovery and acquisition
- knowledge-based systems
- KR & autonomous agents
- KR & databases
- KR & game theory
- KR & machine learning
- KR & natural language processing
- KR & the Web
- logic programming
- many-valued and fuzzy logics
- markov decision processes
- modal logic
- model theory
- modeling and ontologies
- multi- and order-sorted representations and reasoning
- multi-agent systems
- natural language processing
- nonmonotonic logics
- nonmonotonic reasoning
- optimization
- paraconsistent logics
- philosophical foundations of KR
- planning
- preference modeling and representation
- preference-based reasoning
- qualitative reasoning
- query answering
- reasoning about actions and change
- reasoning about knowledge and belief
- reasoning about physical systems
- reasoning about plans and processes
- reasoning about preferences
- representations of vagueness
- robotics
- search
- semantic web
- similarity-based reasoning
- situation calculus
- social choice
- social networks
- spatial reasoning
- temporal reasoning
- uncertainty
- validation and verification