Building Large-Scale Prolog Programs Using a Techniques Editing System (Englisch)
- Neue Suche nach: Vargas-Vera, M.
- Neue Suche nach: Vasconcelos, W. W.
- Neue Suche nach: Robertson, D.
- Neue Suche nach: Vargas-Vera, M.
- Neue Suche nach: Vasconcelos, W. W.
- Neue Suche nach: Robertson, D.
- Neue Suche nach: Miller, D.
In:
Logic programming
;
636
;
1993
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Building Large-Scale Prolog Programs Using a Techniques Editing System
-
Beteiligte:Vargas-Vera, M. ( Autor:in ) / Vasconcelos, W. W. ( Autor:in ) / Robertson, D. ( Autor:in ) / Miller, D. / Association for Logic Programming| Natural Sciences and Engineering Research Council Canada| British Columbia Advanced Systems Institute
-
Kongress:10th International symposium, Logic programming ; 1993 ; Vancouver; Canada
-
Erschienen in:Logic programming ; 636
-
Verlag:
- Neue Suche nach: MIT
-
Erscheinungsort:London
-
Erscheinungsdatum:01.01.1993
-
Format / Umfang:636 pages
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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