default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th LPAR 1994: Kiev, Ukraine
- Frank Pfenning:
Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings. Lecture Notes in Computer Science 822, Springer 1994, ISBN 3-540-58216-9 - Amy P. Felty, Douglas J. Howe:
Generalization and Reuse of Tactic Proofs. 1-15 - Fausto Giunchiglia, Paolo Traverso:
Program Tactics and Logic Tactics. 16-30 - Philippe de Groote:
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. 31-43 - Sergei Tupailo:
On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. 44-53 - Raúl Monroy, Alan Bundy, Andrew Ireland:
Proof Plans for the Correction of False Conjectures. 54-68 - Uwe Egly:
On the Value of Antiprenexing. 69-83 - Henk Vandecasteele, Danny De Schreye
:
Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. 84-98 - Hoon Hong:
RISC-CLP(CF) Constraint Logic Programming over Complex Functions. 99-113 - Dominic Duggan:
Logical Closures. 114-128 - Jean Goubault:
Higher-Order Rigid E-Unification. 129-143 - Penny Anderson:
Program Extraction in a Logical Framework Setting. 144-158 - Joëlle Despeyroux, André Hirschowitz:
Higher-Order Abstract Syntax with Induction in Coq. 159-173 - Stefan Brüning:
Towards Efficient Calculi for Resource-Oriented Deductive Planning. 174-188 - Paulo Quaresma, José Gabriel Lopes:
A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues. 189-199 - John Darlington, Yike Guo:
Constraint Logic Programming in the Sequent Calculus. 200-214 - Jürgen Avenhaus, Carlos Loría-Sáenz:
On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. 215-229 - Cristian Papp:
A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs. 230-244 - Dietmar Seipel:
An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. 245-259 - Donald A. Smith, Timothy J. Hickey:
Multi-SLD Resolution. 260-274 - Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray:
On Anti-Links. 275-289 - Lunjin Lu:
A Generic Declarative Diagnoser for Normal Logic Programs. 290-304 - Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo:
Goal Dependent versus Goal Independent Analysis of Logic Programs. 305-319 - Philippe Mathieu, Jean-Paul Delahaye:
A Kind of Achievement by Parts Method. 320-332 - Zhenhua Duan, Maciej Koutny, Chris Holt:
Projection in Temporal Logic Programming. 333-344
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 2025-03-10 20:54 CET 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:
