Papers
Sound, Complete, and Minimal Query Rewriting for Existential Rules
Mélanie König, Michel Leclère, Marie-Laure Mugnier et al.
Sparse Reconstruction for Weakly Supervised Semantic Segmentation
Ke Zhang, Wei Zhang, Yingbin Zheng et al.
StarVars—Effective Reasoning about Relative Directions
Jae Hee Lee, Jochen Renz, Diedrich Wolter
Statistical Parsing with Probabilistic Symbol-Refined Tree Substitution Grammars
Hiroyuki Shindo, Yusuke Miyao, Akinori Fujino et al.
Statistical Tests for the Detection of the Arrow of Time in Vector Autoregressive Models
Pablo Morales-Mombiela, Daniel Hernández-Lobato, Alberto Suárez
Strategic Interactions among Agents with Bounded Rationality
Pablo Hernandez-Leal, Enrique Munoz de Cote, L. Enrique Sucar
Subset Selection of Search Heuristics
Chris Rayner, Nathan Sturtevant, Michael Bowling
Sufficiency-Based Selection Strategy for MCTS
Stefan Freyr Gudmundsson, Yngvi Björnsson
Sufficient Plan-Time Statistics for Decentralized POMDPs
Frans A. Oliehoek
Supervised Hypothesis Discovery Using Syllogistic Patterns in the Biomedical Literature
Kazuhiro Seki, Kuniaki Uehara
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events
Nitin Yadav, Paolo Felli, Giuseppe De Giacomo et al.
Symbolic Merge-and-Shrink for Cost-Optimal Planning
Álvaro Torralba, Carlos Linares López, Daniel Borrajo
Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs
Salem Benferhat, Célia da Costa Pereira, Andrea G. B. Tettamanzi
Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC
Agnieszka Kułacka, Dirk Pattinson, Lutz Schröder
Synthesizing Union Tables from the Web
Xiao Ling, Alon Halevy, Fei Wu et al.
Tag-Weighted Topic Model for Mining Semi-Structured Documents
Shuangyin Li, Jiefei Li, Rong Pan
Target-Value Search Revisited
Carlos Linares López, Roni Stern, Ariel Felner
Temporal Description Logic for Ontology-Based Data Access
Alessandro Artale, Roman Kontchakov, Frank Wolter et al.
The Complexity of One-Agent Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary (Extended Abstract)
Tiziano Flati, Roberto Navigli
The Dynamics of Reinforcement Social Learning in Cooperative Multiagent Systems
Jianye Hao, Ho-fung Leung
The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning
Vikas Shivashankar, Ron Alford, Ugur Kuter et al.
The Impact of Disjunction on Query Answering under Guarded-Based Existential Rules
Pierre Bourhis, Michael Morak, Andreas Pieris
The Inclusion-Exclusion Rule and Its Application to the Junction Tree Algorithm
David Smith, Vibhav Gogate