10. ILPS 1993:
Vancouver, British Columbia, Canada
Dale Miller (Ed.):
Logic Programming,
Proceedings of the 1993 International Symposium,
Vancouver,
British Columbia,
Canada,
October 26-29,
1993. MIT Press 1993,
ISBN 0-262-63152-0
Invited Talks
Advanced Tutorials
Refereed Papers
- Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap:
Redundancy of Variables in CLP (R).
75-93 BibTeX
- Gudjon Gudjonsson, William H. Winsborough:
Update In Place: Overview of the Siva Project.
94-113 BibTeX
- Michael Codish, Bart Demoen:
Analysing Logic Programs Using `Prop'-ositional Logic Programs and a Magic Wand.
114-129 BibTeX
- Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
Independence in Constraint Logic Programs.
130-146 BibTeX
- Marc Denecker, Danny De Schreye:
Representing Incomplete Knowledge in Abductive Logic Programming.
147-163 BibTeX
- Steffen Hölldobler, Michael Thielscher:
Actions and Specificity.
164-180 BibTeX
- Chitta Baral, Michael Gelfond, Olga Kosheleva:
Approximating General Logic Programs.
181-198 BibTeX
- Roland N. Bol, Lars Degerstedt:
Tabulated Resolution for Well Founded Semantics.
199-219 BibTeX
- James H. Andrews:
A Logical Semantics for Depth-First Prolog with Ground Negation.
220-234 BibTeX
- Frank Teusink:
A Proof Procedure for Extended Logic Programs.
235-249 BibTeX
- Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier:
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable.
250-265 BibTeX
- Thomas Eiter, Georg Gottlob:
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics.
266-278 BibTeX
- Naoki Kobayashi, Akinori Yonezawa:
ACL - A Concurrent Linear Logic Programming Paradigm.
279-294 BibTeX
- Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi:
Abstract Interpretation of Linear Logic Programming.
295-314 BibTeX
- Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Non-monotonic Concurrent Constraint Programming.
315-334 BibTeX
- Sven-Olof Nyström, Bengt Jonsson:
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations.
335-352 BibTeX
- Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi:
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology.
353-369 BibTeX
- Steve Gregory:
Experiments with Speculative Parallelism in Parlog.
370-387 BibTeX
- Bo-Ming Tong, Ho-Fung Leung:
Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers.
388-402 BibTeX
- Raéd Yousef Sindaha:
Branch-Level Scheduling in Aurora: The Dharma Scheduler.
403-419 BibTeX
- Stefaan Decorte, Danny De Schreye, Massimo Fabris:
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis.
420-436 BibTeX
- Maria J. García de la Banda, Manuel V. Hermenegildo:
A Practical Approach to the Global Analysis of CLP Programs.
437-455 BibTeX
- Kjell Post, Allen Van Gelder, James Kerr:
Deterministic Parsing of Languages with Dynamic Operators.
456-472 BibTeX
- Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Multimodal Logic to Define Modules in Logic Programming.
473-487 BibTeX
- Michael Kohlhase, Frank Pfenning:
Unification in a Lambda-Calculus with Intersection Types.
488-505 BibTeX
- Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein:
Order-Sorted Feature Theory Unification.
506-524 BibTeX
- Philippe Codognet, Daniel Diaz:
Boolean Constraint Solving Using clp(FD).
525-539 BibTeX
- Agostino Dovier, Gianfranco Rossi:
Embedding extensional finite sets in CLP.
540-556 BibTeX
- S. Sudarshan, Raghu Ramakrishnan:
Optimizations of Bottom-Up Evaluation with Non-Ground Terms.
557-574 BibTeX
- Sergio Greco, Domenico Saccà, Carlo Zaniolo:
Dynamic Programming Optimization for Logic Queries with Aggregates.
575-589 BibTeX
- S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri:
Extending the Well-Founded and Valid Semantics for Aggregation.
590-608 BibTeX
- Fangqing Dong, Laks V. S. Lakshmanan:
A Deductive Approach to Hypothetical Query Answering.
609-628 BibTeX
Poster Abstracts
- Marc Kirschenbaum, Leon Sterling:
Enhancement Structures for Proving Prolog Programs Correct.
631 BibTeX
- D. Andre de Waal, John P. Gallagher:
Logic Program Specialisation With Deletion of Useless Clauses.
632 BibTeX
- Khaled Bsaïes:
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties.
633 BibTeX
- G. Aguzzi, U. Modigliani:
Termination of Logic Programs via Equivalent Rewrite Systems.
634 BibTeX
- Kirack Sohn:
Relational Groundness Analysis for Logic Programs.
635 BibTeX
- Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson:
Building Large-Scale Prolog Programs using a Techniques Editing System.
636 BibTeX
- Mauricio Osorio, Bharat Jayaraman:
Subset Assertions and Negation As Failure.
637 BibTeX
- A. Mora, J. Piris, María José Ramírez, Moreno Falaschi:
A Prototype System for Equational Constructive Negation.
638 BibTeX
- Joaquim Nunes Aparício:
Assumption Set Semantics.
639 BibTeX
- Jia-Huai You, Li-Yan Yuan:
Contradiction Resolving for Extended Logic Programs and Default Theories.
640 BibTeX
- Vladimir Lifschitz, Norman McCain, Hudson Turner:
Automated Reasoning About Actions: A Logic Programming Approach.
641 BibTeX
- Rachel Ben-Eliyahu:
Back to the Future: Program Completion, Revisited.
642 BibTeX
- Wlodzimierz Drabent:
Completeness of SLDNF-Resolution for Non-Floundering Queries.
643 BibTeX
- Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen:
The Essential Inadequacy of Deductions in Logic Programming.
644 BibTeX
- Luigi Palopoli, Carlo Zaniolo:
Polynominal Time Computable Stable Models.
645 BibTeX
- Esther D. Shilcrat:
Id Est, A Logic Based Framework for Direct Manipulation Systems.
646 BibTeX
- Ulf Nilsson:
Goal-directed Bottom-up Evaluation of Normal Logic Programs.
647 BibTeX
- Jiawei Han, Laks V. S. Lakshmanan:
Evaluation of Regular Nonlinear Recursive Programs.
648 BibTeX
- Vincent Berry, Philippe Ézéquel:
Generating Goals and Their Use In Recursive Query Processing.
649 BibTeX
- Hock Chuan Chan, Keng Siau:
A Prolog-Based Definition of an Entity Relationship Language.
650 BibTeX
- Monica D. Barback, Jorge Lobo:
A Proof Procedure for Default Theories with Extensions.
651 BibTeX
- Paul Tarau:
An Efficient Specialization of the WAM for Continuation Passing Binary Programs.
652 BibTeX
- Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm.
653 BibTeX
- Roland Paterson-Jones, Peter T. Wood:
Extending the WAM for HiLog.
654 BibTeX
- Neng-Fa Zhou:
On the Direct Parameter Passing Mechanism for Prolog Compilers.
655 BibTeX
- Laurent Fribourg, Marcos Veloso Peixoto:
Concurrent Constraint Automata.
656 BibTeX
- María Alpuente, Moreno Falaschi, Germán Vidal:
Incremental Equational Constraint Analyses.
657 BibTeX
- B. McDonald, J. Xu, M. Epstein, E. Freeman:
On the Denotational and Logical Semantics of CLP-Modules.
658 BibTeX
- Gilles Pesant, Michel Boyer:
Handling Quadratic Constraints through Geometry.
659 BibTeX
- Greg Sidebottom:
Optimizing Constraint Processing in CLP(FD).
660 BibTeX
- Patrice Boizumault, Yan Delon, Laurent Péridy:
Solving a real life exams problem using CHIP.
661 BibTeX
- Bogumil Hausman:
Turbo Erlang.
662 BibTeX
- Wenfeng Li, Zheng Lin:
A Distributed Parallel LP System.
663 BibTeX
- Koenraad De Bosschere, Paul Tarau:
Blackboard-based Extensions for Parallel Programming in BinProlog.
664 BibTeX
- Ernesto Pimentel:
L2||O2: A Concurrent Object-oriented Logic Language.
665 BibTeX
- Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi:
Fixpoint Semantics of L-lambda.
666 BibTeX
- Alain Hui-Bon-Hoa:
An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints.
667 BibTeX
- Amy P. Felty:
Definite Clause Grammars for Parsing Higher-Order Syntax.
668 BibTeX
- Mehmet A. Orgun:
The Soundness and Completeness of a Temporal Extension of Logic Programming.
669 BibTeX
- Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger:
Disjunction In Resource-Oriented Deductive Planning.
670 BibTeX
- Lidia Moreno, Manuel Palomar, Antonio Molina:
The Incorporation of Logic Formalisms to Natural Language Through Logic Programming.
671 BibTeX
- Silvia Takahashi, Frank S. K. Silbermann:
Prolog Interpretation of A Functional-Logic Language.
672 BibTeX
- Michael Hanus:
Combining Lazy Narrowing and Normalization.
673 BibTeX
- Bernd Meyer:
Logic and the Structure of Space - Towards a Visual Logic for Spatial Reasoning.
674 BibTeX
- Irene Pimenta Rodrigues, José Gabriel Lopes:
Temporal Reasoning for Temporal Information Retrieval From Text.
675 BibTeX
- Giorgio Delzanno, Maurizio Martelli:
A Bottom-Up Characterization of Finite Success.
676 BibTeX
- James Harland:
On Goal-Directed Provability in Classical Logic.
677 BibTeX
- Bruce Spencer:
The Ordered Clause Restriction of Model Elimination and SLI Resolution.
678 BibTeX
- Weidong Chen, Terrance Swift, David Scott Warren:
Goal-Directed Evaluation of Well-Founded Sematics for XSB.
679 BibTeX
- Zhenzhong Li:
A pi-calculus Specification of Prolog.
680 BibTeX
Copyright © Sat May 16 23:41:36 2009
by Michael Ley (ley@uni-trier.de)