Proceedings of the 10th International Conference on Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

David Scott Warren
Proceedings of the 10th International Conference on Logic Programming
ICLP, 1993.

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{ICLP-1993,
	address       = "Budapest, Hungary",
	editor        = "David Scott Warren",
	isbn          = "0-262-73105-3",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the 10th International Conference on Logic Programming}",
	year          = 1993,
}

Contents (65 items)

ICLP-1993-Futo #communication #process #prolog
Prolog with Communicating Processes: From T-Prolog to CSR-Prolog (IF), pp. 3–17.
ICLP-1993-NerodeK #constraints #hybrid #logic programming
Hybrid Systems and Constraint Logic Programming (AN, WK), pp. 18–24.
ICLP-1993-BrissetR #continuation #prolog
Continuations in λ-Prolog (PB, OR), pp. 27–43.
ICLP-1993-McCarty #higher-order #induction #logic #prolog #proving #source code
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic (LTM), pp. 44–63.
ICLP-1993-HuitouzeLR #logic #prolog
Logic Grammars and λ-Prolog (SLH, PL, OR), pp. 64–79.
ICLP-1993-Hanus #analysis #constraints
Analysis of Nonlinear Constraints in CLP(R) (MH), pp. 83–99.
ICLP-1993-DumortierJBC #analysis #constraints
Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.
ICLP-1993-CodishDFB #analysis #correctness #logic programming #question #source code
Freeness Analysis for Logic Programs — And Correctness? (MC, DD, GF, MB), pp. 116–131.
ICLP-1993-BeaumontW #prolog #scheduling
Scheduling Speculative Work in Or-Parallel Prolog Systems (TB, DHDW), pp. 135–149.
ICLP-1993-YangBDCW #performance
Performance of the Compiler-Based Andorra-I System (RY, TB, IdCD, VSC, DHDW), pp. 150–166.
ICLP-1993-Shen #implementation
Implementing Dynamic Dependent And-Parallelism (KS), pp. 167–183.
ICLP-1993-CarroGH #execution #logic programming #paradigm #parallel #source code #visualisation
Some Paradigms for Visualizing Parallel Execution of Logic Programs (MC, LMGH, MVH), pp. 184–200.
ICLP-1993-PintoR #calculus #logic programming #reasoning
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus (JP, RR), pp. 203–221.
ICLP-1993-Dung #database #logic programming #representation
Representing Actions in Logic Programming and Its Applications in Database Updates (PMD), pp. 222–238.
ICLP-1993-Brzoska #bound #logic programming
Temporal Logic Programming with Bounded Universal Modality Goals (CB), pp. 239–256.
ICLP-1993-BonnerK #logic programming #transaction
Transaction Logic Programming (AJB, MK), pp. 257–279.
ICLP-1993-BevemyrLM #implementation #prolog
Reform Prolog: The Language and Its Implementation (JB, TL, HM), pp. 283–298.
ICLP-1993-BosschereJ #implementation #multi #named #prolog #semantics
Multi-Prolog: Definition, Operational Semantics and Implementation (KDB, JMJ), pp. 299–313.
ICLP-1993-Smith #logic programming #multi #named
MultiLog: Data Or-Parallel Logic Programming (DAS), pp. 314–331.
ICLP-1993-InoueS #abduction #logic programming #source code
Transforming Abductive Logic Programs to Disjunctive Programs (KI, CS), pp. 335–353.
ICLP-1993-LeviR #formal method #metaprogramming
A Formalization of Metaprogramming for real (GL, DR), pp. 354–373.
ICLP-1993-BossiBF #fixpoint #prolog #semantics
A New Fixpoint Semantics for Prolog (AB, MB, MF), pp. 374–389.
ICLP-1993-Debray #on the
On Copy Avoidance in Single Assignment Languages (SKD), pp. 393–407.
ICLP-1993-Marien
Findall without findall/3 (AM), pp. 408–423.
ICLP-1993-DawsonRRS #logic programming #source code
Extracting Determinacy in Logic Programs (SD, CRR, IVR, RCS), pp. 424–438.
ICLP-1993-KraanBB #logic programming #reasoning #synthesis
Middle-Out Reasoning for Logic Program Synthesis (IK, DAB, AB), pp. 441–455.
ICLP-1993-LauO #deduction #logic programming #source code #synthesis
An Incompleteness Result for Deductive Synthesis of Logic Programs (KKL, MO), pp. 456–477.
ICLP-1993-Luttringhaus-Kappel #generative #logic programming #source code
Control Generation for Logic Programs (SLK), pp. 478–495.
ICLP-1993-Imbert #constraints #linear
Variable Elimination for Generalized Linear Constraints (JLI), pp. 499–516.
ICLP-1993-BenhamouM #constraints #equation #logic programming #pseudo
Boolean Pseudo-equations in Constraint Logic Programming (FB, JLM), pp. 517–531.
ICLP-1993-Contejean #constraints #incremental #linear
Solving Linear Diophantine Constraints Incrementally (EC), pp. 532–549.
ICLP-1993-BackerB #constraints #linear
A CLP Language Handling Disjunctions of Linear Constraints (BDB, HB), pp. 550–563.
ICLP-1993-Turner #logic programming #source code #theorem
A Monotonicity Theorem for Extended Logic Programs (HT), pp. 567–585.
ICLP-1993-GiordanoMS #semantics
A Semantics for Eshghi and Kowalski’s Procedure (LG, AM, MLS), pp. 586–600.
ICLP-1993-PereiraA #reasoning #semantics
Optative Reasoning with Scenario Semantics (LMP, JJA), pp. 601–615.
ICLP-1993-Dung93a #logic programming #semantics
An Argumentation Semantics for Logic Programming with Explicit Negation (PMD), pp. 616–630.
ICLP-1993-MantsivodaPW #constraints #memory management
Memory Management of Constraint in Flang (AM, VP, AW), pp. 633–646.
ICLP-1993-CarlssonG #automation #constraints #using
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques (MC, MG), pp. 647–665.
ICLP-1993-KempS #analysis #constraints #optimisation #query
Analysis Based Constraint Query Optimization (DBK, PJS), pp. 666–682.
ICLP-1993-HarlandR #constraints #linear #recursion
Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.
ICLP-1993-SakamaI #logic programming #source code
Negation in Disjunctive Logic Programs (CS, KI), pp. 703–719.
ICLP-1993-RaoKS #haskell #proving #source code #termination
Proving Termination of GHC Programs (MRKKR, DK, RKS), pp. 720–736.
ICLP-1993-Maher #logic programming
A Logic Programming View of CLP (MJM), pp. 737–753.
ICLP-1993-TickB #compilation #evaluation #kernel #performance #runtime
Performance Evaluation of Monaco Compiler and Runtime Kernel (ET, CB), pp. 757–773.
ICLP-1993-DiazC
A Minimal Extension of the WAM for clp(FD) (DD, PC), pp. 774–790.
ICLP-1993-BolD
The Underlying Search for Magic Templates and Tabulation (RNB, LD), pp. 793–811.
ICLP-1993-Ng #consistency #database #empirical #semantics
Semantics and Consistency of Empirical Databases (RTN), pp. 812–826.
ICLP-1993-Balogh #interface #prolog #sql
The SQL Interface of MProlog (KB), pp. 829–830.
ICLP-1993-BisdorffL #industrial #problem
Industrial Disposing Problem Solved in CHIP (RB, SL), p. 831.
ICLP-1993-BorgerR #in a nutshell #prolog
Full Prolog in a Nutshell (EB, DR), p. 832.
ICLP-1993-ChikayamaFY #implementation #performance
A Portable and Reasonably Efficient Implementation of KL1 (TC, TF, HY), p. 833.
ICLP-1993-CorsiniR #analysis #fault #safety
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers (MMC, AR), p. 834.
ICLP-1993-FarkasGMU #development #knowledge base #named #prolog
ZEXPERT — A Prolog-Based Shell for Knowledge Base Development (ZF, GG, KM, GU), pp. 835–836.
ICLP-1993-Fruhwirth #constraints
User-Defined Constraint Handling (TWF), pp. 837–838.
ICLP-1993-GrantJ #modelling #prolog #tool support
A Prolog Toolkit for control System Models (PWG, CPJ), pp. 839–840.
ICLP-1993-Gusikhin #integration #prolog #scheduling
Integration of Traditional Scheduling Techniques and AI on Prolog Basis (OYG), p. 841.
ICLP-1993-IvanetsIKT
Optimum Flight Planning System for Aerodrome Zone (SI, NI, MK, ST), p. 842.
ICLP-1993-KossovskyS #backtracking #logic programming
Function-Patterns and Fan-Backtracking for Logic Programming (NKK, IPS), p. 843.
ICLP-1993-KusalikO #logic programming #towards #visualisation
Towards Generalized Visualization Support for Logic Programming (AJK, GMO), p. 844.
ICLP-1993-LadretR #logic programming #protocol #testing
Contribution of Logic Programming to Support Telecommunications Protocol Tests (DL, MR), pp. 845–846.
ICLP-1993-LiRSVBPPSCDRSS #named #parallel #using
APPLAUSE: Applications Using the ElipSys Parallel CLP System (LLL, MR, KS, AV, JB, CP, ZP, TS, DAC, SD, CJR, JS, GS), pp. 847–848.
ICLP-1993-MeklyY #approach #automation #generative #logic programming #modelling #requirements #testing
A Logic Programming Approach to Requirements Modelling and Automated Test Generation (LJM, MPY), p. 849.
ICLP-1993-Reviakin #logic programming #prolog
Logic Programming System Prolog-plus (MR), p. 850.
ICLP-1993-VaghaniRKSSLH #database #deduction
Status of the Aditi Deductive Database System (JV, KR, DBK, ZS, PJS, TSL, JH), p. 851.
ICLP-1993-WeiglFMF #fuzzy #named #prolog
Istropolitan — a WAM Based Fuzzy Prolog (IW, MF, SM, RF), p. 852.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.