How to get this document?

Table of contents conference proceedings

The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.

3
The Logic of Creativity
Boden, M. A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
12
Declarative Programming in Prolog
Apt, K. R. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
36
Marvel 3.1: A Multi-User Software Development Environment
Kaiser, G. E. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
43
Static Analysis of Logic Programs: An Advanced Tutorial
Debray, S. K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
45
A Brief Introduction to Inductive Logic Programming
De Raedt, L. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
52
An Introduction to LIFE - Programming with Logic, Inheritance, Functions, and Equations
Ait-Kaci, H. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
69
Metric Methods in the Semantics of Logic Programs
Fitting, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
75
Redundancy of Variables in CLP (R)
Macdonald, A. D. / Stuckey, P. J. / Yap, R. H. C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
94
Update in Place: Overview of the Siva Project
Gudjonsson, G. / Winsborough, W. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
114
Analysis Logic Programs Using "Prop"-ositional Logic Programs and a Magic Wand
Codish, M. / Demoen, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
130
Independence in Constraint Logic Programs
Garcia de la Banda, M. / Hermenegildo, M. / Marriott, K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
147
Representing Incomplete Knowledge in Abductive Logic Programming
Denecker, M. / De Schreye, D. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
164
Actions and Specificity
Hoelldobler, S. / Thielscher, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
181
Approximating General Logic Programs
Baral, C. / Gelfond, M. / Kosheleva, O. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
199
Tabulated Resolution for Well Founded Semantics
Bol, R. / Degerstedt, L. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
220
A Logical Semantics for Depth-First Prolog with Ground Negation
Andrews, J. H. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
235
A Proof Procedure for Extended Logic Programs
Teusink, F. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
250
The Emptiness Problem of One Binary Recursive Horn Clause Is Undecidable
Devienne, P. / Lebegue, P. / Routier, J.-C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
266
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
Eiter, T. / Gottlob, G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
279
ACL - A Concurrent Linear Logic Programming Paradigm
Kobayashi, N. / Yonezawa, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
295
Abstract Interpretation of Linear Logic Programming
Andreoli, J.-M. / Pareschi, R. / Castagnetti, T. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
315
Non-Monotonic Concurrent Constraint Programming
De Boer, F. S. / Kok, J. N. / Palamidessi, C. / Rutten, J. J. M. M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
335
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations
Nystroem, S.-O. / Jonsson, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
353
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology
Lusk, E. / Mudambi, S. / Overbeek, R. / Szeredi, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
370
Experiments with Speculative Parallelism in Parlog
Gregory, S. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
388
Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers
Tong, B.-M. / Leung, H.-F. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
403
Branch-Level Scheduling in Aurora: The Dharma Scheduler
Sindaha, R. Y. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
420
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis
Decorte, S. / De Schreye, D. / Fabris, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
437
A Practical Approach to the Global Analysis of CLP Programs
Garcia de la Banda, M. / Hermenegildo, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
456
Deterministic Parsing of Languages with Dynamic Operators
Post, K. / Van Gelder, A. / Kerr, J. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
473
A Multimodal Logic to Define Modules in Logic Programming
Baldoni, M. / Giordano, L. / Martelli, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
488
Unification in a lambda-Calculus with Intersection Types
Kohlhase, M. / Pfenning, F. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
506
Order-Sorted Feature Theory Unification
Ait-Kaci, H. / Podelski, A. / Goldstein, S. C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
525
Boolean Constraint Solving Using clp(FD)
Codognet, P. / Diaz, D. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
557
Optimization of Bottom-Up Evaluation with Non-Ground Terms
Sudarshan, S. / Ramakrishnan, R. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
575
Dynamic Programming Optimization for Logic Queries with Aggregates
Greco, S. / Sacca, D. / Zaniolo, C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
590
Extending the Well-Founded and Valid Semantics for Aggregation
Sudarshan, S. / Srivastava, D. / Ramakrishnan, R. / Beeri, C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
609
A Deductive Approach to Hypothetical Query Answering
Dong, F. / Lakshmanan, L. V. S. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
631
Enhancement Structures for Providing Prolog Programs Correct
Kirschenbaum, M. / Sterling, L. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
632
Logic Program Specialisation with Deletion of Useless Clauses
De Waal, D. A. / Gallagher, J. P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
633
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties
Bsaies, K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
634
Termination of Logic Programs via Equivalent Rewrite Systems
Aguzzi, G. / Modigliani, U. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
635
Relational Groundness Analysis for Logic Programs
Sohn, K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
636
Building Large-Scale Prolog Programs Using a Techniques Editing System
Vargas-Vera, M. / Vasconcelos, W. W. / Robertson, D. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
637
Subset Assertions and Negation as Failure
Osorio, M. / Jayaraman, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
638
A Prototype SYstem for Equational Constructive Negation
Mora, A. / Piris, J. / Ramirez, M. J. / Falaschi, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
639
Assumption Set Semantics
Aparicio, J. N. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
640
Contradiction Resolving for Extended Logic Programs and Default Theories
You, J.-H. / Li Yan Yuan / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
641
Automated Reasoning about Actions: A Logic Programming Approach
Lifschitz, V. / McCain, N. / Turner, H. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
642
Back to the Future: Program Completion, Revisited
Ben-Eliyahu, R. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
643
Completeness of SLDNF-Resolution for Non-Floundering Queries
Drabent, W. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
644
The Essential Inadequacy of Deductions in Logic Programming
Wasserman, H. C. / Yukawa, K. / Shen, Z. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
645
Polynomial Time Computable Stable Models
Palopoli, L. / Zaniolo, C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
646
Id Est, a Logic Based Framework for Direct Manipulation Systems
Shilcrat, E. D. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
647
Goal-Directed Bottom-Up Evaluation of Normal Logic Programs
Nilsson, U. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
648
Evaluation of Regular Nonlinear Recursive Programs
Han, J. / Lakshmanan, L. V. S. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
649
Generating Goals and Their Use in Recursive Query Processing
Berry, V. / Ezequel, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
650
A Prolog-Based Definition of an Entity Relationship Language
Chan, H. C. / Keng Leng Siau / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
651
A Proof Procedure for Default Theories with Extensions
Barback, M. D. / Lobo, J. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
652
An Efficient Specialization of the WAM for Continuation Passing Binary Programs
Tarau, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
653
The Beauty and the Beast Algorithm
Podelski, A. / Van Roy, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
654
Extending the WAM for HiLog
Paterson-Jones, R. / Wood, P. T. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
655
On the Direct Parameter Passing Mechanism for Prolog Compilers
Zhou, N.-F. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
656
Concurrent Constraint Automata
Fribourg, L. / Peixoto, M. V. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
657
Incremental Equational Constraint Analyses
Alpuente, M. / Falaschi, M. / Vidal, G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
658
On the Denotational and Logical Semantics of CLP-Modules
McDonald, B. / Xu, J. / Epstein, M. / Freeman, E. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
659
Handling Quadratic Constraints through Geometry
PEsant, G. / Boyer, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
660
Optimizing Constraint Processing in CLP(FD)
Sidebottom, G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
661
Solving a Real Life Exams Problems Using CHIP
Boizumault, P. / Delon, Y. / Peridy, L. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
662
Turbo Erlang
Hausman, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
663
A Distributed Parallel LP System
Li, W. / Lin, Z. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
664
Blackboard-Based Extensions for Parallel Programming in BinProlog
De Bosschere, K. / Tarau, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
665
L^2��O^2: A Concurrent Object-Oriented Logic Language
Pimentel, E. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
666
Fixpoint Semantics of L~lambda
Martelli, M. / Messora, A. / Palamidessi, C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
667
An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints
Hui-Bon-Hoa, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
668
Definite Clause Grammars for Parsing Higher-Order Syntax
Felty, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
669
The Soundness and Completeness of a Temporal Extension of Logic Programming
Orgun, M. A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
670
Disjunction in Resource-Oriented Deductive Planning
Bruening, S. / Hoelldobler, S. / Sigmund, U. C. / Thielscher, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
671
The Incorporation of Logic Formalisms to Natural Language through Logic Programming
Moreno, L. / Palomar, M. / Moling, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
672
Prolog Interpretation of a Functional-Logic Language
Takahashi, S. / Silbermann, F. S. K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
673
Combining Lazy Narrowing and Normalization
Hanus, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
674
Logic and the Structure of Space: Towards a Visual Logic for Spatial Reasoning
Meyer, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
675
Temporal Reasoning for Temporal Information Retrieval from Text
Rodrigues, I. P. / Lopes, J. G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
676
A Bottom-Up Characterization of Finite Success
Delzanno, G. / Martelli, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
677
On Goal-Directed Provability in Classical Logic
Harland, J. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
678
The Ordered Clause Restriction of Model Elimination and SLI Resolution
Spencer, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
679
Goal-Directed Evaluation of Well-Founded Semantics for XSB
Chen, W. / Swift, T. / Warren, D. S. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
680
A �-calculus Specification of Prolog
Li, Z. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
Embedding Extensional Finite Sets in CLP
Dovier, A. / Rossi, G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute | 1993
Feedback