default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th LPAR 2010: Yogyakarta, Indonesia
- Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller:
Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010. EPiC Series in Computing 13, EasyChair 2013 - Jesse Alama, Sara L. Uckelman:
Proof rules for the dialogical logic N. 1-6 - Jesse Alama, Sara L. Uckelman:
Playing Lorenzen Dialogue Games on the Web. 7-12 - Matthias Baaz, Oliver Fasching:
Gödel logics with an operator shifting truth values. 13-14 - Libor Behounek:
Feasibility as a gradual notion. 15-19 - Jasmin Christian Blanchette:
Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod. 20-25 - Karel Chvalovský, Petr Cintula:
Note on Deduction Theorems in Contraction-Free Logics. 26-29 - Petr Cintula, George Metcalfe:
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. 30-34 - Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala:
Ground Associative and Commutative Completion Modulo Shostak Theories. 35-40 - Marijn Heule, Matti Järvisalo, Armin Biere:
Covered Clause Elimination. 41-46 - Beishui Liao, Li Jin, Robert C. Koons:
Dynamics of Argumentation Systems: A Basic Theory. 47-51 - Uwe Pfeiffer, Tomas Karnagel, Guido Scheffler:
A Sudoku-Solver for Large Puzzles using SAT. 52-57 - Hannes Strass, Michael Thielscher:
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. 58-63
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-16 22:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
