Search results for "LPAR"

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

Publications at "LPAR"( http://dblp.L3S.de/Venues/LPAR )