Logic programming: proceedings of the 1991 international symposium
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Pr.
1991
|
| Series: | Logic programming
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XVIII, 740 S. |
| ISBN: | 0262691477 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005485128 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 920820s1991 xx |||| 10||| eng d | ||
| 020 | |a 0262691477 |9 0-262-69147-7 | ||
| 035 | |a (OCoLC)24318124 | ||
| 035 | |a (DE-599)BVBBV005485128 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-384 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b proceedings of the 1991 international symposium |c ed. by Vijay Saraswat ... |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Pr. |c 1991 | |
| 300 | |a XVIII, 740 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 | 4 | |a Programmation logique - Congrès | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 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 San Diego Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Saraswat, Vijay A. |e Sonstige |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=003434005&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003434005 | |
Record in the Search Index
| _version_ | 1820868094148476928 |
|---|---|
| adam_text |
Contents
Program
Committee
xi
Series Foreword
xiii
Preface
xv
Referees
xvii
Programming Environments
Temporal Debugging and its Visual
Animation
3
Yosee Feldman, Ehud Shapiro
Abstract Views of Prolog Executions in
Opium
18
Mireille Ducassé
Non-Horn Programs
A Complete Top-Down Interpreter for
First Order Programs
35
Taisuke Sato, Fumio Motoyoshi
An Alternative Characterization of
Disjunctive Logic Programs
54
David W. Reed, Donald W. Loveland,
Bruce T. Smith
Non-Monotonicity I
Well-Founded Semantics, Generalized
71
Melvin C. Fitting
Stable Theories for Logic Programs
85
A. C. Kakas,
P. Mancarella
VI
Reasoning about Programs I
Automatic Generation of Simplification Lemmas for
Inductive Proofs
103
Laurent Fribourg
A General Criterion for Avoiding Infinite Unfolding
During Partial Deduction of Logic Programs
117
Maurice Bruynooghe, Danny
De Schreye,
Bern Martens
Concurrency and Parallelism I
A Simulation Study of Or- and Independent
And-Parallelism
135
Kish Shen, Manuel V.
Hermenegildo
Idiom: Integrating Dependent And-, Independent And-,
and Or-Parallelism
152
Gopal Gupta,
Vítor
Santos Costa, Rong Yang, Manuel V.
Hermenegildo
Programming Paradigms of the Andorra Kernel Language
167
Sverker Janson, SeifHaridi
Types and Rewriting
Typed Feature Structures: A Generalization of First-Order
Terms
187
Bob Carpenter
Typed Prolog: A Semantic Reconstruction of the
Mycroft-O'Keefe Type System
202
T. K. Lahhman, Uday S. Reddy
Non-Classical Logics I
A Clausal Logic for Deontic Action Specification
(Extended Abstract)
221
Ron van
der Meyden
A Modal Reconstruction of Blocks and Modules in Logic
Programming
239
Laura Giordano, Alberto
Martelli
Warren Abstract Machine
A New Scheme for Unification in
WAM
257
André
Marien,
Bart Demoen
Extending the Warren Abstract Machine to Polymorphic Order-
Sorted Resolution
272
Christoph Beierle, Gregor
Meyer,
Heiner
Senile
Non-Classical Logics II
Higher-Order Horn Logic Programming
289
William W. Wadge
The Uniform Proof-Theoretic Foundation of Linear Logic
Programming (Extended Abstract)
304
James Harland, David
Рут
Bottom-Up Evaluation
Тор
-Down
vs. Bottom-Up Revisited
321
Raghu Ramakrishnan, S. Sudarshan
Magic Sets and Bottom-Up Evaluation of Well-Founded Models
337
David
В
.
Kemp, Divesh Srivastava, Peter J. Stuckey
Language Constructs
Using Dynamic Predicates in an Or-Parallel Prolog System
355
Péter Szeredi
A Declarative Alternative to "Assert" in Logic Programming
372
Scott Dietzen, Frank Pfenning
Semantics of Logic Programs with Aggregates
387
David B. Kemp, Peter J. Stuckey
Constraints I
Intelligent Backtracking for CLP Languages: An Application to
CLP(X)
405
Bruno
De
Backer, Henri Beringer
Some Global Compile-Time Optimizations for
CLP(îO
420
Me/5 J0rgensen, Kim Marriott,
Spiro Michaylov
VIU
Abstract
Interpretation
of Constraints on Order-Sorted Domains
435
Yves Caseau
Concurrency and Parallelism II
Copy Avoidance through Compile-Time Analysis and Local
Reuse
455
Ian Foster, Will Winsborough
A Static Load Partitioning Method Based on Execution Profile
for Committed Choice Languages
470
Yasuo Hiaaka, Hanpei Koike, Jun'ichi
latemura,
Hidehiko
Tanaka
Reforming Compilation of Logic Programs
485
Håkan Millroth
Reasoning about Programs II
Automatic Termination Proofs for Prolog Programs Operating
on
Nonground
Terms
503
Lutz
Plumer
A Termination Test for Logic Programs
518
Yehoshua Sagiv
NSTO Programs (Not Subject To Occur-Check)
533
Pierre Deransart,
Gérard F
errand, Michel
Téguia
Non-Monotonicity II
Relating Dempster-Shafer Theory to Stable Semantics
551
Raymond T. Ng, V. S. Subrahmanian
Counterfactual Reasoning Based on Revising Assumptions
566
Luís Moniz Pereira, Joaquim Nunes
Aparicio, José
Júlio
Alferes
Applications
Experiences from a Large Industrial Circuit Design Application
581
Thomas Filkorn, Richard
Schmid,
Erik
Tidén,
Peter Warkentin
Prolog Testing of
С
Modules
596
Paul Strooper, Daniel Hoffman
Program
Transformation
and Synthesis
Derivation of Efficient Logic Programs by Synthesizing New
Predicates
611
Tadashi Kawamura
Program Transformation under the Principle of Proof as
Program
626
Hideaki Nakayama
Synthesis of a Family of Recursive Sorting Procedures
641
Kung-Kiu Lau,
Steven D. Prestwich
Constraints II
Temporal Logic Programming and its Relation to Constraint
Logic Programming
661
Christoph
Brzoska
Integrating Numerical and Qualitative Models within
Constraint Logic Programming
678
Igor
MozetiĆ,
Christian Holzbaur
True-Concurrency in Concurrent Constraint Programming
694
Ugo Montanari,
Francesca Rossi
Invited Talks
Reasoning and Programming: Analogies between Logic and
Computation
717
Johan
van Benthem
Fifth Generation Computer Project: Towards Large-Scale
Knowledge Information Processing
719
Koichi Furukawa
Advanced Tutorials
Non-Monotonic Reasoning and Logic Programming
735
Teodor
С.
Przymusinski
Using Compositional Programming to Write Portable, High-
Performance Parallel Programs
737
Ian Foster, Carl Kesselman, Steve Taylor
Author Index
739 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV005485128 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1991 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)24318124 (DE-599)BVBBV005485128 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | 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">BV005485128</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920820s1991 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262691477</subfield><subfield code="9">0-262-69147-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24318124</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005485128</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-384</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</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 1991 international symposium</subfield><subfield code="c">ed. by Vijay Saraswat ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Pr.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 740 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="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</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">San Diego Calif.</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">Saraswat, Vijay A.</subfield><subfield code="e">Sonstige</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=003434005&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-003434005</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 San Diego Calif. gnd-content |
| genre_facet | Konferenzschrift 1991 San Diego Calif. |
| id | DE-604.BV005485128 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:18:54Z |
| institution | BVB |
| isbn | 0262691477 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003434005 |
| oclc_num | 24318124 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 |
| physical | XVIII, 740 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Pr. |
| record_format | marc |
| series2 | Logic programming |
| spelling | Logic programming proceedings of the 1991 international symposium ed. by Vijay Saraswat ... Cambridge, Mass. u.a. MIT Pr. 1991 XVIII, 740 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Literaturangaben Programmation logique - Congrès Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 San Diego Calif. gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Saraswat, Vijay A. Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434005&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic programming proceedings of the 1991 international symposium Programmation logique - Congrès Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic programming proceedings of the 1991 international symposium |
| title_auth | Logic programming proceedings of the 1991 international symposium |
| title_exact_search | Logic programming proceedings of the 1991 international symposium |
| title_full | Logic programming proceedings of the 1991 international symposium ed. by Vijay Saraswat ... |
| title_fullStr | Logic programming proceedings of the 1991 international symposium ed. by Vijay Saraswat ... |
| title_full_unstemmed | Logic programming proceedings of the 1991 international symposium ed. by Vijay Saraswat ... |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the 1991 international symposium |
| title_sub | proceedings of the 1991 international symposium |
| topic | Programmation logique - Congrès Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Programmation logique - Congrès Logic programming Congresses Logische Programmierung Konferenzschrift 1991 San Diego Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434005&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT saraswatvijaya logicprogrammingproceedingsofthe1991internationalsymposium |