Logic programming: proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1991
|
| Schriftenreihe: | Logic programming
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XXII, 952 S. |
| ISBN: | 0262560585 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005485211 | ||
| 003 | DE-604 | ||
| 005 | 20031105 | ||
| 007 | t| | ||
| 008 | 920820s1991 xx |||| 10||| eng d | ||
| 020 | |a 0262560585 |9 0-262-56058-5 | ||
| 035 | |a (OCoLC)311508844 | ||
| 035 | |a (DE-599)BVBBV005485211 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-12 |a DE-473 |a DE-188 | ||
| 082 | 0 | |a 006.3 | |
| 082 | 0 | |a 005.131 | |
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] |c ed. by Koichi Furukawa |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1991 | |
| 300 | |a XXII, 952 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Logic programming |2 blmsh | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Paris |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Furukawa, Koichi |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Logic Programming |n 8 |d 1991 |c Paris |j Sonstige |0 (DE-588)2123271-4 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434069&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003434069 | |
Datensatz im Suchindex
| _version_ | 1820868094158962688 |
|---|---|
| adam_text |
Contents
Program
Committee
xiii
Series Foreword
xv
Preface
xvii
Referees
xxi
Theory I
Negations as Hypotheses: An Abductive Foundation for
Logic Programming
3
Phan Minh Dung
Explaining SLDNF Resolution with Non-Normal Defaults
18
Marco A. Casanova, Andrea S. Hemerly, and
Ramiro A. de
T.
Guerreiro
Negation as Instantiation: A New Rule for the Treatment of
Negation in Logic Programming
32
Alessandra
Di
Pierrô,
Maurizio Martelli, and Catuscia
Palamidessi
Program
Analysis
Combined Determination of Sharing and Freeness of
Program Variables through Abstract Interpretation
49
K. Muthukumar andM.
Hermenegildo
A Generic Abstract Interpretation Algorithm and its
Complexity Analysis
64
Baudouin Le
Charlier,
Kaninda
Musumbu, and Pascal Van
Hentenryck
Derivation and Safety of an Abstract Unification Algorithm
for Groundness and Aliasing Analysis
79
Michael Codish, Dennis Dams, and Eyal Yardeni
VI
High Order I
An Intensional Logic of (Multi-Arity) Set Abstractions
97
Weidong Chen and David S. Warren
{log}: A Logic Programming Language with Finite Sets 111
Agostino
Dovier,
Eugenio
G.
Omodeo, Enrico Pontelli, and
Gianfranco
Rossi
Implementation I
Extending the
WAM
for Intelligent Backtracking
127
Philippe Codognet and Thierry Sola
Register Allocation in
WAM
142
L.
Matýska, A. Jergová,
and D. Toman
Recursion vs. Iteration in Prolog
157
Micha
Meier
Application I
Specifications as Search Keys for Software Libraries
173
Eugene J. Rollins and
Jeannette M.
Wing
Real-size Compiler Writing Using Prolog with Arrows
188
Jean-François Monin
Toward Automatic Test Data Set Selection Using Algebraic
Specifications and Logic Programming
202
Bruno
Marre
Constraints I
Perfect Relaxation in Constraint Logic Programming
223
Ugo Montanari
and
Francesco
Rossi
Modeling Answer Constraints in Constraint Logic Programs
238
Maurizio Gabbrielli
and Giorgio
Levi
Vil
Higher Order II
Unification of Simply Typed Lambda-Terms as Logic
Programming
255
Dale Miller
Higher-Order Unification as a Theorem Proving Procedure
270
Masami
Hagiya
Higher Level
Meta
Programming in Qu-Prolog
3.0 285
Anthony S.K Cheng, Peter
J
.
Robinson, and John Staples
Program Analysis
Π
Deriving Termination Proofs for Logic Programs, Using
Abstract Procedures
301
Krištof
Ver
schaetse and Danny
De Sehr
eye
An Algebraic Semantics of Prolog Program Termination
316
Brian J. Ross and Alan Smaill
Suspension Analysis for Concurrent Logic Programs
331
Michael Codish, Moreno
Falaschi,
and Kim Marriott
Extensions of LP
Lexical Logic Programs
349
Yael Moscowitz and Ehud Shapiro
AMLOG-E: A New Approach towards Amalgamation
364
Glenn Mansfield, Atsushi Togashi, Nobuhisa Miyake, and
Shoichi Noguchi
Polymorphically Typed Logic Programs
379
EyalYardeni, Thorn Fruehwirth, and Ehud Shapiro
Theory
Π
Extending S-Models to Logic Programs with Negation
397
Daniele Turi
Vlil
Extended Well-Founded Model Semantics for General
Logic Programs
YongHu and Li Yan Yuan
Implementation
Π
NUA-Prolog: An Extension to the
WAM
for Parallel
Andona
429
Doug Palmer and Lee Naish
The Andorra-I Preprocessor: Supporting Full Prolog on the
Basic Andorra Model
443
Vítor
Santos Costa, David H.D. Warren, andRong Yang
Compilation Techniques for
Nondeterminate
Flat Concur¬
rent Logic Programming Languages
457
M. Korsloot and E. Tick
Abduction
Nonmonotonic Reasoning with Well Founded Semantics
475
Luis Moniz
Pereira, Joaquim Nunes
Aparicio, and José
Júlio Alferes
Extended
Logic
Programs with Default Assumptions
490
Katsumi Inoue
Computing Abduction by Using the TMS
505
Ken Satoh and Noboru Iwayama
Application II
Restriction Site Mapping in CLP (it)
521
Roland
U.C.
Yap
A Model Generation Theorem
Prover
in KL1 Using a
Ramified-Stack Algorithm
535
Hiroshi Fujita and Ryuzo Hasegawa
A Set of Tools for VHDL Design
549
Peter B. Reintjes
їх
Uncertainty
A Semantical Framework for Supporting Subjective and
Conditional Probabilities in Deductive Databases
565
Raymond T. Ng and V.S. Subrahmanian
Towards Possibilistic Logic Programming
581
Didier Dubois, Jérôme
Lang, and Henri
Prade
Program
Analysis
Ш
Automatic Complexity Analysis of Logic Programs
599
Saumya K. Debray and Nai-Wei Lin
Proving Program Properties by Means of SLS-Resolution
614
Jonathan M. Lever
Proving Conectness of Logic Programs Using Axiomatic
Semantics
629
Livio Colussi
and Elena Mar
chiori
Theory III
Perfect Model Semantics for Logic Programs with Equality
645
Leo Bachmair and
Harald
Ganzinger
Bottom-Up Evaluation of Hierarchical Disjunctive Deduc¬
tive Databases
660
José
Alberto
Fernández
and Jack Minker
Theory IV
Substitution and Refutation Revisited
679
Hai-Ping
Ko
and Mark
E.
Nadel
On Generalized Cover Axioms
693
Hendrik
Decker
Theory V
A Clausal Form for the Completion of Logic Programs
711
James Harland
Well-Founded Completions of Logic Programs
726
Teodor
С.
Przymusinski
Constraints II
The Cardinality Operator: A New Logical Connective for
Constraint Logic Programming
745
Pascal Van Hentenryck and Yves
Deviile
Constraint Operations for CLP
(У2)
760
Donald A. Smith
Overview of the CHIP Compiler System
775
Abderrahmane Aggoun and Nicolas Beldiceanu
Implementation HI
Performances of Aurora on
NUMA
Machines
793
Shyam Mudambi
Scheduling Or-Parallelism in Muse
807
KhayriAM.
Ali
and Roland
Karlsson
Implementation IV
The Andorra-I Engine: A Parallel Implementation of the
Basic Andorra Model
825
Vítor
Santos Costa, David H.D. Warren, andRong Yang
CARMEL-4: The Unify-Spawn Machine for FCP
840
Arie
Harsát
and Ran Ginosar
Implementation V
Naïve
Reverse Can be Linear
857
Pascal Brhset and Olivier Ridoux
Xl
Implementation
Techniques
for Scoping Constructs in
Logic Programming
871
Bharat Jayaraman and Gopalan Nadathur
Abstracts of Poster Sessions
On Transactions in Logic Programming Languages
889
Stefan
Böttcher
Prolog as a Host Language
890
Bernard Migault,
François Rousselot,
and Laurent
Cervoni
A Rule-Oriented FSM Design System with Prototyping
Capabilities
891
M. Puchhammer andR.
Schlöglhofer
Co-operative Hierarchical Layout Problem Solver on
Parallel Inference Machine
892
Toshinori Watanabe andKeiko Komatsu
Abstracts of Invited Talks
Incremental Consistency Maintenance for Interactive
Applications
895
Robert A. Ballance and Susan L. Graham
Legislation as Logic Programs
910
Robert A.
Kowalski
Logics for Logic Programming: A Tutorial
911
Dale Miller
Logic Programming at IBM: From the Lab to the Customer
912
Bernard
Robinet
An Overview of Prolog Standardization
-
Progress, Prob¬
lems and Solutions
922
R.S. Scowen
XU
Abstracts of
Advanced
Tutorials
Warren's Abstract Machine: A Tutorial Reconstruction
939
Hassan Ai't-Kaci
Abstract Interpretation of Logic Programs
940
Patrick M. Cousot
Software Development and Logic Programming
941
Yves
Deville, Leon
Sterling, and Pierre Deransart
Basic Concepts of Logic Programming and PROLOG
942
Gerard
F
errand
Parallel Logic Programming Based on the Andorra Principle
943
SeifHaridi
Applications of Constraints Logic Programming Languages
944
Jean-Jacques Chabrier, Claudine Pradelles,
and Bruno
Legeard
On the Semantics of LOGIC Programs
945
Giorgio
Levi
Logic Programming Environments
946
Antonio Porto
Logic Programming for Language Processing
947
Patrick Saint-Dizier
Full First Order Logic Programming and Truth Predicate
948
Taisuke Sato
Parallel Programming and Large-scale Applications in the
FGCS Project
949
Kazuo
Такі
Author Index
951 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV005485211 |
| classification_rvk | SS 1991 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)311508844 (DE-599)BVBBV005485211 |
| dewey-full | 006.3 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods 005 - Computer programming, programs, data, security |
| dewey-raw | 006.3 005.131 |
| dewey-search | 006.3 005.131 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV005485211</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031105</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920820s1991 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262560585</subfield><subfield code="9">0-262-56058-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)311508844</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005485211</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]</subfield><subfield code="c">ed. by Koichi Furukawa</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 952 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">blmsh</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Furukawa, Koichi</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Logic Programming</subfield><subfield code="n">8</subfield><subfield code="d">1991</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2123271-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434069&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003434069</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Paris gnd-content |
| genre_facet | Konferenzschrift 1991 Paris |
| id | DE-604.BV005485211 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:18:54Z |
| institution | BVB |
| institution_GND | (DE-588)2123271-4 |
| isbn | 0262560585 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003434069 |
| oclc_num | 311508844 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-12 DE-473 DE-BY-UBG DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-12 DE-473 DE-BY-UBG DE-188 |
| physical | XXII, 952 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Logic programming proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] ed. by Koichi Furukawa Cambridge, Mass. u.a. MIT Press 1991 XXII, 952 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Literaturangaben Logic programming blmsh Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Paris gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Furukawa, Koichi Sonstige oth International Conference on Logic Programming 8 1991 Paris Sonstige (DE-588)2123271-4 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434069&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic programming proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] Logic programming blmsh Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic programming proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] |
| title_auth | Logic programming proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] |
| title_exact_search | Logic programming proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] |
| title_full | Logic programming proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] ed. by Koichi Furukawa |
| title_fullStr | Logic programming proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] ed. by Koichi Furukawa |
| title_full_unstemmed | Logic programming proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] ed. by Koichi Furukawa |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the eighth international conference on logic programming held in paris france june 24 28 1991 |
| title_sub | proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991] |
| topic | Logic programming blmsh Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logic programming Logische Programmierung Konferenzschrift 1991 Paris |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434069&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT furukawakoichi logicprogrammingproceedingsoftheeighthinternationalconferenceonlogicprogrammingheldinparisfrancejune24281991 AT internationalconferenceonlogicprogrammingparis logicprogrammingproceedingsoftheeighthinternationalconferenceonlogicprogrammingheldinparisfrancejune24281991 |