Background

Nowadays, AI becomes a more and more applied science in various application domains. For this, techniques from the fields of autonomous agents, machine learning, user interfaces, software verification and computational linguistics are important. Also, automated deduction provides many well-defined general techniques and systems for theorem proving, model building, rewriting etc. which are ready for application.

Automated deduction may interact with AI in several ways: It provides a clean theoretical basis for an AI application, is used as part in a complex AI systems (or even outperforms other more specialized procedures). In the opposite direction, AI techniques can be used heuristically to improve the power of automated deduction systems. So, the workshop will focus on the question, how can the fields of automated deduction and AI benefit from each other.

The workshop shall bring together researchers in automated deduction and AI and its applications. Therefore, research and position papers are solicited that highlight the interchange of ideas from the fields of automated deduction and AI for solving an application problem, demonstrating the potential of general and/or specialized deduction techniques and systems for practical applications.

Scope

• Which AI topics should be attacked in a deductive framework?
• How does automated deduction improve AI techniques and systems?
• Which benefits are to be expected from automated deduction in the areas of e.g. autonomous agents, machine learning, user interfaces, software engineering or language technology?
• How should automated deduction change to meet the needs of these application areas?
• What could automated deduction gain from techniques used in the aforementioned areas?

Submissions

• extended abstracts describing original research not yet published elsewhere;
• position papers describing the author's research interests in the field, work in progress, and future directions of research;
• project or system descriptions.

Organization

Workshop Co-Chairs

Organization

Programme Committee

Timetable