Published: 2015-09-01

Solving #SAT and MAXSAT by Dynamic Programming

Sigve Hortemo Sæther, Jan Arne Telle, Martin Vatshelle

59-82

Word vs. Class-Based Word Sense Disambiguation

Ruben Izquierdo, Armando Suarez, German Rigau

83-122

Leveraging Online User Feedback to Improve Statistical Machine Translation

Lluís Formiga, Alberto Barrón-Cedeño, Lluís Màrquez, Carlos A. Henríquez, José B. Mariño

159-192

Decision Making with Dynamic Uncertain Events

Meir Kalech, Shulamit Reches

233-275

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks

309-367

Continuing Plan Quality Optimisation

Fazlul Hasan Siddiqui, Patrik Haslum

369-435

Possible and Necessary Winners of Partial Tournaments

Haris Aziz, Markus Brill, Felix Fischer, Paul Harrenstein, Jerome Lang, Hans Georg Seedig

493-534

Compressing Optimal Paths with Run Length Encoding

Ben Strasser, Adi Botea, Daniel Harabor

593-629