Logic programming: proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990]
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass. [u.a.]
MIT Press
1990
|
| Series: | Logic programming
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XVIII, 848 S. graph. Darst. |
| ISBN: | 0262540584 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004539692 | ||
| 003 | DE-604 | ||
| 005 | 20150122 | ||
| 007 | t| | ||
| 008 | 910930s1990 xx d||| |||| 10||| eng d | ||
| 020 | |a 0262540584 |9 0-262-54058-4 | ||
| 035 | |a (OCoLC)631201032 | ||
| 035 | |a (DE-599)BVBBV004539692 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-19 |a DE-188 | ||
| 084 | |a SD 1990 |0 (DE-625)142724: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] |c ed. by Saumya Debray ... |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 1990 | |
| 300 | |a XVIII, 848 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Debray, Saumya |e Sonstige |4 oth | |
| 711 | 2 | |a North American Conference on Logic Programming |d 1990 |c Austin, Tex. |j Sonstige |0 (DE-588)5050677-8 |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=002794791&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002794791 | |
Record in the Search Index
| _version_ | 1820868136629436416 |
|---|---|
| adam_text |
Contents
Program
Committee
xi
Series Foreword
xiii
Preface
xv
Referees
xvii
Semantics
Failure and Success made Symmetric
3
Giorgio
Levi, Maurizio Martelli,
and Catuscia Palamidessi
Algebraic Properties of a Class of Logic Programs
23
Paolo Mancarella,
Dino
Pedreschi, Marina Rondinelli, and Marco
Tagliata
Stationary Semantics for Disjunctive Logic Programs and Deductive
Databases
40
Teodor
С.
Przymusinski
Implementation I
Compilation of Compound Terms in Prolog
63
Micha
Meier
Finding Advantageous Orders for Argument Unification for the
Prolog
WAM
80
Zerksis
D. U mri
gar
From Decision Trees to Decision Graphs
97
Shmuel Kliger and Ehud Shapiro
VI
Constraints and their Applications
Partial Evaluation of a CLP Language
119
Donald A. Smith and Timothy J. Hickey
A Constraint Logic Programming Approach for Maintaining
Consistency in User-Interface Design
139
Hayato Ohwada and Fumio Mizoguchi
Constraint Logic Programming Applied to Hypothetical Reasoning
in Chemistry
154
Jean Jourdan and
Raúl
E. Valdés-Pérez
Concurrency
Concurrent Logic Programming: Asynchronism and Language
Comparison
175
Frank
S. de
Boer and Catuscia Palamidessi
Comparative Semantics for a Parallel Contextual Logic Programming
Language
195
Jean-Marie Jacquet
and
Luís Monteiro
Abstract Interpretation for Concurrent Logic Languages
215
Christian Codognet, Philippe Codognet, and Marc-Michel
Cor sini
Databases
Is There Anything Better than Magic?
235
Yehoshua Sagiv
Reasoning in Inconsistent Databases
255
Shamim A. Naqvi and
Francesco
Rossi
Null Values in Definite Programs
273
Yuan Liu
vu
Implementation
II
Generation
Type Garbage Collection for Parallel Logic Languages
291
Toshihiro Ozawa,
Aldra
Hosoi, and Akira Hattori
Memory Compaction for Shared Memory Multiprocessors
306
Toshihiro Ozawa,
Aldra
Hosoi, and Akira Hattori
FCP Sequential Abstract Machine Characteristics for the Systems
Development Workload
321
LeonAlkalaj,
Tomás
Lang, and Ehud Shapiro:
Partial Evaluation
A Partial Evaluation Procedure for Logic Programs
343
Kerima Benkerimi and John W. Lloyd
Partial Evaluation for Hierarchies of Logic Theories
359
Michele Bugliesi,
Evelina Lamma, and
Paola
Mello
The
Mixtus
Approach to Automatic Partial Evaluation of Full
Prolog
377
Dan
Sahlin
Constraints
Computational Complexity and Constraint Logic Programming
Languages
391
Jim Cox, Ken McAloon, and Carol Tretkoff
Meta
Programming as Constraint Programming
406
Pierre
Lim
and Peter J. Stuckey
Janus: A step towards distributed constraint programming
421
Vijay A. Saraswat,
Ken Kahn,
and Jacob Levy
VUl
Theory
Operational and Denotational Semantics of Rewrite Programs
439
Maria
Paola Bonacina
and Jieh Hsiang
Towards More Efficient Loop Checks
455
Roland
N.
Boi
Negative Logic Programs
470
Sergio Greco and
Domenico Sacca
Program Analysis
The Benefits of Global Dataflow Analysis for an Optimizing Prolog
Compiler
491
Peter Van Roy and
Alvin
M. Despain
An Algebraic Framework for Abstract Interpretation of Definite
Programs
506
R. S. Kemp and G. A.
Ringwood
Analysis of Constraint Logic Programs
521
Kim Marriott and
Harald
Sender
gaard
Proof Theory
On the Elimination of Redundant Derivations During Execution
541
Richard Helm
Avoiding Duplicate Proofs
559
Bruce Spencer
The Logical Structure of Sequential Prolog
575
James H. Andrews
їх
Parallelism I
Optimizing And-Or Parallel Implementations
595
Gopal Gupta andBharat Jayaraman:
Joining AND Parallel Solutions in AND/OR Parallel Systems
614
Laxmikant
V. Kalé
and Balkrishna Ramkumar
Scheduling and Variable Assignment in the Parallel
Parlog
Implementation
632
Jim Crammond
Negation
A Characterization of Non-Floundering Logic Programs
651
Kim Marriott,
Harald S0ndergaard,
and Philip Dart
Adding Negation-as-Failure to Intuitionistic Logic Programming
671
Anthony J.
Bonner
and L. Thorne McCarty
On Constructive Negation for Disjunctive Logic Programs
694
Jorge
Lobo
Parallelism II
Handling Speculative Work in OR-Parallel Prolog: Evaluation
Results
711
Bogumil
Hausman
On Criteria for Or-Parallel Execution Models of Logic Programs
727
Gopal Gupta and Bharat Jayaraman
The Muse Or-Parallel Prolog Model and its Performance
747
Khayri A. M.
Ali
and Roland
Karlsson
Abstracts of Invited Lectures
Hyperproof: An Excursion in Situated Logic
769
Jon Barwise
An Algebraic Semantics of Logic Programs as Structured Transition
Systems
778
Andrea Corradini and
Ugo Montanari
Prolog and Natural-Language Analysis: Into the Third Decade
803
Fernando
С
N.
Pereira
Abstracts of Advanced Tutorials
Parallel Implementations of Prolog
825
Fernando C.
N.
Pereira
Types for Logic Programs
826
Uday S. Ready
Constraint Logic Programming: From Theory to Applications
831
Pascal Van Hentenryck
Deductive Database Systems: Applications and Programming
832
Carlo Zaniolo
Author Index
837 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV004539692 |
| classification_rvk | SD 1990 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)631201032 (DE-599)BVBBV004539692 |
| discipline | Informatik Mathematik |
| 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">BV004539692</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150122</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">910930s1990 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262540584</subfield><subfield code="9">0-262-54058-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)631201032</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004539692</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-19</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1990</subfield><subfield code="0">(DE-625)142724:</subfield><subfield code="2">rvk</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 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990]</subfield><subfield code="c">ed. by Saumya Debray ...</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">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 848 S.</subfield><subfield code="b">graph. Darst.</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="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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Debray, Saumya</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">North American Conference on Logic Programming</subfield><subfield code="d">1990</subfield><subfield code="c">Austin, Tex.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5050677-8</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=002794791&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002794791</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV004539692 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:34Z |
| institution | BVB |
| institution_GND | (DE-588)5050677-8 |
| isbn | 0262540584 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002794791 |
| oclc_num | 631201032 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-188 |
| physical | XVIII, 848 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Logic programming proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] ed. by Saumya Debray ... Cambridge, Mass. [u.a.] MIT Press 1990 XVIII, 848 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logic programming Literaturangaben Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logische Programmierung (DE-588)4195096-3 s 1\p DE-604 Debray, Saumya Sonstige oth North American Conference on Logic Programming 1990 Austin, Tex. Sonstige (DE-588)5050677-8 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002794791&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic programming proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic programming proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] |
| title_auth | Logic programming proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] |
| title_exact_search | Logic programming proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] |
| title_full | Logic programming proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] ed. by Saumya Debray ... |
| title_fullStr | Logic programming proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] ed. by Saumya Debray ... |
| title_full_unstemmed | Logic programming proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] ed. by Saumya Debray ... |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the 1990 north american conference papers presented at the 1990 north american conference on logic programming held in austin texas oct 29 nov 1 1990 |
| title_sub | proceedings of the 1990 North American conference ; [papers presented at the 1990 North American Conference on Logic Programming held in Austin, Texas, Oct. 29 - Nov. 1, 1990] |
| topic | Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002794791&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT debraysaumya logicprogrammingproceedingsofthe1990northamericanconferencepaperspresentedatthe1990northamericanconferenceonlogicprogrammingheldinaustintexasoct29nov11990 AT northamericanconferenceonlogicprogrammingaustintex logicprogrammingproceedingsofthe1990northamericanconferencepaperspresentedatthe1990northamericanconferenceonlogicprogrammingheldinaustintexasoct29nov11990 |