计算逻辑.逻辑程序设计及其它 第1卷

　　This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems， to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contributions of computational logic to databases and artificial intelligence with particular emphasis on automated reasoning， reasoning about actions and change， natural languages， and learning.Together with its companion volume， LNAI 2408， this book commemorates the 60th birthday of Bob Kowalski as one of the founders of and contributors to computational logic.

暂缺《计算逻辑.逻辑程序设计及其它 第1卷》作者简介

Heavy Tails: The Effect of the Service Discipline
The MSbius State-Level Abstract FunctionM Interface
The ProC/B Toolset for the Modelling and Analysis of Process Chains ...
MRMSolve: Distribution Estimation of Large Markov Reward Models
PhFit: A General Phase-Type Fitting Tool
Traffic Modeling of IP Networks Using the
Batch Markovian Arrival Process
PEPA Nets: A Structured Performance Modelling Formalism
Validation of GSPN and SWN Models through the PROD Tool
Software Performance Models from System Scenarios in Use Case Maps...
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
A Passage-Time Preserving Equivalence for Semi-Markov Processes
Symbolic Methods for the State Space Exploration of GSPN Models
PRISM: Probabilistic Symbolic Model Checker
MAMSolver: A Matrix Analytic Methods Tool
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support
GILK: A Dynamic Instrumentation Tool for the Linux Kernel
Geist: A Web Traffic Generation Tool
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
A Visual Formalism for the Composition of Stochastic Petri Nets
Symbolic Performance Prediction of Data-Dependent Parallel Programs..
Analysis of a Transaction System with Checkpointing, Failures, and Rollback
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool
Hierarchical Workloar Characterization for a Busy Web Server
Enabling Network Caching of Dynamic Web Objects
A Tool for Controlling Response Time in Real-Time Systems
Author Index