2009

 
 

International Joint Conference on Artificial Intelligence, 2009, Pasadena, California

IJCAI (International Joint Conference on Artificial Intelligence) is the premier international gathering of AI researchers and practitioners. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by International Joint Conferences on Artificial Intelligence (IJCAI) , and the national AI societies(s) of the host nation(s).

IJCAI also acts as the official host for the editorial operations of the Artificial Intelligence journal, through its Artificial Intelligence Journal Division.

Papers Accepted for IJCAI’09 from Liverpool’s Computer Science Department


Computational Properties of Resolution-based Grounded Semantics

Pietro Baroni, Paul Dunne, Massimiliano Giacomin


Forgetting and uniform interpolation in large-scale description logic terminologies

Frank Wolter, Boris Konev, Dirk Walther


Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers

Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev


Conjunctive Query Answering in EL using a Relational Database System

Carsten Lutz, David Toman, Frank Wolter


Anytime Coalition Structure Generation in Partition Function Games

Talal Rahwan, Tomasz Michalak, Nicholas R. Jennings, Peter McBurney, Michael Wooldridge


Dynamic selection of ontological alignments: a space reduction mechanism

Doran Paul, Valentina Tamma, Terry Payne, Ignazio Palmisano,


Knowing More -- from Global to Local Correspondence

Wiebe Van der Hoek, Hans Van Ditmarsch, Barteld Kooi