default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ICLP 1997: Leuven, Belgium
- Lee Naish:
Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. MIT Press 1997, ISBN 0-262-64035-X
Opening Session
- Yves Caseau, François Laburthe:
Solving Small TSPs with Constraints. ICLP 1997: 316-330 - Juliana Freire, Terrance Swift, David Scott Warren:
Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP 1997: 198-212 - Jia-Huai You, Xianchang Wang, Li-Yan Yuan:
Disjunctive Logic Programming as Constrained Inferences. ICLP 1997: 361-375
Analysis I
- Peter Schachte:
Global Variables in Logic Programming. ICLP 1997: 3-17 - Andreas Kågedal, Saumya K. Debray:
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. ICLP 1997: 18-32 - Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal:
Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP 1997: 33-47
Analysis II
- Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo:
Non-Failure Analysis for Logic Programs. ICLP 1997: 48-62 - Naomi Lindenstrauss, Yehoshua Sagiv:
Automatic Termination Analysis of Logic Programs. ICLP 1997: 63-77 - Stefaan Decorte, Danny De Schreye:
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. ICLP 1997: 78-92 - Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107
Parallelism
- Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro:
Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997: 108-122 - Enrico Pontelli, Gopal Gupta:
Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137 - Sergio Antoy, Rachid Echahed, Michael Hanus:
Parallel Evaluation Strategies for Functional Logic Languages. ICLP 1997: 138-152
Rewriting and Functional Programming
- Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo:
A Higher Order Rewriting Logic for Functional Logic Programming. ICLP 1997: 153-167 - Femke van Raamsdonk:
Translating Logic Programs into Conditional Rewriting Systems. ICLP 1997: 168-182 - Juan M. Molina-Bravo, Ernesto Pimentel:
Modularity in Functional-Logic Programming. ICLP 1997: 183-197
Databases
- Ismail H. Toroslu, Fahri Kocabas:
Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm. ICLP 1997: 213-225 - Carl-Alexander Wichert, Burkhard Freitag:
Capturing Database Dynamics by Deferred Updates. ICLP 1997: 226-240 - Michael I. Dekhtyar, Alexander Ja. Dikovsky:
Total Homeostaticity and Integrity Constraints Restorability Recognition. ICLP 1997: 241-255
Visualisation/Natural Language Processing
- Verónica Dahl, Paul Tarau, Renwei Li:
Assumption Grammars for Processing Natural Language. ICLP 1997: 256-270 - Rick Vaupel, Enrico Pontelli, Gopal Gupta:
Visualization of And/Or-Parallel Execution of Logic Programs. ICLP 1997: 271-285 - Christian Schulte:
Oz Explorer: A Visual Constraint Programming Tool. ICLP 1997: 286-300
Constraints
- Peter J. Stuckey:
Constraint Search Tree. ICLP 1997: 301-315 - Farid Ajili, Claude Kirchner:
A Modular Framework for the Combination of Unification and Built-In Constraints. ICLP 1997: 331-345
Foundations
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
A Strong Correspondence between Description Logics and Open Logic Programming. ICLP 1997: 346-360 - Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. ICLP 1997: 376-390 - Alex Dekhtyar, V. S. Subrahmanian:
Hybrid Probabilistic Programs. ICLP 1997: 391-405
Posters
- Peter Baumgartner, Ulrich Furbach:
Calculi for Disjunctive Logic Programming. ICLP 1997: 409 - Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. ICLP 1997: 410 - Sameer Mahajan, S. Ramesh:
Concurrent Logic Programming and pi Calculus. ICLP 1997: 411 - Tobias Müller, Jörg Würtz:
Connecting Propagators with a Concurrent Constraint Language. ICLP 1997: 412 - Evelina Lamma, Michela Milano, Paola Mello:
Reasoning on Constraints in Constraint Logic Programming. ICLP 1997: 413 - Kensei Tsuchida, Yoshihiro Adachi, Takanori Imaki, Takeo Yaku:
Tree Drawing Using Constraint Logic Programming. ICLP 1997: 414 - Mengchi Liu:
Supporting Partial and Complete Sets and Tuples in Deductive Databases. ICLP 1997: 415 - Michael Codish, Bart Demoen, Konstantinos Sagonas:
XSB as the Natural Habitat for General Purpose Program Analysis. ICLP 1997: 416 - Francisco Bueno, Michael Codish, Vitaly Lagoon:
Sharing Analysis Using Set Logic Programs. ICLP 1997: 417 - Jan-Georg Smaus, Patricia M. Hill, Andy King:
Domain Construction for Mode Analysis of Typed Logic Programs. ICLP 1997: 418 - Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi. ICLP 1997: 419 - Vyacheslav Petukhin:
Embedded Implications as a Generalization of Negation as Failure. ICLP 1997: 420 - Ulrich Zukowski, Burkhard Freitag, Stefan Brass:
Differential Bottom-Up Computation of the Well-Founded Semantics. ICLP 1997: 421 - Michael Codish:
Efficient Goal Directed Bottom-up Evaluation of Logic Programs. ICLP 1997: 422
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
