Search

Search Results

• Metaphysics of Planning Domain Descriptions

  Siddharth Srivastava, Stuart Russell, Alessandro Pinto

  2016-02-21

• Verifying ConGolog Programs on Bounded Situation Calculus Theories

  Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardina

  2016-02-21

• A Comparative Study of Ranking-Based Semantics for Abstract Argumentation

  Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet

  2016-02-21

• Generating CP-Nets Uniformly at Random

  Thomas Allen, Judy Goldsmith, Hayden Justice, Nicholas Mattei, Kayla Raines

  2016-02-21

• Zero-Suppressed Sentential Decision Diagrams

  Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata

  2016-02-21

• Ontology-Mediated Queries for NOSQL Databases

  Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana

  2016-02-21

• Using Decomposition-Parameters for QBF: Mind the Prefix!

  Eduart Eiben, Robert Ganian, Sebastian Ordyniak

  2016-02-21

• SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

  Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

  2016-02-21

• 'Knowing Whether' in Proper Epistemic Knowledge Bases

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

  2016-02-21

• Decidable Verification of Golog Programs over Non-Local Effect Actions

  Benjamin Zarrieß, Jens Claßen

  2016-02-21

• A First-Order Logic of Probability and Only Knowing in Unbounded Domains

  Vaishak Belle, Gerhard Lakemeyer, Hector Levesque

  2016-02-21

• SDDs Are Exponentially More Succinct than OBDDs

  Simone Bova

  2016-02-21

• Mapping Action Language BC to Logic Programs: A Characterization by Postulates

  Haodi Zhang, Fangzhen Lin

  2016-02-21

• The Complexity of LTL on Finite Traces: Hard and Easy Fragments

  Valeria Fionda, Gianluigi Greco

  2016-02-21

• Logical Foundations of Privacy-Preserving Publishing of Linked Data

  Bernardo Cuenca Grau, Egor Kostylev

  2016-02-21

• Basic Probabilistic Ontological Data Exchange with Existential Rules

  Thomas Lukasiewicz, Maria Vanina Martinez, Livia Predoiu, Gerardo I. Simari

  2016-02-21

• Beyond OWL 2 QL in OBDA: Rewritings and Approximations

  Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Savo, Alessandro Solimando, Guohui Xiao

  2016-02-21

• Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

  Johannes Wallner, Andreas Niskanen, Matti Järvisalo

  2016-02-21

• A Semantical Analysis of Second-Order Propositional Modal Logic

  Francesco Belardinelli, Wiebe van der Hoek

  2016-02-21

• Learning Abductive Reasoning Using Random Examples

  Brendan Juba

  2016-02-21

• Affinity Preserving Quantization for Hashing: A Vector Quantization Approach to Learning Compact Binary Codes

  Zhe Wang, Ling-Yu Duan, Tiejun Huang, Gao Wen

  2016-02-21

• Agenda Separability in Judgment Aggregation

  Jérôme Lang, Marija Slavkovik, Srdjan Vesic

  2016-02-21

• Boolean Functions with Ordered Domains in Answer Set Programming

  Mario Alviano, Wolfgang Faber, Hannes Strass

  2016-02-21

• Qualitative Spatio-Temporal Stream Reasoning with Unobservable Intertemporal Spatial Relations Using Landmarks

  Daniel de Leng, Fredrik Heintz

  2016-02-21

• Automated Verification and Tightening of Failure Propagation Models

  Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri

  2016-02-21