Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek |
Comparison of LTL to Deterministic Rabin Automata Translators. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean |
Proof-Pattern Recognition and Lemma Discovery in ACL2. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luís Cruz-Filipe, Rita Henriques, Isabel Nunes |
Description Logics, Rules and Multi-context Systems. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller, Thomas Raths |
HOL Based First-Order Modal Logic Provers. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mélanie Boudard, Olivier Hermant |
Polarizing Double-Negation Translations. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Riku Nortje, Katarina Britz, Thomas Meyer 0002 |
Reachability Modules for the Description Logic $\mathcal{SRIQ}$. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guy Katz |
On Module-Based Abstraction and Repair of Behavioral Programs. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ari Saptawijaya, Luís Moniz Pereira |
Incremental Tabling for Query-Driven Propagation of Logic Program Updates. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Szymon Klarman, Thomas Meyer 0002 |
Prediction and Explanation over DL-Lite Data Streams. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
Three SCC-Based Emptiness Checks for Generalized Büchi Automata. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tom Gundersen, Willem Heijltjes, Michel Parigot |
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schulz 0001 |
System Description: E 1.8. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Loredana Sorrentino |
On Promptness in Parity Games. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
Simulating Parity Reasoning. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota, Radu Grigore, João Marques-Silva 0001 |
On QBF Proofs and Preprocessing. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly, Florian Lonsing, Magdalena Widl |
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
The Complexity of Clausal Fragments of LTL. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin |
Expressive Path Queries on Graphs with Data. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chuan Jiang, Ting Zhang |
Partial Backtracking in CDCL Solvers. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Schlund, Michal Terepeta, Michael Luttenberger |
Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda |
On Minimality and Integrity Constraints in Probabilistic Abduction. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Delahaye, Damien Doligez, Frédéric Gilbert 0002, Pierre Halmagrand, Olivier Hermant |
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Koopmann, Renate A. Schmidt |
Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco |
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anton Belov, António Morgado 0001, João Marques-Silva 0001 |
SAT-Based Preprocessing for MaxSAT. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hetzl, Alexander Leitsch, Daniel Weller 0001 |
Towards Algorithmic Cut-Introduction. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geoff Sutcliffe, Stephan Schulz 0001, Koen Claessen, Peter Baumgartner 0001 |
The TPTP Typed First-Order Form with Arithmetic. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Bulwahn |
Smart Testing of Functional Programs in Isabelle. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou, Thomas Eiter, Kewen Wang 0001 |
Forgetting for Defeasible Logic. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Borgwardt, Barbara Morawska 0001 |
Finding Finite Herbrand Models. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | William Snell, Dirk Pattinson, Florian Widmann |
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Boris Motik |
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba |
Dual-Priced Modal Transition Systems with Time Durations. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Winkler, Harald Zankl, Aart Middeldorp |
Ordinals and Knuth-Bendix Orders. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Alama, Daniel Kühlwein, Josef Urban |
Automated and Human Proofs in General Mathematics: An Initial Comparison. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001, Ewen Denney, Christoph Lüth |
Querying Proofs. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Libkin, Domagoj Vrgoc |
Regular Expressions for Data Words. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer |
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | José Luis Chacón, Ramón Pino Pérez |
Duality between Merging Operators and Social Contraction Operators. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Klein 0001, Nao Hirokawa |
Confluence of Non-Left-Linear TRSs via Relative Termination. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Morgenstern, Manuel Gesell, Klaus Schneider 0001 |
An Asymptotically Correct Finite Path Semantics for LTL. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell |
Enfragmo: A System for Modelling and Solving Search Problems with Logic. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
Conflict Anticipation in the Search for Graph Automorphisms. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Neurauter, Aart Middeldorp |
On the Domain and Dimension Hierarchy of Matrix Interpretations. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Merz, Hernán Vanzetto |
Automatic Verification of TLA + Proof Obligations with SMT Solvers. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
Automatic Inference of Resource Consumption Bounds. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Rümmer |
E-Matching with Free Variables. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Alexander Okhotin |
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Dulma Rodriguez |
Linear Constraints over Infinite Trees. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ezequiel Orbe, Carlos Areces, Gabriel G. Infante López |
iSat: Structure Visualization for SAT Problems. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Delia Kesner |
The Permutative λ-Calculus. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Suda 0001, Christoph Weidenbach |
Labelled Superposition for PLTL. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp |
Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach |
Automatic Generation of Invariants for Circular Derivations in SUP(LA). |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
Lazy Abstraction with Interpolants for Arrays. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Han The Anh, Ari Saptawijaya, Luís Moniz Pereira |
Moral Reasoning under Uncertainty. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Francesca Scozzari |
Random: R-Based Analyzer for Numerical Domains. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 |
Backward Trace Slicing for Conditional Rewrite Theories. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Birte Glimm, Yevgeny Kazakov |
Role Conjunctions in Expressive Description Logics. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch James Gabbay, Martin Hofmann 0001 |
Nominal Renaming Sets. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Nominal renaming sets, nominal sets, abstract syntax with binding |
1 | Kai Brünnler, Richard McKinley |
An Algorithmic Interpretation of a Deep Inference System. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Widjaja To, Leonid Libkin |
Recurrent Reachability Analysis in Regular Model Checking. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nao Hirokawa, Georg Moser |
Complexity, Graphs, and the Dependency Pair Method. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Witold Charatonik, Michal Wrona |
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Data-Oblivious Stream Productivity. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke |
Model Checking - My 27-Year Quest to Overcome the State Explosion Problem. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tore Langholm |
Default Logics with Preference Order: Principles and Characterisations. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Kop, Femke van Raamsdonk |
A Higher-Order Iterative Path Ordering. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
A Conditional Logical Framework. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Orna Kupferman, Omer Lev |
On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli |
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Rümmer |
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nao Hirokawa, Aart Middeldorp, Harald Zankl |
Uncurrying for Termination. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács |
Valigator: A Verification Tool with Bound and Invariant Generation. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001 |
Weak beta-theta-Normalization and Normalization by Evaluation for System F. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Aniello Murano, Margherita Napoli, Mimmo Parente |
Program Complexity in Hierarchical Module Checking. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell |
Efficient Generation of Unsatisfiability Proofs and Cores in SAT. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | João Marques-Silva 0001, Inês Lynce, Vasco M. Manquinho |
Symmetry Breaking for Maximum Satisfiability. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Armant, Philippe Dague, Laurent Simon |
Distributed Consistency-Based Diagnosis. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Dax, Felix Klaedtke |
Alternation Elimination by Complementation (Extended Abstract). |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera 0001 |
Discounted Properties of Probabilistic Pushdown Automata. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
A Logic of Singly Indexed Arrays. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backes 0001, Matthias Berg, Dominique Unruh |
A Formal Language for Cryptographic Pseudocode. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Fast Counting with Bounded Treewidth. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
On the Computational Complexity of Spatial Logics with Connectedness Constraints. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Monniaux |
A Quantifier Elimination Algorithm for Linear Real Arithmetic. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell |
The Max-Atom Problem and Its Relevance. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
constraints, hypergraphs, max-plus algebra |
1 | Reinhard Pichler, Vadim Savenkov |
Towards Practical Feasibility of Core Computation in Data Exchange. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
A Formalised Lower Bound on Undirected Graph Reachability. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Mads Rosendahl |
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Maher, Ge Huang |
On Computing Constraint Abduction Answers. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann |
Improving Context-Sensitive Dependency Pairs. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Pulina, Armando Tacchella |
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sean McLaughlin, Frank Pfenning |
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Margus Veanes, Ando Saabas |
On Bounded Reachability of Programs with Set Comprehensions. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|