Logic Programming逻辑程序
副标题：无
分类号：
ISBN：9783540429357
微信扫一扫,移动浏览光盘
简介
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes - proceedings (published in time for the respective conference) - post-proceedings (consisting of thoroughly revised final full papers) - research m0nographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)
目录
Invited Speakers
Solving the Multiplication Constraint in Several Approximation Spaces .
A. Colmerauer
Is Logic Really Dead or Only Just Sleeping?
R. Kowalski
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations
P. Cousot
X-tegration - Some Cross-Enterprise Thoughts
A. Gupta
Tutorials
Building Real-Life Applications with Prolog
J. Wielemaker
Natural Language Tabular Parsing
E. Villemonte de la Clergerie
A Close Look at Constraint-Based Concurrency
K. Ueda
Probabilistic Databases and Logic Programming
V.S. Subrahmanian
Conference Papers
Understanding Memory Management in Prolog Systems
L.F. Castro, V.S. Costa
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
K. Villaverde, E. Pontelli, H. Guo, G. Gupta On a Tabling Engine That Can Exploit Or- Parallelism
R. Rocha, F. Silva, V.S. Costa
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family
N. Beldiceanu, M. Carlsson
Optimizing Compilation of Constraint Handling Rules
C. Holzbaur, M. Garcia de la Banda, D. Jeffery, P.J. Stuckey
Building Constraint Solvers with HAL
M. Garcia de la Banda, D. Jeffery, K. Marriott, N. Nethercote,
P.J. Stuckey, C. Holzbaur
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
N. Mazur, P. Ross, G. Janssens, M. Bruynooghe
Positive Boolean Functions as Multiheaded Clauses
J.M. Howe, A. King
Higher-Precision Groundness Analysis
M. Codish, S. Genaim, H. Scndergaard, P.J. Stuckey
Speculative Beats Conservative Justification
H.-F. Guo, C.R. Ramakrishnan, I.V. Ramakrishnan
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming
S. Basu, M. Mukund, C.R. Ramakrishnan, I.V. Ramakrishnan,
R. Verma
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives
H.-F. Guo, G. Gupta
Fixed-Parameter Complexity of Semantics for Logic Programs
Z. Lonc, M. Trusszczynski
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
M. Denecker, N. Pelov, M. Bruynooghe
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models
K. Narayan Kumar, C.R. Ramakrishnan, S.A. Smolka
Fages' Theorem for Programs with Nested Expressions
E. Erdem, V. Lifschitz
Semantics of Normal Logic Programs with Embedded Implications
F. Orejas, E. Pasarella, E. Pino
A Multi-adjoint Logic Approach to Abductive Reasoning
J. Medina, M. Ojeda-Aciego, P. Vojtas
……
Author Index
Solving the Multiplication Constraint in Several Approximation Spaces .
A. Colmerauer
Is Logic Really Dead or Only Just Sleeping?
R. Kowalski
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations
P. Cousot
X-tegration - Some Cross-Enterprise Thoughts
A. Gupta
Tutorials
Building Real-Life Applications with Prolog
J. Wielemaker
Natural Language Tabular Parsing
E. Villemonte de la Clergerie
A Close Look at Constraint-Based Concurrency
K. Ueda
Probabilistic Databases and Logic Programming
V.S. Subrahmanian
Conference Papers
Understanding Memory Management in Prolog Systems
L.F. Castro, V.S. Costa
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
K. Villaverde, E. Pontelli, H. Guo, G. Gupta On a Tabling Engine That Can Exploit Or- Parallelism
R. Rocha, F. Silva, V.S. Costa
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family
N. Beldiceanu, M. Carlsson
Optimizing Compilation of Constraint Handling Rules
C. Holzbaur, M. Garcia de la Banda, D. Jeffery, P.J. Stuckey
Building Constraint Solvers with HAL
M. Garcia de la Banda, D. Jeffery, K. Marriott, N. Nethercote,
P.J. Stuckey, C. Holzbaur
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
N. Mazur, P. Ross, G. Janssens, M. Bruynooghe
Positive Boolean Functions as Multiheaded Clauses
J.M. Howe, A. King
Higher-Precision Groundness Analysis
M. Codish, S. Genaim, H. Scndergaard, P.J. Stuckey
Speculative Beats Conservative Justification
H.-F. Guo, C.R. Ramakrishnan, I.V. Ramakrishnan
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming
S. Basu, M. Mukund, C.R. Ramakrishnan, I.V. Ramakrishnan,
R. Verma
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives
H.-F. Guo, G. Gupta
Fixed-Parameter Complexity of Semantics for Logic Programs
Z. Lonc, M. Trusszczynski
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
M. Denecker, N. Pelov, M. Bruynooghe
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models
K. Narayan Kumar, C.R. Ramakrishnan, S.A. Smolka
Fages' Theorem for Programs with Nested Expressions
E. Erdem, V. Lifschitz
Semantics of Normal Logic Programs with Embedded Implications
F. Orejas, E. Pasarella, E. Pino
A Multi-adjoint Logic Approach to Abductive Reasoning
J. Medina, M. Ojeda-Aciego, P. Vojtas
……
Author Index
Logic Programming逻辑程序
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
