Logic programming: proceedings of the Joint International Conference and Symposium on Logic Programming
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1992
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 848 S. graph. Darst. |
| ISBN: | 0262510642 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008356784 | ||
| 003 | DE-604 | ||
| 005 | 19931126 | ||
| 007 | t| | ||
| 008 | 931126s1992 xx d||| |||| 10||| eng d | ||
| 020 | |a 0262510642 |9 0-262-51064-2 | ||
| 035 | |a (OCoLC)28294942 | ||
| 035 | |a (DE-599)BVBBV008356784 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-384 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1/1 |2 20 | |
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b proceedings of the Joint International Conference and Symposium on Logic Programming |c ed. by Krzysztof Apt |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1992 | |
| 300 | |a X, 848 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 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 |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Apt, Krzysztof R. |d 1949- |e Sonstige |0 (DE-588)110139763 |4 oth | |
| 711 | 2 | |a Joint International Conference and Symposium on Logic Programming |d 1992 |c Washington, DC |j Sonstige |0 (DE-588)5083003-X |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=005518004&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005518004 | |
Datensatz im Suchindex
| _version_ | 1820868126698373120 |
|---|---|
| adam_text |
Contents
Program
Committee
xi
The Association for Logic Programming
xiii
Series Foreword
xv
Preface
xvii
Referees
xix
Invited Talks
The Derivation of Compositional Programs
3
K.
Mani Chandy,
Carl Kesselman
Empirical Semantics for Defeasible Databases
18
Judea
Pearl
Advanced Tutorials
Many-Valued Semantics for Logic Programming
23
Melvin Fitting
Advanced Tutorial: Concurrent Logic Programming
25
E. Tick
Deductive and Object-Oriented Databases
26
Serge Abiteboul
Tutorial on Linear Logic
30
A. S. Troelstra
Logic Programming and Genetic Sequence Analysis: A Tutorial
32
Ross A. Overbeek
Unification
Checking the Soundness of Resolution Schemes
37
Bruno Dumant
Higher-Order ^-Unification for Arbitrary Theories
52
Zhenyu Qian, Kang Wang
A Predicate Transformer for Unification 67
Livio Colussi,
Elena Marchiori
Programming Languages Issues
Integrating Modes and Subtypes into a Prolog Type-Checker
85
Yann Rouzaud,
Lan Nguyen-Phuong
Communicating Clauses: Towards Synchronous Communication
in Contextual Logic Programming
98
Jean-Marie Jacquet,
Luís Monteiro
A Declarative View of Inheritance in Logic Programming
113
M. Bugliesi
Verification I
Observational Equivalences for Logic Programs
131
Maurizio Gabbrielli,
Giorgio
Levi,
Maria
Chiara Meo
On Normal Forms and Equivalence for Logic Programs
146
James Harland
Proof Method of Partial Correctness and Weak Completeness
for Normal Logic Programs
161
Gérard
Ferrand, Pierre Deransart
Functions and Equations
Equational Logic Programming, Actions, and Change
177
G.
Groß,
S.
Hölldobler,
J. Schneeberger, U.
Sigmund,
M.
Thielscher
On
the Completeness of Residuation
192
Michael Hanus
Implementing a Lazy Functional Logic Language with
Disequality Constraints
207
Herbert
Kuchen,
Francisco Javier
López-Fraguas,
Juan José Moreno-Navarro,
Mario Rodriguez-Artalejo
Vil
Constraints
A Constraint Solver in Finite Algebras and Its Combination with
Unification Algorithms
225
Hélène
Kirchner, Christophe Ringeissen
Records for Logic Programming
240
Gert Šmolka,
Ralf
Treinen
A Constraint Logic Programming Scheme for
Taxonomie
Reasoning
255
Margarida Mamede, Luís Monteiro
Deductive Databases
Controlling the Search in Bottom-Up Evaluation
273
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan
Query Restricted Bottom-Up Evaluation of Normal Logic Programs
288
David B. Kemp, Peter J. Stuckey, Divesh Srivastava
Deductive Databases with Incomplete Information
303
Fangqing Dong,
Laks
V.
S.
Lakshmanan
Verification II
A Framework of Directionality for Proving Termination of
Logic Programs
321
Francois Bronsard, T. K. Lakshman, Uday S. Ready
Handling of Mutual Recursion in Automatic Termination Proofs for
Logic Programs
336
Gerhard
Gröger, Lutz Plümer
Synthesis and Transformation of Logic Programs in the Whelk Proof
Development System
351
GeraintA. Wiggins
Implementation I
An Incremental Garbage Collector for WAM-Based Prolog
369
William J. Older, John A. Rummell
Improving Backward Execution in the Andorra Family of Languages
384
Salvador
Abreu, Luís Moniz Pereira,
Philippe Codognet
jc: An Efficient and Portable Sequential Implementation of Janus
399
David Gudeman,
Koenraad De
Bosschere, Saumya K. Debray
Vlil
Negation I
Autoepistemic
Logics as a Unifying Framework for the Semantics of
Logic Programs
Piero
A. Bonatti
Negation as Failure in Intuitionistic Logic Programming
431
Laura Giordano, Nicola Olivetti
The Stable Models of a Predicate Logic Program
446
V.
Wiktor
Marek,
Anil
Nerode,
Jeffrey
В.
Rémmel
Concurrent Logic Programming
A Process Algebra of Concurrent Constraint Programming
463
Frank S.
de Boer,
Catuscia Palamidessi
Schedule Analysis of Concurrent Logic Programs
478
Andy King, Paul Soper
Variable Threadedness Analysis for Concurrent Logic Programs
493
R. Sundararajan, A, V. S. Sastry, E. Tick
Meta
and Higher-Order Programming
A Perfect
Herbrand
Semantics for Untyped Vanilla
Meta-Programming
511
Bern Martens, Danny
De Schreye
Meta-Programming through a Truth Predicate
526
Taisuke Sato
Interactive Synthesis of Definite-Clause Grammars
541
Juergen Haas, Bharat Jayaraman
Negation II
Representing Actions in Extended Logic Programming
559
Michael Gelfond, Vladimir Lifschitz
On Logic Program Semantics with Two Kinds of Negation
574
José Júlio Alferes, Luís Moniz Pereira
A Goal-Oriented Approach to Computing Well Founded Semantics
589
Weidong Chen, David S. Warren
їх
Linear
Logic
Herbrand
Methods in Sequent Calculi: Unification in LL
607
Serenella Cerrito
Specifying Filler-Gap Dependency Parsers in a Linear-Logic
Programming Language
622
Joshua S. Hodas
Implementation II
Multistage Indexing Algorithms for Speeding Prolog Execution
639
Та
Chen, I. V. Ramakrishnan, R. Ramesh
Weighted Decision Trees
654
Saumya Debray, Sampath
Kannan, Mukul
Paithane
Abduction
A Query Evaluation Method for Abductive Logic Programming
671
Ken Satoh, Noboru Iwayama
SLDNFA: An Abductive Procedure for Normal Abductive Programs
686
Marc Denecker, Danny
De Schreye
Implementation of Parallelism
Exploiting Or-Parallelism in Optimisation Problems
703
Péter Szeredi
Exploiting Dependent And-Parallelism in Prolog: The Dynamic
Dependent And-Parallel Scheme (DDAS)
717
Kish Shen
Program Analysis
Understanding Finiteness Analysis Using Abstract Interpretation
735
Peter A. Bigot, Saumya Debray, Kim Marriott
Réexécution
in Abstract Interpretation of Prolog
750
Baudouin Le Charlier,
Pascal Van Hentenryck
Practical Aspects of Set Based Analysis
765
Nevin
Heintze
Semantics
Normal Logic Programs as Open Positive Programs
783
A. Brogi, E.
hämma,
P. Mancarella, P.
Mello
Classifying Semantics of Disjunctive Logic Programs
798
Jürgen
Dix
Propositional Semantics for Disjunctive Logic Programs
813
Rachel Ben-Eliyahu,
Rina
Dechter
Addendum
The Logic of Architecture: Programming the Invention of
Physical Artifacts
831
William J. Mitchell
Author Index
847 |
| any_adam_object | 1 |
| author_GND | (DE-588)110139763 |
| building | Verbundindex |
| bvnumber | BV008356784 |
| 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 1992 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)28294942 (DE-599)BVBBV008356784 |
| dewey-full | 005.1/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/1 |
| dewey-search | 005.1/1 |
| dewey-sort | 15.1 11 |
| 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">BV008356784</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19931126</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">931126s1992 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262510642</subfield><subfield code="9">0-262-51064-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28294942</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008356784</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-739</subfield><subfield code="a">DE-91G</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/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 Joint International Conference and Symposium on Logic Programming</subfield><subfield code="c">ed. by Krzysztof Apt</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">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 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="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</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="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">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Joint International Conference and Symposium on Logic Programming</subfield><subfield code="d">1992</subfield><subfield code="c">Washington, DC</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5083003-X</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=005518004&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-005518004</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV008356784 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:25Z |
| institution | BVB |
| institution_GND | (DE-588)5083003-X |
| isbn | 0262510642 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005518004 |
| oclc_num | 28294942 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-384 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-384 |
| physical | X, 848 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Logic programming proceedings of the Joint International Conference and Symposium on Logic Programming ed. by Krzysztof Apt Cambridge, Mass. u.a. MIT Press 1992 X, 848 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logisch programmeren gtt Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Apt, Krzysztof R. 1949- Sonstige (DE-588)110139763 oth Joint International Conference and Symposium on Logic Programming 1992 Washington, DC Sonstige (DE-588)5083003-X oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005518004&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic programming proceedings of the Joint International Conference and Symposium on Logic Programming Logisch programmeren gtt 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 Joint International Conference and Symposium on Logic Programming |
| title_auth | Logic programming proceedings of the Joint International Conference and Symposium on Logic Programming |
| title_exact_search | Logic programming proceedings of the Joint International Conference and Symposium on Logic Programming |
| title_full | Logic programming proceedings of the Joint International Conference and Symposium on Logic Programming ed. by Krzysztof Apt |
| title_fullStr | Logic programming proceedings of the Joint International Conference and Symposium on Logic Programming ed. by Krzysztof Apt |
| title_full_unstemmed | Logic programming proceedings of the Joint International Conference and Symposium on Logic Programming ed. by Krzysztof Apt |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the joint international conference and symposium on logic programming |
| title_sub | proceedings of the Joint International Conference and Symposium on Logic Programming |
| topic | Logisch programmeren gtt Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logisch programmeren Logic programming Congresses Logische Programmierung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005518004&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT aptkrzysztofr logicprogrammingproceedingsofthejointinternationalconferenceandsymposiumonlogicprogramming AT jointinternationalconferenceandsymposiumonlogicprogrammingwashingtondc logicprogrammingproceedingsofthejointinternationalconferenceandsymposiumonlogicprogramming |