Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Miyuki Koshimura, Ryuzo Hasegawa |
Proof Simplification for Model Generation and Its Applications. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Jaco van de Pol |
Equational Binary Decision Diagrams. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Georg Gottlob |
On the Complexity of Theory Curbing. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Yves Marion, Jean-Yves Moyen |
Efficient First Order Functional Program Interpreter with Time Bound Certifications. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michel Parigot, Andrei Voronkov (eds.) |
Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ian Horrocks 0001, Ulrike Sattler, Sergio Tessaris, Stephan Tobies |
How to Decide Query Containment Under Constraints Using a Description Logic. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Bernard P. Serpette |
Static Reduction Analysis for Imperative Object Oriented Languages. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Pelov, Emmanuel De Mot, Marc Denecker |
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Talbot |
On the Alternation-Free Horn Mu-calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Delahaye |
A Tactic Language for the System Coq. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote |
Proof-Search in Implicative Linear Logic as a Matching Problem. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle |
Graph Operations and Monadic Second-Order Logic: A Survey. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Slawomir Lasota 0001 |
Behavioural Constructor Implementation for Regular Algebras. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence |
1 | Roberta Gori |
An Abstract Interpretation Approach to Termination of Logic Programs. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
Infinite derivations, Universal termination, Logic programming, Abstract interpretation |
1 | Ján Sefránek |
A Kripkean Semantics for Dynamic Logic Programming. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
dynamic logic programming, dynamic Kripke structure, updates, nonmonotonic reasoning, stable model, knowledge representation and reasoning, Kripke structure, knowledge evolution |
1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Efficient Structural Information Analysis for Real CLP Languages. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Hallgren, Aarne Ranta |
An Extensible Proof Text Editor. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Helko Lehmann, Michael Leuschel |
Solving Planning Problems by Partial Deduction. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanhoof |
Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Spreen |
A New Model Construction for the Polymorphic Lambda Calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Grieskamp, Markus Lepper 0001 |
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Agata Ciabattoni, Richard Zach |
Quantified Propositional Gödel Logics. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob, Christos H. Papadimitriou |
On the Complexity of Single-Rule Datalog Queries. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker |
Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Pablo López, Ernesto Pimentel 0001 |
Resource Management in Linear Logic Search Revisited. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
Lolli, Lazy Splitting, Logic Programming, Implementation, Linear Logic |
1 | Ian Horrocks 0001, Ulrike Sattler, Stephan Tobies |
Practical Reasoning for Expressive Description Logics. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Pelov, Maurice Bruynooghe |
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gow, Alan Bundy, Ian Green |
Extensions to the Estimation Calculus. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud |
First Order Linear Temporal Logic over Finite Time Structures. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Waldmann |
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Roberta Gori |
A Fixpoint Semantics for Reasoning about Finite Failure. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
Finite failure, Logic programming, Abstract interpretation |
1 | Michael Dierkes |
Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Miki Hermann, Laurent Juban, Phokion G. Kolaitis |
On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Andreoli, Roberto Maieli |
Fucusing and Proof-Nets in Linear and Non-commutative Logic. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Enno Ohlebusch |
Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alan Bundy, Julian Richardson |
Proofs About Lists Using Ellipsis. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal |
A Partial Evaluation Framework for Curry Programs. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | René Moreno |
Abstracting Properties in Concurrent Constraint Programming. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yassin Mokhtari, Stephan Merz |
Animating TLA Specifications. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen, Konstantinos Sagonas |
CHAT Is Theta(SLG-Wam). |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Réty |
Regular Sets of Descendants for Constructor-Based Rewrite Systems. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
term rewriting, tree automata |
1 | Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets |
Evidence Algorithm and Sequent Logical Inference Search. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ramón Béjar, Felip Manyà |
Solving Combinatorial Problems with Regular Local Search Algorithms. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz |
Complexity of Terminological Reasoning Revisited. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eva Hoogland, Maarten Marx, Martin Otto 0001 |
Beth Definability for the Guarded Fragment. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, David A. McAllester, Andrei Voronkov (eds.) |
Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Seipel |
An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Penny Anderson |
Program Extraction in a Logical Framework Setting. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Monroy, Alan Bundy, Andrew Ireland |
Proof Plans for the Correction of False Conjectures. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Duggan |
Logical Closures. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong |
RISC-CLP(CF) Constraint Logic Programming over Complex Functions. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Zhenhua Duan, Maciej Koutny, Chris Holt |
Projection in Temporal Logic Programming. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
Temporal logic, programming, projection |
1 | Jean Goubault |
Higher-Order Rigid E-Unification. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Mathieu, Jean-Paul Delahaye |
A Kind of Achievement by Parts Method. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
Topics Logic of Knowledge, Complete computation, Deduction |
1 | Lunjin Lu |
A Generic Declarative Diagnoser for Normal Logic Programs. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Amy P. Felty, Douglas J. Howe |
Generalization and Reuse of Tactic Proofs. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Giunchiglia, Paolo Traverso |
Program Tactics and Logic Tactics. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly |
On the Value of Antiprenexing. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Papp |
A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo |
Goal Dependent versus Goal Independent Analysis of Logic Programs. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, Yike Guo |
Constraint Logic Programming in the Sequent Calculus. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Henk Vandecasteele, Danny De Schreye |
Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
program transformation, Constraint Logic Programming, finite domains |
1 | Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray |
On Anti-Links. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Donald A. Smith, Timothy J. Hickey |
Multi-SLD Resolution. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Avenhaus, Carlos Loría-Sáenz |
On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Quaresma, José Gabriel Lopes |
A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brüning |
Towards Efficient Calculi for Resource-Oriented Deductive Planning. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Sergei Tupailo |
On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Frank Pfenning (eds.) |
Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Joëlle Despeyroux, André Hirschowitz |
Higher-Order Abstract Syntax with Induction in Coq. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote |
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Sven Eric Panitz |
Default Reasoning with a Constraint Resolution Principle. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hiu Fai Chau |
A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brüning |
Search Space Pruning by Checking Dynamic Term Growth. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider |
Computing Extensions of Default Logic - Preliminary Report. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Geoff Sutcliffe |
A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hähnle, Werner Kernig |
Verification of Switch-Level Designs with Many-Valued Logic. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Peter Barth |
Linear 0-1 Inequalities and Extended Clauses. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hans Jürgen Ohlbach |
Optimized Translation of Multi Modal Logic into Predicate Logic. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß |
Unification Under One-Sided Distributivity with a Multiplicative Unit. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Hibti, Henri Lombardi, Bruno Legeard |
Deciding in HFS-Theory via Linear Integer Programming. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Didier Galmiche, O. Hermann |
SKIL: A System for Programming with Proofs. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Socher-Ambrosius |
Unification in Order-Sorted Logic With Term Declarations. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov (eds.) |
Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Nivelle |
Generic Resolution in Propositional Modal Systems. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach |
MULTILOG: A System for Axiomatizing Many-valued Logics. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Mayr |
Refinements and Extensions of Model Elimination. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Angelica Maria Kappel |
Executable Specifications based on Dynamic Algebras. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Barton C. Massey, Evan Tick |
Sequentialization of Parallel Logic Programs with Mode Analysis. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Breanndán Ó Nualláin |
Mixing metafor. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sergei Soloviev 0001 |
A Complete Axiom System for Isomorphism of Types in Closed Categories. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Davison |
Parsing with DCG-terms. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Barklund, Johan Bevemyr |
Prolog with Arrays and Bounded Quantifications. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Aït-Kaci, Andreas Podelski |
Entailment and Disentailment of Order-Sorted Feature Constraints. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yexuan Gui, Mitsuhiro Okada |
System Description of LAMBDALG - A Higher Order Algebraic Specification Language. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Anavai Ramesh, Neil V. Murray |
Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christian G. Fermüller, Gernot Salzer |
Ordered Paramodulation and Resolution as Decision Procedure. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christine Solnon, Michel Rueher |
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gilberto Filé, Sabina Rossi |
Static Analysis of Prolog with Cut. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly |
A First Order Resolution Calculus with Symmetries. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|