default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ICLP 1995: Tokyo, Japan
- Leon Sterling:
Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995. MIT Press 1995, ISBN 0-262-69177-9
Invited Talks
- Kenneth M. Kahn:
ToonTalk - Concurrent Constraint Programming for Kids. ICLP 1995: 3
Advanced Tutorials
- Ryuzo Hasegawa:
Model Generation Theorem Provers and Their Applications. ICLP 1995: 7 - Helmut Simonis:
Applications of Constraint Logic Programming. ICLP 1995: 9-11 - Gert Smolka:
Oz: Concurrent Constraint Programming for Real. ICLP 1995: 13
Constraints I
- C. K. Chiu, J. H. M. Lee:
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. ICLP 1995: 17-31 - Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap:
Linear Equation Solving for Constraint Logic Programming. ICLP 1995: 33-47 - Nevin Heintze, Joxan Jaffar:
A Generic Algorithm for CLP Analysis. ICLP 1995: 49-63
Representing Actions in Logic Programming
- Fariba Sadri, Robert A. Kowalski:
Variants of the Event Calculus. ICLP 1995: 67-81 - Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
Combining Situation Calculus and Event Calculus. ICLP 1995: 83-97 - Suryanarayana M. Sripada:
Efficient Implementation of the Event Calculus for Temporal Database Applications. ICLP 1995: 99-113
Constraints II
- Björn Carlson, Mats Carlsson:
Compiling and Executing Disjunctions of Finite Domain Constraints. ICLP 1995: 117-131 - Peter Barth, Alexander Bockmayr:
Finite Domain and Cutting Plane Techniques in CLP(PB). ICLP 1995: 133-147 - François Fages, Julian Fowler, Thierry Sola:
A Reactive Constraint Logic Programming Scheme. ICLP 1995: 149-163
Databases
- Li-Yan Yuan, Jia-Huai You:
On Coherence Approach to Logic Program Revision. ICLP 1995: 167-181 - Michael I. Dekhtyar, Alexander Ja. Dikovsky:
Dynamic Deductive Data Bases With Steady Behaviour. ICLP 1995: 183-197 - Stefan Brass, Jürgen Dix:
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. ICLP 1995: 199-213
Applications
- Neng-Fa Zhou:
A Logic Programming Approach to Channel Routing. ICLP 1995: 217-231 - V. S. Subrahmanian, Carlo Zaniolo:
Relating Stable Models and AI Planning Domains. ICLP 1995: 233-247 - Yasuyuki Shirai, Ryuzo Hasegawa:
Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. ICLP 1995: 249-263
Nonmonotonic Reasoning
- Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski:
Experimenting with Nonmonotonic Reasoning. ICLP 1995: 267-281 - Toshiko Wakaki, Ken Satoh:
Computing Prioritized Circumscription by Logic Programming. ICLP 1995: 283-297 - Iliano Cervesato, Luca Chittaro, Angelo Montanari:
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP 1995: 299-313
Compiling
- Philippe Codognet, Daniel Diaz:
WAMCC: Compiling Prolog to C. ICLP 1995: 317-331 - Andreas Krall, Thomas Berger:
Incremental Global Compilation of Prolog with the Vienna Abstract Machine. ICLP 1995: 333-347 - Konstantinos Sagonas, David Scott Warren:
Efficient Execution of HiLog in WAM-based Prolog Implementations. ICLP 1995: 349-363
Abduction
- Francesca Toni, Robert A. Kowalski:
Reduction of Abductive Logic Programs to Normal Logic Programs. ICLP 1995: 367-381 - Chiaki Sakama, Katsumi Inoue:
The Effect of Partial Deduction in Abductive Reasoning. ICLP 1995: 383-397 - Antonis C. Kakas, Antonia Michael:
Integrating Abductive and Constraint Logic Programming. ICLP 1995: 399-413
CC Languages
- Philippe Codognet, Francesca Rossi:
NMCC Programming: Constraint Enforcement and Retracting in CC Programming. ICLP 1995: 417-431 - Per Brand:
A Decision Graph Algorithm for CCP Languages. ICLP 1995: 433-447 - Andreas Podelski, Gert Smolka:
Operational Semantics of Constraint Logic Programs with Coroutining. ICLP 1995: 449-463
Programming Techniques
- Timothy S. Gegg-Harrison:
Representing Logic Program Schemata in lambda-Prolog. ICLP 1995: 467-481 - Ashish Jain:
Projections of Logic Programs using Symbol Mappings. ICLP 1995: 483-496 - Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden:
A Method for Implementing Equational Theories as Logic Programs. ICLP 1995: 497-511
Concurrency
- Steve Gregory, Rafael Ramírez:
Tempo: A Declarative Concurrent Programming Language. ICLP 1995: 515-529 - Jean-Marie Jacquet, Koenraad De Bosschere:
On Composing Concurrent Logic Processes. ICLP 1995: 531-545 - Roberto Barbuti, Nicoletta De Francesco, Antonella Santone:
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561
Theory
- Anatoli Degtyarev, Andrei Voronkov:
A New Procedural Interpretation of Horn Clauses with Equality. ICLP 1995: 565-579 - Vladimir Lifschitz:
SLDNF, Constructive Negation and Grounding. ICLP 1995: 581-595 - Bern Martens, John P. Gallagher:
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. ICLP 1995: 597-611
Parallel Implementation
- Enrico Pontelli, Gopal Gupta, Dongxing Tang:
Determinacy Driven Optimizations of And-Parallel Prolog Implementations. ICLP 1995: 615-629 - Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro:
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. ICLP 1995: 631-645 - Manuel V. Hermenegildo, Pedro López-García:
Efficient Term Size Computation for Granularity Control. ICLP 1995: 647-661
Program Manipulation
- Michael Hanus:
On Extra Variables in (Equational) Logic Programming. ICLP 1995: 665-679 - Sandro Etalle, Maurizio Gabbrielli:
A Transformation System for Modular CLP Programs. ICLP 1995: 681-695 - I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711
Novel Formalisms
- Taisuke Sato:
A Statistical Learning Method for Logic Programs with Distribution Semantics. ICLP 1995: 715-729 - Kannan Govindarajan, Bharat Jayaraman, Surya Mantha:
Preference Logic Programming. ICLP 1995: 731-745 - Johan Boye, Jan Maluszynski:
Two Aspects of Directional Types. ICLP 1995: 747-761
Program Analysis
- Christoph Beierle:
Type Inferencing for Polymorphic Order-Sorted Logic Programs. ICLP 1995: 765-779 - Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe:
On the Practicality of Abstract Equation Systems. ICLP 1995: 781-795 - Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey:
Incremental Analysis of Logic Programs. ICLP 1995: 797-811
Poster Abstracts
- Ilyas Cicekli:
Shallow Backtracking Points in an Intelligent Backtracking Schema. ICLP 1995: 815 - Bogumil Hausman:
Hybrid Implementation Techniques in Erlang BEAM. ICLP 1995: 816 - T. H. Fung:
Abduction with Clark Completion. ICLP 1995: 817 - Keiji Hirata:
Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus. ICLP 1995: 818 - Anna Formica, Michele Missikoff, Roberto Terenzi:
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. ICLP 1995: 819 - Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Making Query Processing Goal-Directed in Disjunctive Logic Databases. ICLP 1995: 820 - Hans Nilsson, Torbjörn Törnkvist, Claes Wikström:
Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language. ICLP 1995: 821 - Hideki Isozaki, Hirofumi Katsuno:
Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. ICLP 1995: 822 - Jichang Tan, I-Peng Lin:
Type Synthesis for Logic Programs. ICLP 1995: 823 - Gopal Gupta, Vítor Santos Costa, Enrico Pontelli:
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824 - Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP 1995: 825 - Andreas Podelski, Gert Smolka:
Situated Simplification. ICLP 1995: 826 - Jørgen Fischer Nilsson, Andreas Hamfelt:
Constructing Logic Programs with Higher-Order Predicates. ICLP 1995: 827 - Dan Sahlin, Thomas Sjöland:
An Analyzer for a Concurrent Constraint Language. ICLP 1995: 828 - Juan José Moreno-Navarro:
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. ICLP 1995: 829 - Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
Semantical Properties of SLD-Resolution with Reflection. ICLP 1995: 830
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 2025-11-02 20:53 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:
