Inferring Inheritance from Datalog Programs (Englisch)
- Neue Suche nach: Oros, M.-A.
- Neue Suche nach: Gloess, P. Y.
- Neue Suche nach: Association for Logic Programming
- Neue Suche nach: Oros, M.-A.
- Neue Suche nach: Gloess, P. Y.
- Neue Suche nach: Bruynooghe, M.
- Neue Suche nach: Association for Logic Programming
In:
Logic programming
;
680
;
1994
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Inferring Inheritance from Datalog Programs
-
Beteiligte:Oros, M.-A. ( Autor:in ) / Gloess, P. Y. ( Autor:in ) / Bruynooghe, M. / Association for Logic Programming
-
Kongress:International symposium, Logic programming ; 1994
-
Erschienen in:Logic programming ; 680
-
Verlag:
- Neue Suche nach: MIT
-
Erscheinungsort:Cambridge, MA
-
Erscheinungsdatum:01.01.1994
-
Format / Umfang:680 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
-
Using Constraint Logic Programming in Services: A Few Short TalesCras, Y. / Association for Logic Programming et al. | 1994
- 17
-
Abstracts Interpretation and Partial Evaluation in Functional and Logic ProgrammingJones, N. D. / Association for Logic Programming et al. | 1994
- 23
-
Complexity and Expressive Power of Disjunctive Logic ProgrammingGottlob, G. / Association for Logic Programming et al. | 1994
- 43
-
Combining Functional and Logic Programming LanguagesLloyd, J. W. / Association for Logic Programming et al. | 1994
- 61
-
Signed Logic ProgramsTurner, H. / Association for Logic Programming et al. | 1994
- 76
-
A Syntactic Stratification Condition Using ConstraintsRoss, K. A. / Association for Logic Programming et al. | 1994
- 91
-
Characterization of Some Semantics for Logic Programs with Negation and Application to Program ValidationMalfon, B. / Association for Logic Programming et al. | 1994
- 109
-
Towards Practical Interval Constraint Solving in Logic ProgrammingChiu, C. K. / Lee, J. H. M. / Association for Logic Programming et al. | 1994
- 124
-
CLP(Intervals) RevisitedBenhamou, F. / McAllester, D. / Van Hentenryck, P. / Association for Logic Programming et al. | 1994
- 139
-
Redundancy, Variable Elimination and Linear DisequationsImbert, J.-J. J. / Association for Logic Programming et al. | 1994
- 157
-
An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the CutLe Charlier, B. / Rossi, S. / Van Hentenryck, P. / Association for Logic Programming et al. | 1994
- 172
-
An Algebraic Theory of ObservablesComini, M. / Levi, G. / Association for Logic Programming et al. | 1994
- 189
-
Datalog with Integer Periodicity ConstraintsToman, D. / Chomicki, J. / Rogers, D. S. / Association for Logic Programming et al. | 1994
- 204
-
Efficient Incremental Evaluation of Queries with AggregationRamakrishnan, R. / Ross, K. A. / Srivastava, D. / Sudarshan, S. / Association for Logic Programming et al. | 1994
- 219
-
Analysis of SLG-WAM Evaluation of Definite ProgramsSwift, T. / Warren, D. S. / Association for Logic Programming et al. | 1994
- 239
-
Tractable Argumentation Semantics via Interative Belief RevisionYou, J.-H. / Cartwright, R. / Association for Logic Programming et al. | 1994
- 254
-
Probabilistic Deductive DatabasesLakshmanan, L. V. S. / Sadri, F. / Association for Logic Programming et al. | 1994
- 269
-
Combinatory Logic Programming: Computing in Relation CalculiBroome, P. / Lipton, J. / Association for Logic Programming et al. | 1994
- 289
-
Strategies for Scheduling And- and Or-Work in Parallel Logic Programming SystemsDe Castro Dutra, I. / Association for Logic Programming et al. | 1994
- 305
-
A Simple Program Transformation for ParallelismDebray, S. / Jain, M. / Association for Logic Programming et al. | 1994
- 320
-
Effectiveness of Global Analysis of Strict Independence-Based Automatic ParallelizationBueno, F. / De la Banda, M. G. / Hermenegildo, M. / Association for Logic Programming et al. | 1994
- 339
-
Conjunto: Constraint Logic Programming with Finite Set DomainsGervet, C. / Association for Logic Programming et al. | 1994
- 359
-
The Beauty and Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over TreesPodelski, A. / Van Roy, P. / Association for Logic Programming et al. | 1994
- 377
-
Abductive Analysis of Modular Logic ProgramsGiacobazzi, R. / Association for Logic Programming et al. | 1994
- 392
-
Localizations of Unification Freedom through Matching DirectionsMarchiori, M. / Association for Logic Programming et al. | 1994
- 409
-
Intuitionistic Implication and ResolutionHui-Bon-Hoa, A. / Association for Logic Programming et al. | 1994
- 424
-
SLX-A Top-Down Derivation Procedure for Programs with Explicit NegationAlferes, J. J. / Viegas Damasio, C. / Pereira, L. M. / Association for Logic Programming et al. | 1994
- 439
-
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR ParsingRosenblueth, D. A. / Peralta, J. C. / Association for Logic Programming et al. | 1994
- 457
-
Cardinality Analysis of PrologBraem, C. / Le Charlier, B. / Modart, S. / Van Hentenryck, P. / Association for Logic Programming et al. | 1994
- 472
-
Mutually Exclusive Rules in Logic ProgrammingPost, K. / Association for Logic Programming et al. | 1994
- 487
-
Detection and Optimization of Suspension-Free Logic ProgramsDebray, S. / Gudeman, D. / Bigot, P. / Association for Logic Programming et al. | 1994
- 505
-
Encapsulated Search for Higher-Order Concurrent Constraint ProgrammingSchulte, C. / Smolka, G. / Association for Logic Programming et al. | 1994
- 521
-
AKL(FD)-A Concurrent Language for FD ProgrammingCarlson, B. / Haridi, S. / Janson, S. / Association for Logic Programming et al. | 1994
- 539
-
The Situation Calculus and Event Calculus ComparedKowalski, R. / Sadri, F. / Association for Logic Programming et al. | 1994
- 554
-
SLD-Resolution with ReflectionBarklund, J. / Dell'Acqua, P. / Costantini, S. / Lanzarone, G. A. / Association for Logic Programming et al. | 1994
- 571
-
Approximating Interaction between Linear Arithmetic ConstraintsMarriott, K. / Stuckey, P. J. / Association for Logic Programming et al. | 1994
- 586
-
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic ProgramsMichaylov, S. / Pippin, B. / Association for Logic Programming et al. | 1994
- 603
-
A Continuation-Passing Style for PrologLindgren, T. / Association for Logic Programming et al. | 1994
- 618
-
A Portable Method for Integrating SLG Resolution into Prolog SystemsRamesh, R. / Chen, W. / Association for Logic Programming et al. | 1994
- 633
-
An Abstract Machine for SLG Resolution: Definite ProgramsSwift, T. / Warren, D. S. / Association for Logic Programming et al. | 1994
- 655
-
Improving Abstract Interpretations by Systematic Lifting to the PowersetFile, G. / Ranzato, F. / Association for Logic Programming et al. | 1994
- 673
-
Declarative Error Diagnosis as Consistency-Based DiagnosisBond, G. W. / Pagurek, B. / Association for Logic Programming et al. | 1994
- 674
-
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming LanguageBrisset, P. / Association for Logic Programming et al. | 1994
- 675
-
Modal Event CalculusCervesato, I. / Chittaro, L. / Montanari, A. / Association for Logic Programming et al. | 1994
- 676
-
Parsing with PTNDavison, A. / Haywood, E. / Association for Logic Programming et al. | 1994
- 677
-
On Stable Behaviour of Dynamic Deductive Data BasesDekhtyar, M. I. / Dikovsky, A. J. / Association for Logic Programming et al. | 1994
- 678
-
Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Constraint Model-Based ProgrammingJourdan, J. / Fages, F. / Rozzonelli, D. / Demeure, A. / Association for Logic Programming et al. | 1994
- 679
-
Constraint Logic Programming for PlanningLever, J. / Association for Logic Programming et al. | 1994
- 680
-
Inferring Inheritance from Datalog ProgramsOros, M.-A. / Gloess, P. Y. / Association for Logic Programming et al. | 1994
- 681
-
Constraint Logic Programming on Strings: Theory and ApplicationsRajasekar, A. / Association for Logic Programming et al. | 1994
- 682
-
A Portable Compiler for Integrating HiLog into Prolog SystemsSagonas, K. F. / Warren, D. S. / Association for Logic Programming et al. | 1994
- 683
-
Last Parallel Call Optimization and Fast Backtracking in And-Parallel Logic Programming SystemsTang, D. / Pontelli, E. / Gupta, G. / Carro, M. / Association for Logic Programming et al. | 1994
- 685
-
A PROLOG Interpreter for First-Order Intuitionistic LogicMcCarty, L. T. / Shklar, L. A. / Association for Logic Programming et al. | 1994
- 686
-
A Simple but Effective Program Revision MethodYuan, L.-Y. / You, J.-H. / Association for Logic Programming et al. | 1994