Sign in
LPAR short papers(Yogyakarta)
2010
2011
2012
2013
2010
2013
Keyphrases
Publications
volume 13, 2013
Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010
LPAR short papers(Yogyakarta)
13 (2013)
2010
Libor Behounek
Feasibility as a gradual notion.
LPAR short papers(Yogyakarta)
(2010)
Petr Cintula
,
George Metcalfe
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.
LPAR short papers(Yogyakarta)
(2010)
Karel Chvalovský
,
Petr Cintula
Note on Deduction Theorems in Contraction-Free Logics.
LPAR short papers(Yogyakarta)
(2010)
Jasmin Christian Blanchette
Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod.
LPAR short papers(Yogyakarta)
(2010)
Sylvain Conchon
,
Evelyne Contejean
,
Mohamed Iguernelala
Ground Associative and Commutative Completion Modulo Shostak Theories.
LPAR short papers(Yogyakarta)
(2010)
Hannes Strass
,
Michael Thielscher
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions.
LPAR short papers(Yogyakarta)
(2010)
Beishui Liao
,
Li Jin
,
Robert C. Koons
Dynamics of Argumentation Systems: A Basic Theory.
LPAR short papers(Yogyakarta)
(2010)
Jesse Alama
,
Sara L. Uckelman
Proof rules for the dialogical logic N.
LPAR short papers(Yogyakarta)
(2010)
Matthias Baaz
,
Oliver Fasching
Gödel logics with an operator shifting truth values.
LPAR short papers(Yogyakarta)
(2010)
Uwe Pfeiffer
,
Tomas Karnagel
,
Guido Scheffler
A Sudoku-Solver for Large Puzzles using SAT.
LPAR short papers(Yogyakarta)
(2010)
Jesse Alama
,
Sara L. Uckelman
Playing Lorenzen Dialogue Games on the Web.
LPAR short papers(Yogyakarta)
(2010)
Marijn Heule
,
Matti Järvisalo
,
Armin Biere
Covered Clause Elimination.
LPAR short papers(Yogyakarta)
(2010)