Relational Groundness Analysis for Logic Programs (English)
- New search for: Sohn, K.
- New search for: Sohn, K.
- New search for: Miller, D.
In:
Logic programming
;
635
;
1993
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Relational Groundness Analysis for Logic Programs
-
Contributors:
-
Conference:10th International symposium, Logic programming ; 1993 ; Vancouver; Canada
-
Published in:Logic programming ; 635
-
Publisher:
- New search for: MIT
-
Place of publication:London
-
Publication date:1993-01-01
-
Size:635 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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 CreativityBoden, M. A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 12
-
Declarative Programming in PrologApt, K. R. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 36
-
Marvel 3.1: A Multi-User Software Development EnvironmentKaiser, G. E. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 43
-
Static Analysis of Logic Programs: An Advanced TutorialDebray, S. K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 45
-
A Brief Introduction to Inductive Logic ProgrammingDe Raedt, L. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 52
-
An Introduction to LIFE - Programming with Logic, Inheritance, Functions, and EquationsAit-Kaci, H. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 69
-
Metric Methods in the Semantics of Logic ProgramsFitting, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 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 et al. | 1993
- 94
-
Update in Place: Overview of the Siva ProjectGudjonsson, G. / Winsborough, W. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 114
-
Analysis Logic Programs Using "Prop"-ositional Logic Programs and a Magic WandCodish, M. / Demoen, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 130
-
Independence in Constraint Logic ProgramsGarcia de la Banda, M. / Hermenegildo, M. / Marriott, K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 147
-
Representing Incomplete Knowledge in Abductive Logic ProgrammingDenecker, M. / De Schreye, D. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 164
-
Actions and SpecificityHoelldobler, S. / Thielscher, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 181
-
Approximating General Logic ProgramsBaral, C. / Gelfond, M. / Kosheleva, O. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 199
-
Tabulated Resolution for Well Founded SemanticsBol, R. / Degerstedt, L. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 220
-
A Logical Semantics for Depth-First Prolog with Ground NegationAndrews, J. H. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 235
-
A Proof Procedure for Extended Logic ProgramsTeusink, F. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 250
-
The Emptiness Problem of One Binary Recursive Horn Clause Is UndecidableDevienne, P. / Lebegue, P. / Routier, J.-C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 266
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic LogicsEiter, T. / Gottlob, G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 279
-
ACL - A Concurrent Linear Logic Programming ParadigmKobayashi, N. / Yonezawa, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 295
-
Abstract Interpretation of Linear Logic ProgrammingAndreoli, J.-M. / Pareschi, R. / Castagnetti, T. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 315
-
Non-Monotonic Concurrent Constraint ProgrammingDe 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 et al. | 1993
- 335
-
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating ComputationsNystroem, S.-O. / Jonsson, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 353
-
Applications of the Aurora Parallel Prolog System to Computational Molecular BiologyLusk, E. / Mudambi, S. / Overbeek, R. / Szeredi, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 370
-
Experiments with Speculative Parallelism in ParlogGregory, S. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 388
-
Concurrent Constraint Logic Programming on Massively Parallel SIMD ComputersTong, B.-M. / Leung, H.-F. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 403
-
Branch-Level Scheduling in Aurora: The Dharma SchedulerSindaha, R. Y. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 420
-
Automatic Inference of Norms: A Missing Link in Automatic Termination AnalysisDecorte, S. / De Schreye, D. / Fabris, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 437
-
A Practical Approach to the Global Analysis of CLP ProgramsGarcia de la Banda, M. / Hermenegildo, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 456
-
Deterministic Parsing of Languages with Dynamic OperatorsPost, K. / Van Gelder, A. / Kerr, J. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 473
-
A Multimodal Logic to Define Modules in Logic ProgrammingBaldoni, M. / Giordano, L. / Martelli, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 488
-
Unification in a lambda-Calculus with Intersection TypesKohlhase, M. / Pfenning, F. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 506
-
Order-Sorted Feature Theory UnificationAit-Kaci, H. / Podelski, A. / Goldstein, S. C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 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 et al. | 1993
- 557
-
Optimization of Bottom-Up Evaluation with Non-Ground TermsSudarshan, S. / Ramakrishnan, R. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 575
-
Dynamic Programming Optimization for Logic Queries with AggregatesGreco, S. / Sacca, D. / Zaniolo, C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 590
-
Extending the Well-Founded and Valid Semantics for AggregationSudarshan, S. / Srivastava, D. / Ramakrishnan, R. / Beeri, C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 609
-
A Deductive Approach to Hypothetical Query AnsweringDong, F. / Lakshmanan, L. V. S. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 631
-
Enhancement Structures for Providing Prolog Programs CorrectKirschenbaum, M. / Sterling, L. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 632
-
Logic Program Specialisation with Deletion of Useless ClausesDe Waal, D. A. / Gallagher, J. P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 633
-
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka PropertiesBsaies, K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 634
-
Termination of Logic Programs via Equivalent Rewrite SystemsAguzzi, G. / Modigliani, U. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 635
-
Relational Groundness Analysis for Logic ProgramsSohn, K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 636
-
Building Large-Scale Prolog Programs Using a Techniques Editing SystemVargas-Vera, M. / Vasconcelos, W. W. / Robertson, D. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 637
-
Subset Assertions and Negation as FailureOsorio, M. / Jayaraman, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 638
-
A Prototype SYstem for Equational Constructive NegationMora, A. / Piris, J. / Ramirez, M. J. / Falaschi, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 639
-
Assumption Set SemanticsAparicio, J. N. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 640
-
Contradiction Resolving for Extended Logic Programs and Default TheoriesYou, J.-H. / Li Yan Yuan / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 641
-
Automated Reasoning about Actions: A Logic Programming ApproachLifschitz, V. / McCain, N. / Turner, H. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 642
-
Back to the Future: Program Completion, RevisitedBen-Eliyahu, R. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 643
-
Completeness of SLDNF-Resolution for Non-Floundering QueriesDrabent, W. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 644
-
The Essential Inadequacy of Deductions in Logic ProgrammingWasserman, H. C. / Yukawa, K. / Shen, Z. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 645
-
Polynomial Time Computable Stable ModelsPalopoli, L. / Zaniolo, C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 646
-
Id Est, a Logic Based Framework for Direct Manipulation SystemsShilcrat, E. D. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 647
-
Goal-Directed Bottom-Up Evaluation of Normal Logic ProgramsNilsson, U. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 648
-
Evaluation of Regular Nonlinear Recursive ProgramsHan, J. / Lakshmanan, L. V. S. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 649
-
Generating Goals and Their Use in Recursive Query ProcessingBerry, V. / Ezequel, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 650
-
A Prolog-Based Definition of an Entity Relationship LanguageChan, H. C. / Keng Leng Siau / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 651
-
A Proof Procedure for Default Theories with ExtensionsBarback, M. D. / Lobo, J. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 652
-
An Efficient Specialization of the WAM for Continuation Passing Binary ProgramsTarau, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 653
-
The Beauty and the Beast AlgorithmPodelski, A. / Van Roy, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 654
-
Extending the WAM for HiLogPaterson-Jones, R. / Wood, P. T. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 655
-
On the Direct Parameter Passing Mechanism for Prolog CompilersZhou, N.-F. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 656
-
Concurrent Constraint AutomataFribourg, L. / Peixoto, M. V. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 657
-
Incremental Equational Constraint AnalysesAlpuente, M. / Falaschi, M. / Vidal, G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 658
-
On the Denotational and Logical Semantics of CLP-ModulesMcDonald, B. / Xu, J. / Epstein, M. / Freeman, E. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 659
-
Handling Quadratic Constraints through GeometryPEsant, G. / Boyer, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 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 et al. | 1993
- 661
-
Solving a Real Life Exams Problems Using CHIPBoizumault, P. / Delon, Y. / Peridy, L. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 662
-
Turbo ErlangHausman, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 663
-
A Distributed Parallel LP SystemLi, W. / Lin, Z. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 664
-
Blackboard-Based Extensions for Parallel Programming in BinPrologDe Bosschere, K. / Tarau, P. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 665
-
L^2O^2: A Concurrent Object-Oriented Logic LanguagePimentel, E. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 666
-
Fixpoint Semantics of L~lambdaMartelli, M. / Messora, A. / Palamidessi, C. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 667
-
An Intuitionistic Resolution Method for a Language Dealing with Scope ConstraintsHui-Bon-Hoa, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 668
-
Definite Clause Grammars for Parsing Higher-Order SyntaxFelty, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 669
-
The Soundness and Completeness of a Temporal Extension of Logic ProgrammingOrgun, M. A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 670
-
Disjunction in Resource-Oriented Deductive PlanningBruening, S. / Hoelldobler, S. / Sigmund, U. C. / Thielscher, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 671
-
The Incorporation of Logic Formalisms to Natural Language through Logic ProgrammingMoreno, L. / Palomar, M. / Moling, A. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 672
-
Prolog Interpretation of a Functional-Logic LanguageTakahashi, S. / Silbermann, F. S. K. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 673
-
Combining Lazy Narrowing and NormalizationHanus, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 674
-
Logic and the Structure of Space: Towards a Visual Logic for Spatial ReasoningMeyer, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 675
-
Temporal Reasoning for Temporal Information Retrieval from TextRodrigues, I. P. / Lopes, J. G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 676
-
A Bottom-Up Characterization of Finite SuccessDelzanno, G. / Martelli, M. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 677
-
On Goal-Directed Provability in Classical LogicHarland, J. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 678
-
The Ordered Clause Restriction of Model Elimination and SLI ResolutionSpencer, B. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 679
-
Goal-Directed Evaluation of Well-Founded Semantics for XSBChen, W. / Swift, T. / Warren, D. S. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
- 680
-
A -calculus Specification of PrologLi, Z. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993
-
Embedding Extensional Finite Sets in CLPDovier, A. / Rossi, G. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute et al. | 1993