Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various as...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
383 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic programming '88, proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988, K. Furukawa, H. Tanaka, T. Fujisaki (eds.), 1989, Berlin, Springer, 1 vol. (VIII-251 p.), Lecture notes in computer science, 3-540-51564-X • Logic Programming '88, Texte imprimé, 9783662202203 |
Table des matières:
- Completeness of extended unification based on basic narrowing
- Proving definite clauses without explicit use of inductions
- Pseudo extension in default reasoning and belief revision by model inference
- An approach to nonmonotonic inference mechanism in production system KORE/IE
- Nonmonotonic parallel inheritance network
- Logic programming debugger using control flow specification
- ALEX: The logic programming language with explicit control and without cut-operators
- Lattice programming methodology
- A simple programming system written in GHC and its reflective operations
- Implementation of full GHC by communicating processes
- Inference methods and semantics on or-type knowledge bases
- Access program to minimize redundant refutations on the network database system
- EUODHILOS: A general-purpose reasoning assistant system Concept and implementation
- Logic based lexical analyser LAX
- Extraction of characteristic facts and abstract generation
- Knowledge representation and reasoning for discourse understanding.