KR Track
Call for papers
Knowledge Representation and Reasoning (KRR) is an exciting, central, and well-established area of Artificial Intelligence. In KRR, a fundamental assumption is that an agent's knowledge is explicitly represented, and is amenable for processing by domain-independent reasoning engines.
The notion of "knowledge" in KRR is broadly taken and includes not just an agent's beliefs, but also its preferences, intentions, assumptions, goals, and any other phenomena that allows a declarative representation.
As well, the notion of "reasoning" in KRR is similarly broadly taken and includes not just classical deductive inference, but also nonmonotonic, plausible, qualitative, probabilistic, and other forms of principled
reasoning.
The assumption that much of the information that an agent deals with is knowledge-based is common in many modern intelligent systems. Consequently, KRR has contributed to the foundations of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering.
More recently KRR techniques and approaches have been applied in fields such as the semantic web, computational biology, software agents, question answering and video understanding.
We invite authors to submit papers presenting original and unpublished research on Knowledge Representation and Reasoning. We solicit papers that contribute to the formal foundations of relevant areas or that show the applicability of results to implemented or implementable systems.
KRR papers in IJCAI 2015 will be organized under a special KRR track with an aim to particularly welcome KRR papers that address AI as a whole as well as KRR papers that arise from other areas of AI, in addition to the traditional KRR papers. In addition, papers that raise novel KRR questions, rather than only providing solutions to existing KRR questions, will be especially welcome.
Topics of interest include, but are not limited to:
- Action, change, causality and causal reasoning
- Argumentation
- Belief change: revision and update, belief merging, information fusion
- Contextual reasoning
- Deployed KR systems
- Description logics
- Diagnosis, abduction, explanation finding
- Inconsistency and exception tolerant reasoning, paraconsistent logics
- KR and data management, ontology-based data access, queries and updates over incomplete data
- KR and de/heory, economic models
- KR and the web
- KR and general game playing
- KR in video games, virtual environments
- KR in image and video understanding
- KR in machine learning, inductive logic programming, knowledge discovery and acquisition
- KR in natural language understanding and question answering
- KR in software engineering
- Logic programming, answer set programming, constraint logic programming
- Multi-agent systems, autonomous agents, cognitive robotics, logical models of agency
- Nonmonotonic logics, default logics, conditional logics
- Ontology languages and modeling
- Philosophical foundations of KR
- Preference modeling and representation, reasoning about preferences, preference-based reasoning
- Qualitative reasoning, reasoning about physical systems
- Reasoning about knowledge and belief, epistemic and doxastic logics
- Reasoning about norms and organizations, social knowledge and behavior
- Reasoners and solvers: theorem provers, SAT solvers, QBF solvers, and others.
- Spatial reasoning and temporal reasoning
- Tractable languages and knowledge compilation
- Uncertainty, representations of vagueness, many-valued and fuzzy logics, relational probability models
SUBMISSION DETAILS
*New* We have reached an agreement with most major conferences to jointly filter out similar papers that are submitted to multiple conferences without noticing the organizers. Please note that multiple submission are not allowed.
All papers submitted to the KR track are regarded as regular submissions to IJCAI 2015. Please consult the main IJCAI 2015 Call For Papers at /
Submission Link: http://ijcai15-kr.confmaster.net/
We do not accept supplementary materials to extend the paper in IJCAI 15
IJCAI 2015 KR Track Co-chairs
James Delgrande, Simon Fraser University, Canada
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
Area Chairs
Adnan Darwiche, University of California, Los Angels, USA
Ulle Endriss, University of Amsterdam, The Netherlands
Thomas Eiter, TU Wien, Vienna, Austria
Tony Hunter, University College London, London, UK
Pierre Marquis, CRIL-CNRS/Universití© d'Artois, France
Sheila McIlraith, University of Toronto, Toronto, Canada
Frank Wolter, University of Liverpool, Liverpool, UK
Yan Zhang, University of Western Sydney, Sydney, Australia
Program Committee
Alferes, José, Universidade Nova de Lisboa
Alviano, Mario, University of Calabria
Artale, Alessandro, Free University Bozen-Bolzano
Baier, Jorge, Pontificia Universidad Católica de Chile
Balduccini, Marcello, Drexel University
Baumann, Ringo, University of Leipzig
Belle, Vaishak, KU Leuven
Bertossi, Leo, Carleton University
Bhatt, Mehul, University of Bremen
Black, Elizabeth, King\'s College London
Bogaerts, Bart, KU Leuven
Bonatti, Piero , University of Naples Federico II
Booth, Richard, Mahasarakham University
Borgida, Alex, Rutgers University
Borgwardt, Stefan, Technische Universität Dresden
Bova, Simone, Vienna University of Technology
Bresolin, Davide, University of Bologna
Broda, Krysia, Imperial College London
Cabalar, Pedro, Corunna University
Calvanese, Diego, Free University of Bozen-Bolzano
Caminada, Martin, University of Aberdeen
Casini, Giovani, CSIR Meraka and University of Pretoria
Cerutti, Federico, University of Aberdeen
Chang, Liang, Guilin University of Electronic and Technolog
Chevaleyre, Yann, LIPN, U. Paris Nord, France
Choi, Arthur, UCLA
Claßen, Jens, RWTH Aachen University
Cornuejols, Antoine, AgroParisTech, France
Croitoru, Madalina, LIRMM
Davies, Jessica, IST Austria
Davis, Ernest, NYU
De Vos, Marina, University of Bath
Denecker, Marc, KU Leuven
Denis, Pascal, LIFL, INRIA Lille, France
Doutre, Sylvie, IRIT - University of Toulouse 1
Du, Jianfeng, Guangdong University of Foreign Studies,China
Dunne, Paul, University of Liverpool
Dvorak, Wolfgang, University of Vienna
Ellmauthaler, Stefan, Leipzig University
Errecalde, Marcelo, Universidad Nacional de San Luis
Faber, Wolfgang, University of Huddersfield
Fan, Xiuyi, Imperial College London
Fan, James, IBM
Farinas, Luis, University of Toulouse
Fazel-Zarandi, Maryam, Nuance Communications
Fazzinga, Bettina, University of Calabria, Italy
Felli, Paolo, The University of Melbourne
Ferraris, Paolo, Google Inc
Ferretti, Edgardo, Universidad Nacional de San Luis
Formisano, Andrea, Univ. di Perugia
Forth, Jeremy, IWEng Consulting
Fritz, Christian, PARC
Gabaldon, Alfredo, GE Global Research
Gaggl, Sarah, TU Dresden
Gao, Yang, Imperial College London
Garcia, Laurent, University of Angers. France
Gaudel, Romaric, CRISTAL (UMR 9189, univ. Lille/CNRS)
Gebser, Martin, University of Potsdam
Giordano, Laura, Università del Piemonte Orientale
Goasdoué, François, Université de Rennes 1
Gonçalves, Ricardo, NOVALINCS, Universidade Nova de Lisboa
Gonzales, Christophe, LIP6 - UPMC
Grasso, Giovanni, Dep. of Computer Science University of Oxford
Grastien, Alban, NICTA & ANU
Grossi, Davide, University of Liverpool
Haemmerle, Remy, IMDEA Software Institute
Harrison, Amelia, University of Texas at Austin
Heintz, Fredrik, Linkoping University
Hernich, Andre, University of Liverpool
Horridge, Matthew, Stanford University
Hunter, Aaron, British Columbia Institute of Technology
Ivanovska, Magdalena, Department of Informatics, University of Oslo
Janhunen, Tomi, Aalto University, Finland
Jiang, Guifei, University of Western Sydney
Junker, Ulrich, Independent
Kakas, Antonis, University of Cyprus
Kalech, Meir, Ben gurion University
Kaminski, Mark, University of Oxford
Kazakov, Yevgeny, University of Ulm
Kern-Isberner, Gabriele, TU Dortmund
Kharlamov, Evgeny, University of Oxford
Knorr, Matthias, NOVA LINCS, Universidade Nova de Lisboa
Konev, Boris, University of Liverpool
Konieczny, Sébastien, CRIL - CNRS
Kontchakov, Roman, Birkbeck, University of London
Kostylev, Egor, University of Oxford
Krötzsch, Markus, TU Dresden
Kupke, Clemens, University of Strathclyde
Lackner, Martin, Vienna University of Technology
Lagniez, Jean-Marie, CRIL-CNRS and Université d'Artois
Lembo, Domenico, Sapienza University of Rome
Lenzerini, Maurizio, Sapienza Univ. Roma, Italy
Lesperance, Yves, York Univ. Toronto, Canada
Li, Sanjiang, University of Technology, Sydney
Li, Jason, Australian National University
Liao, Beishui, Zhejiang University
Lierler, Yuliya, University of Nebraska at Omaha
Lippi, Marco, Bologna University
Liu, Yongmei, Sun Yat-sen University
Liu, Fenrong, Qinghua University
Magnin, Morgan, IRCCyN, ECN
Manna, Marco, University of Calabria
Maratea, Marco, University of Genova
Martinez, Maria Vanina, Univ. Nacional del Sur and CONICET, Argentina
Mediano, Pedro, Imperial College London
Meert, Wannes, KU Leuven
Meng, Yunsong, Samsung Research America
Mengin, Jerome, Insitut de Rech. en Informatique de Toulouse
Mercer, Robert, University of Western Ontario
Meyer, Thomas, CSIR Meraka
Michaliszyn, Jakub, Imperial College London
Mileo, Alessandra, INSIGHT Research Center
Molinaro, Cristian, University of Calabria, Italy
Morgenstern, Leora, Leidos
Mossakowski, Till, University of Magdeburg
Motik, Boris, University of Oxford
Mugnier, Marie-Laure, Université de Montpellier
Musliu, Nysret, Vienna University of Technology
Nenov, Yavor, University of Oxford
Niepert, Mathias, University of Washington, Seattle
Nikitina, Nadeschda, University of Oxford, UK
Niveau, Alexandre, University of Caen
Nouioua, Farid, LSIS UMR CNRS 7296
Ojeda-Aciego, Manuel, Universidad de Málaga
Okimoto, Tenda, Kobe University
Ordyniak, Sebastian, Masaryk University
Oren, Nir, University of Aberdeen
Ortiz, Magdalena, Vienna University of Technology
Oztok, Umut, UCLA
Ozturk, Meltem, Université Paris Dauphine
Palla, Ravi, GE Global Research
Papini, Odile, Aix-Marseille University
Patrizi, Fabio, Univ. Bolzano, Italy
Pearce, Adrian, University of Melbourne, Australia
Peñaloza, Rafael, TU Dresden
Peppas, Pavlos, University of Patras
Perri, Simona, University of Calabria
Perrussel, Laurent, University of Toulouse
Pieris, Andreas, Vienna University of Technology
Pino Pérez, Ramón, Universidad de Los Andes, Mérida
Poggi, Antonella, Sapienza University of Rome
Polberg, Sylwia, Vienna University of Technology
Pontelli, Enrico, New Mexico State University
Prakken, Henry, Utrecht University
Pratt-Hartmann, Ian, University of Manchester
Predoiu, Livia, University of Oxford, UK
Puehrer, Joerg, Leipzig University
Qi, Guilin, CSE, Southeast University, Nanjing
Razgon, Igor, Birkbeck University of London
Ricca, Francesco, University of Calabria
Romero, Javier, University of Potsdam
Rümmele, Stefan, Vienna University of Technology
Russo, Alessandra, Imperial College London
Ryzhikov, Vladislav, Free University of Bozen - Bolzano
Sakama, Chiaki, Wakayama University
Santhanam, Ganesh Ram, Iowa State University
Saubion, Frederic, LERIA, U. Angers, France
Schlohbach, Stefan, Vrije Universiteit Amsterdam
Schrijvers, Tom, KU Leuven
Schüller, Peter, Marmara University
Schulz, Claudia, Imperial College London
Schwind, Nicolas, Transdisciplinary Research Integration Center
Shen, Yi-Dong, Chinese Academy of Sciences
Shen, Yuping, Institute of Logic and Cognition
Simari, Gerardo, Univ. Nacional del Sur and CONICET, Argentina
Simkus, Mantas, Vienna University of Technology
Singh, Sameer, University of Washington
Strass, Hannes, Leipzig University
Su, Kaile, Griffith University
Tecuci, Dan, IBM
Ternovska, Eugenia, Simon Fraser University (SFU)
Terracina, Giorgio, University of Calabria
Thomazo, Michaël, TU Dresden
Tohme, Fernando, Universidad Nacional del Sur
Turhan, Anni-Yasmin, TU Dresden
Ulliana, Federico, University of Montpellier 2
van der Torre, Leendert, University of Luxembourg
Vassos, Stavros, Sapienza University of Rome
Veltri, Pierfrancesco, University of Calabria
Vennekens, Joost, KU Leuven
Vesic, Srdjan, CRIL, CNRS - Univ. Artois
Villata, Serena, INRIA Sophia Antipolis
Wallner, Johannes, TU Vienna
Wan, Hai, School of Software, Sun Yat-sen University
Wang, Zhe, Griffith University
Wang, Yisong, Guizhou University
Wassermann, Renata, University of Sao Paulo
Weissenbacher, Georg, Vienna University of Technology
Wu, Maonian, Huzhou University
Yang, Fangkai, Schlumberger Ltd
You, Jia-Huai, University of Alberta
Young, Anthony , King\'s College London
Zamani, Zahra, Telstra
Zhang, Heng, University of Western Sydney, Sydney, Australia
Zhou, Yi, Artificial Intelligence Research Group
Zhuang, Zhiqiang, Griffith University
KR Track