Logic programming: proceedings of the 1993 International Symposium
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge u.a.
MIT Press
1993
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXII, 686 S. |
| ISBN: | 0262631520 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009528161 | ||
| 003 | DE-604 | ||
| 005 | 20131112 | ||
| 007 | t| | ||
| 008 | 940412s1993 xx |||| 10||| eng d | ||
| 020 | |a 0262631520 |9 0-262-63152-0 | ||
| 035 | |a (OCoLC)29409868 | ||
| 035 | |a (DE-599)BVBBV009528161 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-384 |a DE-91G | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1 |2 12a | |
| 082 | 0 | |a 006.3 |b L829, 1993 | |
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b proceedings of the 1993 International Symposium |c ed. by Dale Miller |
| 264 | 1 | |a Cambridge u.a. |b MIT Press |c 1993 | |
| 300 | |a XXII, 686 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 1993 |z Vancouver British Columbia |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Miller, Dale |d 1956- |e Sonstige |0 (DE-588)1026682142 |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=006291528&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006291528 | |
Record in the Search Index
| _version_ | 1820868057652789248 |
|---|---|
| adam_text |
Contents
Program
Committee
xiii
The Association for Logic Programming
xv
Series Foreword
xvii
Preface
xix
Referees
xxi
Invited Talks
The Logic of Creativity
3
Margaret
A. Boden
Declarative Programming in Prolog
12
Krzysztof
R. Apt
Marvel
3.1:
A Multi-User Software Development Environment
36
Gail E. Kaiser
Advanced Tutorials
Static Analysis of Logic Programs: An Advanced Tutorial
43
Saumya K. Debray
A Brief Introduction to Inductive Logic Programming
45
Luc De Raedt
An Introduction to LIFE
—
Programming with Logic, Inheritance,
Functions, and Equations
52
Hassan
Aït-Kaci
Metric Methods in the Semantics of Logic Programs
69
Melvin Fitting
Refereed Papers
Redundancy of Variables in CLP
(φ
75
Andrew D. Macdonald, Peter J. Stuckey, Roland
H. C
Yap
VI
Update in
Place: Overview of the Siva Project
94
Gudjon Gudjonsson,
Will Winsborough
Analysing Logic Programs Using
"Prop^ositional
Logic Programs and a
Magic Wand
114
Michael Codish, Bart Demoen
Independence in Constraint Logic Programs
130
M. Garcia de la Banda, M.
Hermenegildo,
К.
Marriott
Representing Incomplete Knowledge in Abductive Logic Programming
147
Marc Denecker, Danny
De Schreye
Actions and Specificity
164
Steffen Hölldobler,
Michael
Thielscher
Approximating General Logic Programs
181
Chitta
Barai,
Michael
Gélfond,
Olga Kosheleva
Tabulated Resolution for Well Founded Semantics
199
Roland
Bol,
Lars Degerstedt
A Logical Semantics for Depth-First Prolog with Ground Negation
220
James H. Andrews
A Proof Procedure for Extended Logic Programs
235
Frank Teusink
The Emptiness Problem of One Binary Recursive Horn Clause Is
Undecidable
250
Philippe
Devienne,
Patrick
Lebègue, Jean-Christophe Routier
Complexity Results for Disjunctive Logic Programming and Application
to Nonmonotonic Logics
266
Thomas
Eiter, Georg Gottlob
ACL
—
A Concurrent Linear Logic Programming Paradigm
279
Naoki Kobayashi, Akinori Yonezawa
Abstract Interpretation of Linear Logic Programming
295
Jean-Marc Andreoli,
Remo Pareschi,
Tiziana Castagnetti
Non-Monotonic Concurrent Constraint Programming
315
Frank S.
de Boer, Joost
N.
Kok,
Catuscia Palamidessi,
Jan J.
M. M.
Rutten
Indeterminate Concurrent Constraint Programming:
A
Fixpoint
Semantics for Non-Terminating Computations
335
Sven-Olof'Nyström, Bengt Jonsson
Applications of the Aurora Parallel Prolog System to Computational
Molecular Biology
353
Ewing
Lusk, Shyam
Mudambi, Ross Overbeek,
Péter Szeredi
Experiments with Speculative Parallelism in
Parlog
370
Steve Gregory
Concurrent Constraint Logic Programming on Massively Parallel SIMD
Computers
388
Bo-Ming
Tong,
Но
-Fung Leung
Branch-Level Scheduling in Aurora: The
Dharma
Scheduler
403
Raed
Yousef Sindaha
Automatic Inference of Norms: A Missing Link in Automatic Termination
Analysis
420
Stefaan
Decorte,
Danny
De Schreye,
Massimo
Fabris
A Practical Approach to the Global Analysis of CLP Programs
437
M. Garcia
de la Banda, M.
Hermenegildo
Deterministic Parsing of Languages with Dynamic Operators
456
Kjell
Post, Allen Van
Gelder,
James Kerr
A
Multimodal
Logic to Define Modules in Logic Programming
473
Matteo Baldoni, Laura Giordano, Alberto
Martelli
Unification in a
λ
-Calculus
with Intersection Types
488
Michael
Kohlhase,
Frank Pfenning
Order-Sorted Feature Theory Unification
506
Hassan
Aït-Kaci,
Andreas Podelski, Seth
Copen
Goldstein
Boolean Constraint Solving Using
с
lp
( FD ) 525
Philippe Codognet, Daniel Diaz
Embedding Extensional Finite Sets in CLP
540
Agostino Dovier, Gianfranco
Rossi
Optimizations of Bottom-Up Evaluation with Non-Ground Terms
557
S. Sudarshan, Raghu Ramakrishnan
Vlil
Dynamic Programming Optimization for Logic Queries with Aggregates
575
Sergio Greco,
Domenico Sacca,
Carlo Zaniolo
Extending the Well-Founded and Valid Semantics for Aggregation
590
S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri
A Deductive Approach to Hypothetical Query Answering
609
Fangqing Dong,
Laks
V.
S.
Lákshmanan
Poster Abstracts
Enhancement Structures for Proving Prolog Programs Correct
631
Marc Kirschenbaum, Leon
Sterling
Logic Program Specialisation with Deletion of Useless Clauses
632
D.
A. de
Waal, J. P. Gallagher
Automated Derivation of Efficient Logic Programs by Synthesizing
Eureka Properties
633
K.
Bsaïes
Termination of Logic Programs via Equivalent Rewrite Systems
634
G.
Aguzzi,
U.
Modigliani
Relational Groundness Analysis for Logic Programs
635
Kirack
Sohn
Building Large-Scale Prolog Programs Using a Techniques Editing
System
636
M.
Vargas-Vera,
W. W. Vasconcelos, D. Robertson
Subset Assertions and Negation as Failure
637
Mauricio
Osório,
Bharat Jayaraman
A Prototype System for Equational Constructive Negation
638
A. Mora, J. Piris, M. J.
Ramírez, M.
Falaschi
Assumption Set Semantics
639
Joaquim
N.
Aparicio
Contradiction Resolving for Extended Logic Programs and Default
Theories
640
Ла
-Huai
You, Li Yan Yuan
Automated Reasoning about Actions: A Logic Programming Approach
641
Vladimir Lifschitz, Norman McCain, Hudson Turner
їх
Back to the Future: Program Completion, Revisited
642
Rachel Ben-Eliyahu
Completeness of SLDNF-Resolution for Non-Floundering Queries
643
Włodzimierz Drabent
The Essential Inadequacy of Deductions in Logic Programming
644
Howard C.
Wasserman, Keitaro
Yukawa, Zhizhang Shen
Polynominal
Time Computable Stable Models
645
Luigi Palopoli,
Carlo Zaniolo
Id
Est, a
Logic Based Framework for Direct Manipulation Systems
646
Esther D. Shilcrat
Goal-Directed Bottom-Up Evaluation of Normal Logic Programs
647
Ulf Nilsson
Evaluation of Regular Nonlinear Recursive Programs
648
Jiawei Han,
Laks
V.
S.
Lakshmanan
Generating Goals and Their Use in Recursive Query Processing
649
Vincent Berry, Philippe Ezequel
A Prolog-Based Definition of an Entity Relationship Language
650
Hock C. Chan, Keng
Leng Siau
A Proof Procedure for Default Theories with Extensions
651
Monica D. Barback, Jorge
Lobo
An Efficient Specialization of the
WAM
for Continuation Passing Binary
Programs
652
Paul Tarau
The Beauty and the Beast Algorithm
653
Andreas Podelski, Peter Van Roy
Extending the
WAM
for HiLog
654
Roland Paterson-Jones, Peter T. Wood
On the Direct Parameter Passing Mechanism for Prolog Compilers
655
Neng-Fa Zhou
Concurrent Constraint Automata
656
Laurent Fribourg, Marcos Veloso
Peixoto
Incremental Equational
Constraint Analyses
657
María Alpuente, Moreno
Falaschi,
Germán Vidal
On the Denotational and Logical Semantics of CLP-Modules
658
В.
McDonald,
J.
Хи,
M.
Epstein,
E.
Freeman
Handling Quadratic Constraints through Geometry
659
Gilles Pesant,
Michel
Boyer
Optimizing Constraint Processing in CLPCFD)
660
Greg Sidebottom
Solving a Real Life Exams Problem Using CHIP
661
Patrice Boizumault,
Y. Delon,
L. Peridy
Turbo
Erlang 662
Bogumil Hausman
A Distributed Parallel LP System
663
Wenfeng Li, Zheng Lin
Blackboard-Based Extensions for Parallel Programming in BinProlog
664
Koen
De
Bosschere, Paul Tarau
L2 \ | O2: A Concurrent Object-Oriented Logic Language
665
Ernesto Pimentel
Fixpoint
Semantics of
Lx. 666
Maurizio Martelli, Alessandro
Messora, Catuscia Palamidessi
An Intuitionistic Resolution Method for a Language Dealing with Scope
Constraints
667
Alain Hui-Bon-Hoa
Definite Clause Grammars for Parsing Higher-Order Syntax
668
Amy Felty
The Soundness and Completeness of a Temporal Extension of Logic
Programming
669
Mehmet
A. Orgun
Disjunction in Resource-Oriented Deductive Planning
670
S.
Brüning,
S.
Hõlldobler,
U.
С.
Sigmund,
M.
Thielscher,
J.
Schneeberger
The Incorporation of Logic Formalisms to Natural Language through
Logic Programming
57
1
Lidia
Moreno, Manuel
Palomar,
Antonio Molina
Xl
Prolog
Interpretation
of a Functional-Logic Language
672
Silvia Takahashi, Frank S. K.
Silbermann
Combining Lazy Narrowing and Normalization
673
Michael Hanus
Logic and the Structure of Space: Towards a Visual Logic for Spatial
Reasoning
674
Bernd
Meyer
Temporal Reasoning for Temporal Information Retrieval from Text
675
Irene
Pimenta Rodrigues, Joséi
Gabriel Lopes
A Bottom-Up Characterization of Finite Success
676
Giorgio Delzanno,
Maurizio Martelli
On Goal-Directed Provability in Classical Logic
677
James Harland
The Ordered Clause Restriction of Model Elimination and
SLI
Resolution
678
Bruce Spencer
Goal-Directed Evaluation of Well-Founded Sematics for XSB
679
Weidong Chen,
Terranee
Swift, David S. Warren
A it-calculus Specification of Prolog
680
Zhenzhong Li
Author Index
681 |
| any_adam_object | 1 |
| author_GND | (DE-588)1026682142 |
| building | Verbundindex |
| bvnumber | BV009528161 |
| 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 1993 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)29409868 (DE-599)BVBBV009528161 |
| dewey-full | 005.1 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 006 - Special computer methods |
| dewey-raw | 005.1 006.3 |
| dewey-search | 005.1 006.3 |
| 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">BV009528161</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131112</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940412s1993 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262631520</subfield><subfield code="9">0-262-63152-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29409868</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009528161</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-384</subfield><subfield code="a">DE-91G</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">12a</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="b">L829, 1993</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 1993 International Symposium</subfield><subfield code="c">ed. by Dale Miller</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 686 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="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">1993</subfield><subfield code="z">Vancouver British Columbia</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">Miller, Dale</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1026682142</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=006291528&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-006291528</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Vancouver British Columbia gnd-content |
| genre_facet | Konferenzschrift 1993 Vancouver British Columbia |
| id | DE-604.BV009528161 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:18:19Z |
| institution | BVB |
| isbn | 0262631520 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006291528 |
| oclc_num | 29409868 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM |
| physical | XXII, 686 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Logic programming proceedings of the 1993 International Symposium ed. by Dale Miller Cambridge u.a. MIT Press 1993 XXII, 686 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Vancouver British Columbia gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Miller, Dale 1956- Sonstige (DE-588)1026682142 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006291528&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic programming proceedings of the 1993 International Symposium 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 1993 International Symposium |
| title_auth | Logic programming proceedings of the 1993 International Symposium |
| title_exact_search | Logic programming proceedings of the 1993 International Symposium |
| title_full | Logic programming proceedings of the 1993 International Symposium ed. by Dale Miller |
| title_fullStr | Logic programming proceedings of the 1993 International Symposium ed. by Dale Miller |
| title_full_unstemmed | Logic programming proceedings of the 1993 International Symposium ed. by Dale Miller |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the 1993 international symposium |
| title_sub | proceedings of the 1993 International Symposium |
| topic | Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logic programming Congresses Logische Programmierung Konferenzschrift 1993 Vancouver British Columbia |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006291528&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT millerdale logicprogrammingproceedingsofthe1993internationalsymposium |