Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st ICLP 1982: Marseille, France
- Michel Van Caneghem:
Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982. ADDP-GIA 1982
Control and Meta-Level
- Luís Monteiro:
A Horn Clause-like Logic for Specifying Concurrency. ICLP 1982: 1-8 - Luís Moniz Pereira:
Logic Control with Logic. ICLP 1982: 9-18 - Kenneth M. Kahn:
A Partial Evaluator of Lisp Programs Written in Prolog. ICLP 1982: 19-25 - Kenneth A. Bowen:
Concurrent Execution of Logic. ICLP 1982: 26-30 - António Porto:
Epilog: A Language for Extended Programming in Logic. ICLP 1982: 31-37
Implementation
- Koichi Furukawa, Katsumi Nitta, Yuji Matsumoto:
Prolog Interpreter Based on Concurrent Programming. ICLP 1982: 38-44 - Christian Percebois, Jean-Paul Sansonnet:
A Lisp-machine to Implement Prolog. ICLP 1982: 45-51 - Maurice Bruynooghe:
A Note on Garbage-Collection in Prolog Interpreters. ICLP 1982: 52-55 - Maarten H. van Emden:
An Algorithm for Interpreting Prolog Programs. ICLP 1982: 56-64 - Hideyuki Nakashima:
Prolog/KR - Language Features. ICLP 1982: 65-70 - Norbert Eisinger, Simon Kasif, Jack Minker:
Logic Programming: A Parallel Approach. ICLP 1982: 71-77
Applications I
- Alain Grumbach:
Knowledge Acquisition in Prolog. ICLP 1982: 78-84 - Lynette Hirschman, Karl Puder:
Restriction Grammar in Prolog. ICLP 1982: 85-90 - Upen S. Chakravarthy, Jack Minker, Duc Tran:
Interfacing Predicate Logic Languages and Relational Databases. ICLP 1982: 91-98 - Richard Ennals:
Teaching Logic as a Computer Language in Schools. ICLP 1982: 99-104 - Jan Sebelík, Petr Stepánek:
Graphs as Data in Prolog Programs. ICLP 1982: 105-109 - John W. Roach, Theodore D. Fuller:
A Prolog Simulation of Migration Decision Making in a Less Developed Country. ICLP 1982: 110-115
Program Development
- Douglas R. Skuce:
Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation. ICLP 1982: 116-122 - Zsuzsa Farkas, Péter Szeredi, Edit Sántáné-Tóth:
LDM: A Program Specification Support System. ICLP 1982: 123-128 - Maurice Bruynooghe:
Adding Redundancy to Obtain more Reliable and Readable Prolog Programs. ICLP 1982: 129-133 - Toshiaki Kurokawa:
Logic Programming - What Does it Bring to the Software Engineering. ICLP 1982: 134-138 - Zsuzsanna Markusz, A. A. Kaposi:
A Design Methodology in Prolog Programming. ICLP 1982: 139-145 - Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund:
Towards a Derivation Editor. ICLP 1982: 146-151 - Ehud Y. Shapiro:
Alternation and the Computational Complexity of Logic Programs. ICLP 1982: 154-163
Theoretical Issues
- Howard A. Blair:
The Undecidability of Two Completeness Notions for the "Negation as Failure". ICLP 1982: 164-168 - Taisuke Sato:
Negation and Semantics of Prolog Programs. ICLP 1982: 169-174 - Roberto Barbuti, Pierpaolo Degano, Giorgio Levi:
Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181 - Harvey Abramson:
Unification-based Conditional Binding Constructs. ICLP 1982: 182-186 - Paul H. Morris:
Relational Production Systems and Logic Programs. ICLP 1982: 187-192 - Jan Maluszynski, Jørgen Fischer Nilsson:
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. ICLP 1982: 193-199
Applications II
- Luís Moniz Pereira, Paul Sabatier, Eugénio Oliveira:
ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. ICLP 1982: 200-209 - Michel Joubert, Marius Fieschi, Dominique Fieschi, M. Roux:
Medical Decision Aid: Logic Bases of the System SPHINX. ICLP 1982: 210-214 - Jean François Pique:
On a Semantic Representation of Natural Language Sentences. ICLP 1982: 215-223 - Luís Moniz Pereira, António Porto:
A Prolog Implementation of a Large System on a Small Machine. ICLP 1982: 225-229 - Robert Pasero:
A Dialogue in Natural Language. ICLP 1982: 231-239 - Kave Eshghi:
Application of Meta-language Programming to Fault Finding in Logic Circuits. ICLP 1982: 240-246
a service of 
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-04-25 04:53 CEST 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:
