LPAR (Yogyakarta)

Publications

2010

Franz Baader, Marcel Lippmann, Hongkai Liu
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. LPAR (Yogyakarta) (2010)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Partitioning SAT Instances for Distributed Solving. LPAR (Yogyakarta) (2010)
Pavel Klinov, Bijan Parsia, David Picado-Muiño
The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. LPAR (Yogyakarta) (2010)
Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. LPAR (Yogyakarta) (2010)
Franz Baader, Barbara Morawska
. LPAR (Yogyakarta) (2010)
Friedrich Neurauter, Harald Zankl, Aart Middeldorp
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting. LPAR (Yogyakarta) (2010)
Petros Papapanagiotou, Jacques D. Fleuriot
An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) (2010)
Joseph Y. Halpern
Awareness in Games, Awareness in Logic. LPAR (Yogyakarta) (2010)
Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya
Improving Resource-Unaware SAT Solvers. LPAR (Yogyakarta) (2010)
Taus Brock-Nannestad, Carsten Schürmann
Focused Natural Deduction. LPAR (Yogyakarta) (2010)
Benjamin Grégoire, Jorge Luis Sacchini
On Strong Normalization of the Calculus of Constructions with Type-Based Termination. LPAR (Yogyakarta) (2010)
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko
Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) (2010)
Norbert Preining
Gödel Logics - A Survey. LPAR (Yogyakarta) (2010)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
Boosting Local Search Thanks to cdcl. LPAR (Yogyakarta) (2010)
Kai Brünnler
How to Universally Close the Existential Rule. LPAR (Yogyakarta) (2010)
Witold Charatonik, Piotr Witkowski
On the Complexity of the Bernays-Schönfinkel Class with Datalog. LPAR (Yogyakarta) (2010)
Camilo Rocha, José Meseguer
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. LPAR (Yogyakarta) (2010)
Richard McKinley
Expansion Nets: Proof-Nets for Propositional Classical Logic. LPAR (Yogyakarta) (2010)
Theofrastos Mantadelis, Gerda Janssens
Variable Compression in ProbLog. LPAR (Yogyakarta) (2010)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic. LPAR (Yogyakarta) (2010)
Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska
On the Complexity of Model Expansion. LPAR (Yogyakarta) (2010)
Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp
Lazy Abstraction for Size-Change Termination. LPAR (Yogyakarta) (2010)
Marijn Heule, Matti Järvisalo, Armin Biere
Clause Elimination Procedures for CNF Formulas. LPAR (Yogyakarta) (2010)
Guillaume Bonfante, Georg Moser
Characterising Space Complexity Classes via Knuth-Bendix Orders. LPAR (Yogyakarta) (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) (2010)
Tino Teige, Martin Fränzle
Resolution for Stochastic Boolean Satisfiability. LPAR (Yogyakarta) (2010)
Jasmin Christian Blanchette, Koen Claessen
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models. LPAR (Yogyakarta) (2010)
Jeremy E. Dawson, Rajeev Goré
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) (2010)
Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura
Symbolic Automata Constraint Solving. LPAR (Yogyakarta) (2010)
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
fCube: An Efficient Prover for Intuitionistic Propositional Logic. LPAR (Yogyakarta) (2010)
Krishnendu Chatterjee, Laurent Doyen
The Complexity of Partial-Observation Parity Games. LPAR (Yogyakarta) (2010)
Régis Alenda, Nicola Olivetti
Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. LPAR (Yogyakarta) (2010)
Mark Kaminski, Gert Smolka
Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference. LPAR (Yogyakarta) (2010)
Daniel Kroening, Jérôme Leroux, Philipp Rümmer
Interpolating Quantifier-Free Presburger Arithmetic. LPAR (Yogyakarta) (2010)
Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach
Superposition-Based Analysis of First-Order Probabilistic Timed Automata. LPAR (Yogyakarta) (2010)
Shahab Tasharrofi, Eugenia Ternovska
PBINT, A Logic for Modelling Search Problems Involving Arithmetic. LPAR (Yogyakarta) (2010)
Andreas Reuß, Helmut Seidl
Bottom-Up Tree Automata with Term Constraints. LPAR (Yogyakarta) (2010)
Yuxin Deng, Rob J. van Glabbeek
Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) (2010)
Konstantin Korovin, Christoph Sticksel
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning. LPAR (Yogyakarta) (2010)
Dejan Jovanovic, Clark W. Barrett
Polite Theories Revisited. LPAR (Yogyakarta) (2010)
Jean-Pierre Jouannaud, Benjamin Monate
Infinite Families of Finite String Rewriting Systems and Their Confluence. LPAR (Yogyakarta) (2010)
Claire David, Leonid Libkin, Tony Tan
On the Satisfiability of Two-Variable Logic over Data Words. LPAR (Yogyakarta) (2010)
Kaustuv Chaudhuri
Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. LPAR (Yogyakarta) (2010)
Michael J. Maher
Human and Unhuman Commonsense Reasoning. LPAR (Yogyakarta) (2010)
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
A Syntactical Approach to Qualitative Constraint Networks Merging. LPAR (Yogyakarta) (2010)

volume 6397, 2010

Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings LPAR (Yogyakarta) 6397 (2010)