最 低 价：￥528.80
定 价：￥587.60
作 者：BernhardBeckert 著 著
出 版 社：Oversea Publishing House
出版时间：2005-11-1
I S B N：9783540289319
| The LNAI series reports state-of-the-art results in artificial intelligence re-search, 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,LNAI has grown into the most comprehensive artificial intelligence research forum available. The scope of LNAI spans the whole range of artificial intelligence and intelli-gent information processing 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 monographs (which may be based on PhD work) |
| Invited Talks Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach Diego Calvanese Description Logics in Ontology Applications Ian Horrocks Automated Reasoning in the Context of the Semantic Web Hans Jurgen Ohlbach Formal Versus Rigorous Mathematics: How to Get Your Papers Published Erik Rosenthal Research Papers Consistency of Variable Splitting in Free Variable Systems of First-Order Logic Roger Antonsen,Arild Waaler On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic Serge Utexier A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic Davide Bresolin,Angelo Montanari Cyclic Proofs for First-Order Logic with Inductive Definitions James Brotherton A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity Domenico Cantone,Caolgero G.Zarba Embedding Static Analysis into Tableaux and Sequent Based Frameworks Tobias Gedell A Calculus for Type Predicates and Type Coercion Martin Giese A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics Rajeev Gore,Linh Anh Nguyen Comparing Instance Generation Msthods for Automated Reasoning Swen Jacobs,Uwe Waldmann An Order-Sorted Quantified Modal Logic for Meta-ontology A Redundancy Analysis of Sequent Proofs A Tableau Algrithm for Description Logice with Concrete Domains and GCIS The Space Efficiency of OSHL Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic Automatic'Descente Infinie'Induction Reasoning A Decision Procedure for the Alternation-Free Two-Way Modal On the Partial Renpects in Which a real Valued Arithmetic System Can Verify Lis Tableaux Consistency System Descriptions Author Index |
内容加载中，请稍后...
商品评论（0条）