Search dblp for Publications

export results for "toc:db/conf/iclp/iclp97.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iclp/AjiliK97,
  author    = {Farid Ajili and
               Claude Kirchner},
  title     = {A Modular Framework for the Combination of Unification and Built-In
               Constraints},
  booktitle = {{ICLP}},
  pages     = {331--345},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/AntoyEH97,
  author    = {Sergio Antoy and
               Rachid Echahed and
               Michael Hanus},
  title     = {Parallel Evaluation Strategies for Functional Logic Languages},
  booktitle = {{ICLP}},
  pages     = {138--152},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/BaumgartnerF97,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Calculi for Disjunctive Logic Programming},
  booktitle = {{ICLP}},
  pages     = {409},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/BelleghemDS97,
  author    = {Kristof Van Belleghem and
               Marc Denecker and
               Danny De Schreye},
  title     = {A Strong Correspondence between Description Logics and Open Logic
               Programming},
  booktitle = {{ICLP}},
  pages     = {346--360},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/BruynoogheJK97,
  author    = {Maurice Bruynooghe and
               Gerda Janssens and
               Andreas K{\aa}gedal},
  title     = {Live-Structure Analysis for Logic Programming Languages with Declarations},
  booktitle = {{ICLP}},
  pages     = {33--47},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/BuenoCL97,
  author    = {Francisco Bueno and
               Michael Codish and
               Vitaly Lagoon},
  title     = {Sharing Analysis Using Set Logic Programs},
  booktitle = {{ICLP}},
  pages     = {417},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/CaseauL97,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {Solving Small TSPs with Constraints},
  booktitle = {{ICLP}},
  pages     = {316--330},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/CervesatoFM97,
  author    = {Iliano Cervesato and
               Massimo Franceschet and
               Angelo Montanari},
  title     = {The Complexity of Model Checking in Modal Event Calculi},
  booktitle = {{ICLP}},
  pages     = {419},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Codish97,
  author    = {Michael Codish},
  title     = {Efficient Goal Directed Bottom-up Evaluation of Logic Programs},
  booktitle = {{ICLP}},
  pages     = {422},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/CodishDS97,
  author    = {Michael Codish and
               Bart Demoen and
               Konstantinos Sagonas},
  title     = {{XSB} as the Natural Habitat for General Purpose Program Analysis},
  booktitle = {{ICLP}},
  pages     = {416},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/DahlTL97,
  author    = {Ver{\'{o}}nica Dahl and
               Paul Tarau and
               Renwei Li},
  title     = {Assumption Grammars for Processing Natural Language},
  booktitle = {{ICLP}},
  pages     = {256--270},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/DebrayGH97,
  author    = {Saumya K. Debray and
               Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
               Manuel V. Hermenegildo},
  title     = {Non-Failure Analysis for Logic Programs},
  booktitle = {{ICLP}},
  pages     = {48--62},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/DecorteS97,
  author    = {Stefaan Decorte and
               Danny De Schreye},
  title     = {Demand-Driven and Constraint-Based Automatic Left-Termination Analysis
               for Logic Programs},
  booktitle = {{ICLP}},
  pages     = {78--92},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/DekhtyarD97,
  author    = {Michael I. Dekhtyar and
               Alexander Ja. Dikovsky},
  title     = {Total Homeostaticity and Integrity Constraints Restorability Recognition},
  booktitle = {{ICLP}},
  pages     = {241--255},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/DekhtyarS97,
  author    = {Alex Dekhtyar and
               V. S. Subrahmanian},
  title     = {Hybrid Probabilistic Programs},
  booktitle = {{ICLP}},
  pages     = {391--405},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/FreireSW97,
  author    = {Juliana Freire and
               Terrance Swift and
               David Scott Warren},
  title     = {Taking {I/O} Seriously: Resolution Reconsidered for Disk},
  booktitle = {{ICLP}},
  pages     = {198--212},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Gonzalez-MorenoHR97,
  author    = {Juan Carlos Gonz{\'{a}}lez Moreno and
               Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {A Higher Order Rewriting Logic for Functional Logic Programming},
  booktitle = {{ICLP}},
  pages     = {153--167},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/HuangSS97,
  author    = {Zhiyi Huang and
               Chengzheng Sun and
               Abdul Sattar},
  title     = {Handling Side-effects with Selective Recomputation in {AND/OR} Parallel
               Execution Models},
  booktitle = {{ICLP}},
  pages     = {410},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/KagedalD97,
  author    = {Andreas K{\aa}gedal and
               Saumya K. Debray},
  title     = {A Practical Approach to Structure Reuse of Arrays in Single Assignment
               Languages},
  booktitle = {{ICLP}},
  pages     = {18--32},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/LammaMM97,
  author    = {Evelina Lamma and
               Michela Milano and
               Paola Mello},
  title     = {Reasoning on Constraints in Constraint Logic Programming},
  booktitle = {{ICLP}},
  pages     = {413},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/LindenstraussS97,
  author    = {Naomi Lindenstrauss and
               Yehoshua Sagiv},
  title     = {Automatic Termination Analysis of Logic Programs},
  booktitle = {{ICLP}},
  pages     = {63--77},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Liu97,
  author    = {Mengchi Liu},
  title     = {Supporting Partial and Complete Sets and Tuples in Deductive Databases},
  booktitle = {{ICLP}},
  pages     = {415},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Mahajan97,
  author    = {Sameer Mahajan and
               S. Ramesh},
  title     = {Concurrent Logic Programming and pi Calculus},
  booktitle = {{ICLP}},
  pages     = {411},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/MolinaP97,
  author    = {Juan M. Molina{-}Bravo and
               Ernesto Pimentel},
  title     = {Modularity in Functional-Logic Programming},
  booktitle = {{ICLP}},
  pages     = {183--197},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/MullerW97,
  author    = {Tobias M{\"{u}}ller and
               J{\"{o}}rg W{\"{u}}rtz},
  title     = {Connecting Propagators with a Concurrent Constraint Language},
  booktitle = {{ICLP}},
  pages     = {412},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Petukhin97,
  author    = {Vyacheslav Petukhin},
  title     = {Embedded Implications as a Generalization of Negation as Failure},
  booktitle = {{ICLP}},
  pages     = {420},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/PontelliG97,
  author    = {Enrico Pontelli and
               Gopal Gupta},
  title     = {Implementation Mechanisms for Dependent And-Parallelism},
  booktitle = {{ICLP}},
  pages     = {123--137},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/PontelliGPF97,
  author    = {Enrico Pontelli and
               Gopal Gupta and
               Francesco Pulvirenti and
               Alfredo Ferro},
  title     = {Automatic Compile-time Parallelization of Prolog Programs for Dependent
               And-Parallelism},
  booktitle = {{ICLP}},
  pages     = {108--122},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/PueblaBMS97,
  author    = {Germ{\'{a}}n Puebla and
               Maria J. Garc{\'{\i}}a de la Banda and
               Kim Marriott and
               Peter J. Stuckey},
  title     = {Optimization of Logic Programs with Dynamic Scheduling},
  booktitle = {{ICLP}},
  pages     = {93--107},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Raamsdonk97,
  author    = {Femke van Raamsdonk},
  title     = {Translating Logic Programs into Conditional Rewriting Systems},
  booktitle = {{ICLP}},
  pages     = {168--182},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Schachte97,
  author    = {Peter Schachte},
  title     = {Global Variables in Logic Programming},
  booktitle = {{ICLP}},
  pages     = {3--17},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Schulte97,
  author    = {Christian Schulte},
  title     = {Oz Explorer: {A} Visual Constraint Programming Tool},
  booktitle = {{ICLP}},
  pages     = {286--300},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/ShimajiriSI97,
  author    = {Yuka Shimajiri and
               Hirohisa Seki and
               Hidenori Itoh},
  title     = {Incorporating a Pruning Strategy into the Computation of Stable Models
               based on {MGTP}},
  booktitle = {{ICLP}},
  pages     = {376--390},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/SmausHK97,
  author    = {Jan{-}Georg Smaus and
               Patricia M. Hill and
               Andy King},
  title     = {Domain Construction for Mode Analysis of Typed Logic Programs},
  booktitle = {{ICLP}},
  pages     = {418},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/Stuckey97,
  author    = {Peter J. Stuckey},
  title     = {Constraint Search Tree},
  booktitle = {{ICLP}},
  pages     = {301--315},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/TorosluK97,
  author    = {Ismail H. Toroslu and
               Fahri Kocabas},
  title     = {Effective Maintenance of Recursive Views: Improvements to the DRed
               Algorithm},
  booktitle = {{ICLP}},
  pages     = {213--225},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/TsuchidaAIY97,
  author    = {Kensei Tsuchida and
               Yoshihiro Adachi and
               Takanori Imaki and
               Takeo Yaku},
  title     = {Tree Drawing Using Constraint Logic Programming},
  booktitle = {{ICLP}},
  pages     = {414},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/VaupelGP97,
  author    = {Rick Vaupel and
               Enrico Pontelli and
               Gopal Gupta},
  title     = {Visualization of And/Or-Parallel Execution of Logic Programs},
  booktitle = {{ICLP}},
  pages     = {271--285},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/WichertF97,
  author    = {Carl{-}Alexander Wichert and
               Burkhard Freitag},
  title     = {Capturing Database Dynamics by Deferred Updates},
  booktitle = {{ICLP}},
  pages     = {226--240},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/YouWY97,
  author    = {Jia{-}Huai You and
               Xianchang Wang and
               Li{-}Yan Yuan},
  title     = {Disjunctive Logic Programming as Constrained Inferences},
  booktitle = {{ICLP}},
  pages     = {361--375},
  publisher = {{MIT} Press},
  year      = {1997}
}
@inproceedings{DBLP:conf/iclp/ZukowskiF97,
  author    = {Ulrich Zukowski and
               Burkhard Freitag and
               Stefan Brass},
  title     = {Differential Bottom-Up Computation of the Well-Founded Semantics},
  booktitle = {{ICLP}},
  pages     = {421},
  publisher = {{MIT} Press},
  year      = {1997}
}
@proceedings{DBLP:conf/iclp/1997,
  editor    = {Lee Naish},
  title     = {Logic Programming, Proceedings of the Fourteenth International Conference
               on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  publisher = {{MIT} Press},
  year      = {1997}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics