IJCAI 2015

646 papers

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks

Michael Sioutis, Sanjiang Li, Jean-François Condotta

MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis

Kostyantyn Shchekotykhin, Dietmar Jannach, Thomas Schmitz

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Qualitative Reasoning about Directions in Semantic Spaces

Steven Schockaert, Jae Hee Lee

Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis

Sebastian Sardina, Nicolas D'Ippolito

Characterization of the Expressivity of Existential Rule Queries

Sebastian Rudolph, Michaël Thomazo

Membership Constraints in Formal Concept Analysis

Sebastian Rudolph, Christian Sacarea, Diana Troanca

Execution Monitoring as Meta-Games for General Game-Playing Robots

David Rajaratnam, Michael Thielscher

Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks

Jörg Pührer

Did You Know? — Mining Interesting Trivia for Entities from Wikipedia

Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg

Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures

Nico Potyka, Matthias Thimm

On the Parameterized Complexity of Belief Revision

Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran

A Top-Down Compiler for Sentential Decision Diagrams

Umut Oztok, Adnan Darwiche

Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence

Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

Ontology-Mediated Queries with Closed Predicates

Carsten Lutz, Inanç Seylan, Frank Wolter

Automatic Verification of Partial Correctness of Golog Programs

Naiqi Li, Yongmei Liu

Query Rewriting for Existential Rules with Compiled Preorder

Mélanie König, Michel Leclère, Marie-Laure Mugnier

Efficient Paraconsistent Reasoning with Ontologies and Rules

Tobias Kaminski, Matthias Knorr, João Leite

Computing Horn Rewritings of Description Logics Ontologies

Mark Kaminski, Bernardo Cuenca Grau

Efficient Semantic Features for Automated Reasoning over Large Theories

Cezary Kaliszyk, Josef Urban, Jiri Vyskocil

On Forgetting Postulates in Answer Set Programming

Jianmin Ji, Jia-Huai You, Yisong Wang

Simplifying A Logic Program Using Its Consequences

Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

Trust-Sensitive Belief Revision

Aaron Hunter, Richard Booth

Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion

Anthony Hunter

Schema.org as a Description Logic

Andre Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter

Merging in the Horn Fragment

Adrian Haret, Stefan Rümmele, Stefan Woltran

Efficient Query Rewriting in the Description Logic EL and Beyond

Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter

A Modification of the Halpern-Pearl Definition of Causality

Joseph Halpern

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider

Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability

Gianluigi Greco, Jérôme Lang

Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue

Georg Gottlob, Andreas Pieris

Polynomial Rewritings for Linear Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris

On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass

Computing Social Behaviours Using Agent Models

Paolo Felli, Tim Miller, Christian Muise, Adrian R. Pearce, Liz Sonenberg

The Combined Approach to Query Answering Beyond the OWL 2 Profiles

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks

Epistemic Equilibrium Logic

Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus

Liangda Fang, Yongmei Liu, Ximing Wen

A Logic for Reasoning about Justified Uncertain Beliefs

Tuan-Fang Fan, Churn-Jung Liau

Modular Systems with Preferences

Alireza Ensan, Eugenia Ternovska

The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms

Didier Dubois, Henri Prade, Agnès Rico

An Extension-Based Approach to Belief Revision in Abstract Argumentation

Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran

Combining Existential Rules with the Power of CP-Theories

Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska

On the Aggregation of Argumentation Frameworks

Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic

The Logic of Qualitative Probability

James Delgrande, Bryan Renne

Fixed-Parameter Tractable Reductions to SAT for Planning

Ronald de Haan, Martin Kronegger, Andreas Pfandler

Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic

Sofie De Clercq, Steven Schockaert, Ann Nowe, Martine De Cock

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies

Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

Extension Enforcement in Abstract Argumentation as an Optimization Problem

Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis

An Algebra of Granular Temporal Relations for Qualitative Reasoning

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions

Arthur Choi, Guy Van den Broeck, Adnan Darwiche

Probabilistic Belief Contraction Using Argumentation

Kinzang Chhogyal, Abhaya Nayak, Zhiqiang Zhuang, Abdul Sattar

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese, Marco Montali, Ario Santoso

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies

Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski

Logic Program Termination Analysis Using Atom Sizes

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Temporal Query Answering in the Description Logic EL

Stefan Borgwardt, Veronika Thost

The Complexity of Subsumption in Fuzzy EL

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza

On the Entailment Problem for a Logic of Typicality

Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak

Policies that Generalize: Solving Many Planning Problems with the Same Policy

Blai Bonet, Hector Geffner

Complexity Results in Epistemic Planning

Thomas Bolander, Martin Holm Jensen, François Schwarzentruber

Partial Grounded Fixpoints

Bart Bogaerts, Joost Vennekens, Marc Denecker

Compatible-Based Conditioning in Interval-Based Possibilistic Logic

Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich

Probabilistic Inference in Hybrid Domains by Weighted Model Integration

Vaishak Belle, Andrea Passerini, Guy Van den Broeck

ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains

Vaishak Belle, Hector Levesque

Only Knowing Meets Common Knowledge

Vaishak Belle, Gerhard Lakemeyer

Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results

Francesco Belardinelli, Wiebe van der Hoek

Answer Update for Rule-Based Stream Reasoning

Harald Beck, Minh Dao-Tran, Thomas Eiter

AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks

Ringo Baumann, Gerhard Brewka

Dealing with Generic Contrariness in Structured Argumentation

Pietro Baroni, Massimiliano Giacomin, Beishui Liao

Combining Existential Rules and Transitivity: Next Steps

Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher

Multi-Agent Only Knowing on Planet Kripke

Guillaume Aucher, Vaishak Belle

First-Order Rewritability of Temporal Ontology-Mediated Queries

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter

Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries

Marcelo Arenas, Gabriel Diéguez, Jorge Pérez

Combining Existential Rules and Description Logics

Antoine Amarilli, Michael Benedikt

Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective

Mario Alviano, Wolfgang Faber

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size

Mario Alviano, Carmine Dodaro, Francesco Ricca

A Crowdfunding Model for Green Energy Investment

Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia Sycara

Optimal Electric Vehicle Charging Station Placement

Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan

Fast Combinatorial Algorithm for Optimizing the Spread of Cascades

xiaojian wu, Daniel Sheldon, Shlomo Zilberstein

Copula Graphical Models for Wind Resource Estimation

Kalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O'Reilly

Abstract Routing Models and Abstractions in the Context of Vehicle Routing

René Schönfelder, Martin Leucker

Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation

Jose F. Ruiz-Muñoz, Mauricio Orozco Alzate, G. Castellanos-Dominguez

Approximately Stable Pricing for Coordinated Purchasing of Electricity

Andrew Perrault, Craig Boutilier

Secure Routing in Wireless Sensor Networks via POMDPs

Athirai A. Irissappane, Jie Zhang, Frans A. Oliehoek, Partha S. Dutta

Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs

Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga

On the Balance of Meter Deployment Cost and NILM Accuracy

Xiaohong Hao, Bangsheng Tang, Yongcai Wang

Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae

Maryam Ghasemi, Benjamin Lubin

When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing

Fei Fang, Peter Stone, Milind Tambe

α-min: A Compact Approximate Solver For Finite-Horizon POMDPs

Yann Dujardin, Tom Dietterich, Iadine Chades

Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data

Xi Chen, James H. Faghmous, Ankush Khandelwal, Vipin Kumar

Reasoning about Connectivity Constraints

Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh

Batch Reinforcement Learning for Smart Home Energy Management

Heider Berlink, Anna HR Costa

Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis

Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Dr Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala

A Personalised Thermal Comfort Model Using a Bayesian Network

Frederik Auffenberg, Sebastian Stein, Alex Rogers

Online Fair Division: Analysing a Food Bank Problem

Martin Damyanov Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh

Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning

Ning Xie, Tingting Zhao, Feng Tian, Xiao Hua Zhang, Masashi Sugiyama

Learning to Rap Battle with Bilingual Recursive Neural Networks

Dekai Wu, Karteek Addanki

Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops

Josep Valls-Vargas, Jichen Zhu, Santiago Ontanon

Aesthetic Visual Quality Evaluation of Chinese Handwritings

Rongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao

Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel?

Andreza Sartori, Yan Yan, Gözde Özbal, Alkim Almila Akdag Salah, Albert Ali Salah