share record
persistent URL:
Vladimir Lifschitz : Answer Set Planning. ICLP 1999 : 23-37 share record
persistent URL:
Lunjin Lu , John G. Cleary : A Regular Type Analysis of Logic Programs. ICLP 1999 : 613 share record
persistent URL:
Sarah Mallet , Mireille Ducassé : Generating Deductive Database Explanations. ICLP 1999 : 154-168 share record
persistent URL:
Julio Mariño , Juan José Moreno-Navarro : Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP 1999 : 614 share record
persistent URL:
Alberto Momigliano , Frank Pfenning : The Relative Complement Problem for Higher-Order Patterns. ICLP 1999 : 380-394 share record
persistent URL:
Tobias Müller : Practical Investigation of Constraints with Graph Views. ICLP 1999 : 615 share record
persistent URL:
Fernando Orejas , Elvira Pino : Semantic Definitions for Normal Open Programs. ICLP 1999 : 200-214 share record
persistent URL:
Mauricio Osorio , Bharat Jayaraman , Juan Carlos Nieves : Declarative Pruning in a Functional Query Language. ICLP 1999 : 588-604 share record
persistent URL:
Dino Pedreschi , Salvatore Ruggieri : Bounded Nondeterminism of Logic Programs. ICLP 1999 : 350-364 share record
persistent URL:
Gerald Penn : An Optimized Prolog Encoding of Typed Feature Structures. ICLP 1999 : 124-138 share record
persistent URL:
Fernando C. N. Pereira : Declarative Programming for a Messy World. ICLP 1999 : 3-5 share record
persistent URL:
Maurizio Proietti , Alberto Pettorossi : Transforming Inductive Definitions. ICLP 1999 : 486-499 share record
persistent URL:
Peter Van Roy : Logic Programming in Oz with Mozart. ICLP 1999 : 38-51 export record
dblp key:
conf/iclp/RoychoudhuryKR99 share record
persistent URL:
Abhik Roychoudhury , K. Narayan Kumar , I. V. Ramakrishnan : Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999 : 616 share record
persistent URL:
Taisuke Sato , Satoshi Funada : Reactive Logic Programming by Reinforcement Learning. ICLP 1999 : 617 share record
persistent URL:
Christian Schulte : Comparing Trailing and Copying for Constraint Programming. ICLP 1999 : 275-289 share record
persistent URL:
Silvija Seres , J. Michael Spivey , C. A. R. Hoare : Algebra of Logic Programming. ICLP 1999 : 184-199 share record
persistent URL:
Jan-Georg Smaus : Proving Termination of Input-Consuming Logic Programs. ICLP 1999 : 335-349 share record
persistent URL:
Bernhard Thalheim : Logics and Database Modelling. ICLP 1999 : 6-21 share record
persistent URL:
Evan Tick , Roland H. C. Yap , Michael J. Maher : Finding Fair Allocations for the Coalition Problem with Constraints. ICLP 1999 : 530-544 share record
persistent URL:
Miroslaw Truszczynski : Computing Large and Small Stable Models. ICLP 1999 : 169-183 share record
persistent URL:
Wim Vanhoof , Maurice Bruynooghe : Binding-time Analysis for Mercury. ICLP 1999 : 500-514 share record
persistent URL:
Sofie Verbaeten : Termination Analysis for Abductive General Logic Programs. ICLP 1999 : 365-379 share record
persistent URL:
Yan Zhang : Monotonicity in Rule Based Update. ICLP 1999 : 471-485 share record
persistent URL:
Neng-Fa Zhou , Yi-Dong Shen , Li-Yan Yuan , Jia-Huai You : A Linear Tabling Mechanism. ICLP 1999 : 618 share record
persistent URL:
Ulrich Zukowski , Burkhard Freitag : Well-founded Semantics by Transformation: The Non-ground Case. ICLP 1999 : 456-470 share record
persistent URL:
Danny De Schreye : Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999. MIT Press 1999 , ISBN 0-262-54104-1 [contents]