Papers
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications
Bruno Lacerda, David Parker, Nick Hawes
Optimal Planning with Axioms
Franc Ivankovic, Patrik Haslum
Delete Relaxations for Planning with State-Dependent Action Costs
Florian Geißer, Thomas Keller, Robert Mattmüller
Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes
Enrique Fernandez-Gonzalez, Erez Karpas, Brian C. Williams
Synthesis for LTL and LDL on Finite Traces
Giuseppe De Giacomo, Moshe Vardi
Estimating the Probability of Meeting a Deadline in Hierarchical Plans
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
On the Online Generation of Effective Macro-Operators
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey
Exploiting Block Deordering for Improving Planners Efficiency
Lukáš Chrpa, Fazlul Hasan Siddiqui
A Privacy Preserving Algorithm for Multi-Agent Planning and Search
Ronen Israel Brafman
Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours
Josef Bajada, Maria Fox, Derek Long
Further Connections Between Contract-Scheduling and Ray-Searching Problems
Spyros Angelopoulos
ASAP-UCT: Abstraction of State-Action Pairs in UCT
Ankit Anand, Aditya Grover, Mausam et al.
Tight Bounds for HTN Planning with Task Insertion
Ron Alford, Pascal Bercher, David W. Aha
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic
Natasha Alechina, Nils Bulling, Brian Logan et al.
Cost-Optimal and Net-Benefit Planning — A Parameterised Complexity View
Meysam Aghighi, Christer Bäckström
Exploiting Symmetries by Planning for a Descriptive Quotient
Mohammad Abdulaziz, Michael Norrish, Charles Gretton
An Ontology Matching Approach Based on Affinity-Preserving Random Walks
Chuncheng Xiang, Baobao Chang, Zhifang Sui
Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach
Daniil Mirylenka, Andrea Passerini, Luciano Serafini
How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases?
Salem Benferhat, Zied Bouraoui, Karim Tabia
Coherence Across Components in Cognitive Systems — One Ontology to Rule Them All
Gregor Behnke, Denis Ponomaryov, Marvin Schiller et al.
Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus
Daniele Alfarone, Jesse Davis
A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data
Guangyou Zhou, Tingting He, Jun Zhao et al.
Linking Heterogeneous Input Features with Pivots for Domain Adaptation
Guangyou Zhou, Tingting He, Wensheng Wu et al.
Representation Learning for Measuring Entity Relatedness with Rich Information
Yu Zhao, Zhiyuan Liu, Maosong Sun