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.
作者簡(jiǎn)介
暫缺《計(jì)算邏輯.邏輯程序設(shè)計(jì)及其它 第1卷》作者簡(jiǎn)介
圖書目錄
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
鄂公網(wǎng)安備 42010302001612號(hào) 