- Pavel Klinov, Bijan Parsia, David Picado-Muiño:
The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. LPAR (Yogyakarta) 2010: 432-446 - Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska:
On the Complexity of Model Expansion. LPAR (Yogyakarta) 2010: 447-458 - Konstantin Korovin, Christoph Sticksel:
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning. LPAR (Yogyakarta) 2010: 459-473 - Daniel Kroening
, Jérôme Leroux, Philipp Rümmer:
Interpolating Quantifier-Free Presburger Arithmetic. LPAR (Yogyakarta) 2010: 489-503 - Michael J. Maher:
Human and Unhuman Commonsense Reasoning. LPAR (Yogyakarta) 2010: 16-29 - Theofrastos Mantadelis
, Gerda Janssens:
Variable Compression in ProbLog. LPAR (Yogyakarta) 2010: 504-518 - Richard McKinley
:
Expansion Nets: Proof-Nets for Propositional Classical Logic. LPAR (Yogyakarta) 2010: 535-549 - Friedrich Neurauter, Harald Zankl, Aart Middeldorp
:
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting. LPAR (Yogyakarta) 2010: 550-564 - Petros Papapanagiotou
, Jacques D. Fleuriot
:
An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) 2010: 565-580 - Norbert Preining:
Gödel Logics - A Survey. LPAR (Yogyakarta) 2010: 30-51 - Andreas Reuß, Helmut Seidl:
Bottom-Up Tree Automata with Term Constraints. LPAR (Yogyakarta) 2010: 581-593 - Camilo Rocha
, José Meseguer:
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. LPAR (Yogyakarta) 2010: 594-609 - Shahab Tasharrofi, Eugenia Ternovska:
PBINT, A Logic for Modelling Search Problems Involving Arithmetic. LPAR (Yogyakarta) 2010: 610-624 - Tino Teige, Martin Fränzle
:
Resolution for Stochastic Boolean Satisfiability. LPAR (Yogyakarta) 2010: 625-639 - Margus Veanes, Nikolaj S. Bjørner, Leonardo Mendonça de Moura:
Symbolic Automata Constraint Solving. LPAR (Yogyakarta) 2010: 640-654 - Christian G. Fermüller, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Lecture Notes in Computer Science 6397, Springer 2010, ISBN 978-3-642-16241-1 [contents]