Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at brin...
Zapisane w:
| 1. autor: | |
|---|---|
| Korporacja: | |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science. Lecture notes in artificial intelligence
822 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
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 and automated reasoning, 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994, proceedings, Frank Pfenning (ed.), Berlin, Springer-Verlag, 1994, 1 vol. (X-344 p.), Lecture notes in computer science, 0-387-58216-9 • Logic Programming and Automated Reasoning, Texte imprimé, 9783662189979 |
| LEADER | 04569nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 970584 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155193066 | ||
| 020 | |a 9783540485735 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Pfenning, Frank. | |
| 245 | 1 | 0 | |a Logic programming and automated reasoning : |b 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings |c [edited by] Frank Pfenning. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 822 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Generalization and reuse of tactic proofs -- Program tactics and logic tactics -- On the relation between the ??-calculus and the syntactic theory of sequential control -- On a proof-theoretical analysis of ? 1 1 -AC, ? 1 1 -DC and ? 1 1 -CA -- Proof plans for the correction of false conjectures -- On the value of antiprenexing -- Implementing a finite-domain CLP-language on top of Prolog: a transformational approach -- RISC-CLP(CF) constraint logic programming over complex functions -- Logical closures -- Higher-order rigid E-unification -- Program extraction in a Logical Framework setting -- Higher-Order Abstract Syntax with induction in Coq -- Towards efficient calculi for resource-oriented deductive planning -- A logic programming framework for the abductive inference of intentions in cooperative dialogues -- Constraint logic programming in the sequent calculus -- On conditional rewrite systems with extra variables and deterministic logic programs -- A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs -- An efficient computation of the extended generalized closed world assumption by support-for-negation sets -- Multi-SLD resolution -- On anti-links -- A generic declarative diagnoser for normal logic programs -- Goal dependent vs. goal independent analysis of logic programs -- A kind of achievement by parts method -- Projection in temporal logic programming. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR. This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 711 | 2 | |a International conference on Logic for Programming and Automated Reasoning |n (05 |d :1994 |c :Kiev). |4 aut | |
| 776 | 0 | |0 019372949 |t Logic programming and automated reasoning |o 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 |o proceedings |f Frank Pfenning (ed.) |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (X-344 p.) |s Lecture notes in computer science |z 0-387-58216-9 | |
| 776 | 0 | |t Logic Programming and Automated Reasoning |b Texte imprimé |z 9783662189979 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-58216-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-5HXT3CKG-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750661623 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58216-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754011186 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58216-9 |z Accès INSA CVL | |
| 997 | |0 970584 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||