IJCAI 2013

488 papers

Uniform Convergence, Stability and Learnability for Ranking Problems

Wei Gao, Zhi-Hua Zhou

Optimizing Cepstral Features for Audio Classification

Zhouyu Fu, Guojun Lu, Kai Ming Ting, Dengsheng Zhang

Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data Clustering

Wentao Fan, Nizar Bouguila

Towards Robust Co-Clustering

Liang Du, Yi-Dong Shen

Topic Extraction from Online Reviews for Classification and Recommendation

Ruihai Dong, Markus Schaal, Michael P. O’Mahony, Barry Smyth

Bootstrap Learning via Modular Concept Discovery

Eyal Dechter, Jon Malmaud, Ryan P. Adams Joshua B. Tenenbaum

A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget

Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti

Bayesian Nonparametric Feature Construction for Inverse Reinforcement Learning

Jaedeug Choi, Kee-eung Kim

Domain Adaptation with Topical Correspondence Learning

Zheng Chen, Weixiong Zhang

Generalized Relational Topic Models with Data Augmentation

Ning Chen, Jun Zhu, Fei Xia, Bo Zhang

Dimensionality Reduction with Generalized Linear Models

Mo Chen, Wei Li, Wei Zhang, Xiaogang Wang

Central Clustering of Categorical Data with Automated Feature Weighting

Lifei Chen, Shengrui Wang

Robust Tensor Clustering with Non-Greedy Maximization

Xiaochun Cao, Xingxing Wei, Yahong Han, Yi Yang, Dongdai Lin

Regularized Latent Least Square Regression for Cross Pose Face Recognition

Xinyuan Cai, Chunheng Wang, Baihua Xiao, Xue Chen, Ji Zhou

Exact Top-k Feature Selection via l2,0-Norm Constraint

Xiao Cai, Feiping Nie, Heng Huang

Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications

Radim Belohlavek, Martin Trnecka

Self-Organized Neural Learning of Statistical Inference from High-Dimensional Data

Johannes Bauer, Stefan Wermter

An Ensemble of Bayesian Networks for Multilabel Classification

Antonucci Alessandro, Giorgio Corani, Denis Mauá, Sandra Gabaglio

Learning Community-Based Preferences via Dirichlet Process Mixtures of Gaussian Processes

Ehsan Abbasnejad, Scott Sanner, Edwin V. Bonilla, Pascal Poupart

Definability of Horn Revision from Horn Contraction

Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang

First-Order Expressibility and Boundedness of Disjunctive Logic Programs

Heng Zhang, Yan Zhang

Most Specific Generalizations w.r.t. General EL-TBoxes

Benjamin Zarrieß, Anni-Yasmin Turhan

Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions

Quan Yu, Ximing Wen, Yongmei Liu

Supremal Realizability of Behaviors with Uncontrollable Exogenous Events

Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardina

Transition Constraints: A Study on the Computational Complexity of Qualitative Change

Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel

Forgetting for Answer Set Programs Revisited

Yisong Wang, Kewen Wang, mingyi zhang

Multi-Agent Subset Space Logic

Yì N. Wáng, Thomas Ågotnes

Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators

Yanjing Wang, Jie Fan

An Alternative Axiomatization of DEL and Its Applications

Yanjing Wang, Guillaume Aucher

A Classification of First-Order Progressable Action Theories in Situation Calculus

Stavros Vassos, Fabio Patrizi

Compact Rewritings for Existential Rules

Michaël Thomazo

A Rational Extension of Stable Model Semantics to the Full Propositional Language

Shahab Tasharrofi

Granular Description of Qualitative Change

John G. Stell

Nominal Schema Absorption

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

On Condensing a Sequence of Updates in Answer-Set Programming

Martin Slota, João Leite

Interpolative Reasoning with Default Rules

Steven Schockaert, Henri Prade

Combining RCC5 Relations with Betweenness Information

Steven Schockaert, Sanjiang Li

Efficient Extraction and Representation of Spatial Information from Video Data

Hajar Sadeghi Sokeh, Stephen Gould, Jochen Renz

Learning from Polyhedral Sets

Salvatore Ruggieri

Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering

David Poole, Mark Crowley

Behavioral Diagnosis of LTL Specifications at Operator Level

Ingo Pill, Thomas Quaritsch

Backdoors to Abduction

Andreas Pfandler, Stefan Rümmele, Stefan Szeider

The Route to Success – A Performance Comparison of Diagnosis Algorithms

Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa

Computing Stable Models for Nonmonotonic Existential Rules

Despoina Magka, Markus Krötzsch, Ian Horrocks

Ontology-Based Data Access with Closed Predicates Is Inherently Intractable (Sometimes)

Carsten Lutz, Inanç Seylan, Frank Wolter

Preference-Based Query Answering in Datalog+/– Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari

An Epistemic Halpern–Shoham Logic

Alessio R. Lomuscio, Jakub Michaliszyn

Analogico-Deductive Generation of Gödel’s First Incompleteness Theorem from the Liar Paradox

John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson

Reasoning about State Constraints in the Situation Calculus

Naiqi Li, Yi Fan, Yongmei Liu

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

Joohyung Lee, Yunsong Meng

Action Language BC: Preliminary Report

Joohyung Lee, Vladimir Lifschitz, Fangkai Yang

StarVars—Effective Reasoning about Relative Directions

Jae Hee Lee, Jochen Renz, Diedrich Wolter

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals

Gerhard Lakemeyer, Hector J. Levesque

Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC

Agnieszka Kułacka, Dirk Pattinson, Lutz Schröder

Parameterized Complexity of Optimal Planning: A Detailed Map

Martin Kronegger, Andreas Pfandler, Reinhard Pichler

Knowledge Compilation for Model Counting: Affine Decision Trees

Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas

Implicit Learning of Common Sense for Reasoning

Brendan Juba

Iterated Boolean Games

Julian Gutierrez, Paul Harrenstein, Michael Wooldridge

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols

Sergio Greco, Cristian Molinaro, Irina Trubitsyna

A Strongly-Local Contextual Logic

Michael James Gratton

Advanced Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Representation and Reasoning about General Solid Rectangles

Xiaoyu Ge, Jochen Renz

On the Complexity of Probabilistic Abstract Argumentation

Bettina Fazzinga, Sergio Flesca, Francesco Parisi

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

Luis Fariñas del Cerro, David Pearce, Agustín Valverde

Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues

Hélène Fargier, Pierre Marquis, Nicolas Schmidt

Towards a Knowledge Compilation Map for Heterogeneous Representation Languages

Hélène Fargier, Pierre Marquis, Alexandre Niveau

Data Repair of Inconsistent DL-Programs

Thomas Eiter, Michael Fink, Daria Stepanova

A Formal Account of Nondeterministic and Failed Actions

James P. Delgrande, Hector J. Levesque

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces

Giuseppe De Giacomo, Moshe Y. Vardi

Bounded Epistemic Situation Calculus Theories

Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi

Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence

Denver Dash, Mark Voortman, Martijn de Jongh

Computing Datalog Rewritings Beyond Horn Ontologies

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

Nadia Creignou, Reinhard Pichler, Stefan Woltran

Automated Reasoning to Infer All Minimal Keys

P. Cordero, M. Enciso, A. Mora

Verification of Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov

Abstract Dialectical Frameworks Revisited

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran

The Impact of Disjunction on Query Answering under Guarded-Based Existential Rules

Pierre Bourhis, Michael Morak, Andreas Pieris

Positive Subsumption in Fuzzy EL with General t-Norms

Stefan Borgwardt, Rafael Peñaloza

The Markov Assumption: Formalization and Impact

Alexander Bochman

Tractable Approximations of Consistent Query Answering for Robust Ontology-Based Data Access

Meghyn Bienvenu, Riccardo Rosati

Tractable Queries for Lightweight Description Logics

Meghyn Bienvenu, Magdalena Ortiz, Mantas Šimkus, Guohui Xiao

Conjunctive Regular Path Queries in Lightweight Description Logics

Meghyn Bienvenu, Magdalena Ortiz, Mantas Šimkus

First-Order Rewritability of Atomic Queries in Horn Description Logics

Meghyn Bienvenu, Carsten Lutz, Frank Wolter

Automating Quantified Conditional Logics in HOL

Christoph Benzmüller

Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs

Salem Benferhat, Célia da Costa Pereira, Andrea G. B. Tettamanzi

Reasoning about Continuous Uncertainty in the Situation Calculus

Vaishak Belle, Hector J. Levesque

Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems

Francesco Belardinelli, Alessio Lomuscio

Functional Stable Model Semantics and Answer Set Programming Modulo Theories

Michael Bartholomew, Joohyung Lee

Temporal Description Logic for Ontology-Based Data Access

Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Exchanging OWL 2 QL Knowledge Bases

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints

Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis

Verifiable Equilibria in Boolean Games

Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge

A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing

Debing Zhang, Genmao Yang, Yao Hu, Zhongming Jin, Deng Cai

Towards Rational Deployment of Multiple Heuristics in A*

David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas

Minimizing Writes in Parallel External Memory Search

Nathan R. Sturtevant, Matthew J. Rutherford

Forward Perimeter Search with Controlled Use of Memory

Thorsten Schütt, Robert Döbbelin, Alexander Reinefeld

Improved Bin Completion for Optimal Bin Packing and Number Partitioning

Ethan L. Schreiber, Richard E. Korf

Semiring-Based Mini-Bucket Partitioning Schemes

Emma Rollon, Javier Larrosa, Rina Dechter

Subset Selection of Search Heuristics

Chris Rayner, Nathan Sturtevant, Michael Bowling

Three Generalizations of the FOCUS Constraint

Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh