| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nikolaj 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 | Boris Motik |
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Klein, Nao Hirokawa |
Confluence of Non-Left-Linear TRSs via Relative Termination. |
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 | Han The Anh, Ari Saptawijaya, Luís Moniz Pereira |
Moral Reasoning under Uncertainty. |
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 | Aart Middeldorp |
Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems. |
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 | Martin Hofmann, Dulma Rodriguez |
Linear Constraints over Infinite Trees. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hetzl, Alexander Leitsch, Daniel Weller |
Towards Algorithmic Cut-Introduction. |
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 | William Snell, Dirk Pattinson, Florian Widmann |
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Domagoj Vrgoc |
Regular Expressions for Data Words. |
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 | Lukas Bulwahn |
Smart Testing of Functional Programs in Isabelle. |
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 | Martin Suda, Christoph Weidenbach |
Labelled Superposition for PLTL. |
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 | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner |
The TPTP Typed First-Order Form with Arithmetic. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall, Ewen Denney, Christoph Lüth |
Querying Proofs. |
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 | Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach |
Automatic Generation of Invariants for Circular Derivations in SUP(LA). |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Delia Kesner |
The Permutative λ-Calculus. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Rümmer |
E-Matching with Free Variables. |
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 | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
An Asymptotically Correct Finite Path Semantics for LTL. |
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 | Stefan Borgwardt, Barbara Morawska |
Finding Finite Herbrand Models. |
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 | 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 | Grigoris Antoniou, Thomas Eiter, Kewen Wang |
Forgetting for Defeasible Logic. |
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 | 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 |
Backward Trace Slicing for Conditional Rewrite Theories. |
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 | 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 | Marko Samer |
Variable Dependencies of Quantified CSPs. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel |
Weak beta-theta-Normalization and Normalization by Evaluation for System F. |
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 | Kaustuv Chaudhuri |
Focusing Strategies in the Sequent Calculus of Synthetic Connectives. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dax, Felix Klaedtke |
Alternation Elimination by Complementation (Extended Abstract). |
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 | Cynthia Kop, Femke van Raamsdonk |
A Higher-Order Iterative Path Ordering. |
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 | Birte Glimm, Yevgeny Kazakov |
Role Conjunctions in Expressive Description Logics. |
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 | Myrto Arapinis, Stéphanie Delaune, Steve Kremer |
From One Session to Many: Dynamic Tags for Security Protocols. |
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 | Leonid Libkin, Cristina Sirangelo |
Reasoning about XML with Temporal Logics and Automata. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Query automata, XML, static analysis, temporal logics |
| 1 | Margus Veanes, Ando Saabas |
On Bounded Reachability of Programs with Set Comprehensions. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tore Langholm |
Default Logics with Preference Order: Principles and Characterisations. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matthias Berg, Dominique Unruh |
A Formal Language for Cryptographic Pseudocode. |
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 | 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 | Nao Hirokawa, Aart Middeldorp, Harald Zankl |
Uncurrying for Termination. |
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 | Murdoch James Gabbay, Martin Hofmann |
Nominal Renaming Sets. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Nominal renaming sets, nominal sets, abstract syntax with binding |
| 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 | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
A Conditional Logical Framework. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Justification-Based Local Search with Adaptive Noise Strategies. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah |
Reveal: A Formal Verification Tool for Verilog Designs. |
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 BibTeX RDF |
|
| 1 | David Monniaux |
A Quantifier Elimination Algorithm for Linear Real Arithmetic. |
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 | 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 | Peter Baumgartner, Alexander Fuchs, Cesare Tinelli |
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints. |
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 | Nao Hirokawa, Georg Moser |
Complexity, Graphs, and the Dependency Pair Method. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov |
Towards Practical Feasibility of Core Computation in Data Exchange. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera |
Discounted Properties of Probabilistic Pushdown Automata. |
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 | Anthony Widjaja To, Leonid Libkin |
Recurrent Reachability Analysis in Regular Model Checking. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Brünnler, Richard McKinley |
An Algorithmic Interpretation of a Deep Inference System. |
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 | Aniello Murano, Margherita Napoli, Mimmo Parente |
Program Complexity in Hierarchical Module Checking. |
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 | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
Reasoning Using Knots. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Belkhir, Luigi Santocanale |
The Variable Hierarchy for the Lattice µ-Calculus. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommi A. Junttila, Jori Dubrovin |
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Inês Lynce, Vasco M. Manquinho |
Symmetry Breaking for Maximum Satisfiability. |
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 | Michael J. Maher, Ge Huang |
On Computing Constraint Abduction Answers. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bonichon, David Delahaye, Damien Doligez |
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings |
LPAR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Preferential Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Mitchell, Faraz Hach, Raheleh Mohebali |
Faster Phylogenetic Inference with MXG. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
Model Expansion, Declarative Programming, Phylogeny |
| 1 | Damiano Mazza, Michele Pagani |
The Separation Theorem for Differential Interaction Nets. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
Differential interaction nets, faithfulness, linear logic, observational equivalence, proof-nets |
| 1 | Roland Axelsson, Martin Lange |
Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan |
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Hai Lin 0005, Christopher Lynch |
Protocol Verification Via Rigid/Flexible Resolution. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
Enriched µ-Calculus Pushdown Module Checking. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Completeness for Flat Modal Fixpoint Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
fixpoint logic, completeness, modal algebra |
| 1 | David Baelde, Dale Miller |
Least and Greatest Fixed Points in Linear Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Jaeger, Catherine Dubois |
Why Would You Trust B ? |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
Prover, Deep embedding, Formal Methods, Confidence |
| 1 | Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch |
Verifying Cryptographic Protocols with Subterms Constraints. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban, Geoff Sutcliffe |
ATP Cross-Verification of the Mizar MPTP Challenge Problems. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kieronski, Lidia Tendera |
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio |
HORPO with Computability Closure: A Reconstruction. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")