Titlebook: Computer Science Logic; 20th International W Zoltán Ésik Conference proceedings 2006 Springer-Verlag Berlin Heidelberg 2006 AI logics.Actio

AMUSE

书目名称Computer Science Logic影响因子(影响力)




书目名称Computer Science Logic影响因子(影响力)学科排名




书目名称Computer Science Logic网络公开度




书目名称Computer Science Logic网络公开度学科排名




书目名称Computer Science Logic被引频次




书目名称Computer Science Logic被引频次学科排名




书目名称Computer Science Logic年度引用




书目名称Computer Science Logic年度引用学科排名




书目名称Computer Science Logic读者反馈




书目名称Computer Science Logic读者反馈学科排名

NOCT

William Ascher,Natalia Mirovitskayaa is a certain . from the structure generated by a given recursion scheme to an auxiliary ., which is itself generated by a related order-0 recursion scheme. By a structural analysis of the computation tree based on the . of the recursion scheme, we can infer certain properties of the generated stru

常到

Insul岛

https://doi.org/10.1007/978-94-011-4032-4otivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics. We then point out to algebraic principles behind the two logics and present an abstract algebraic theory that unifies them and provides an effective framewor

FLAT

The Cassini Cosmic Dust Analyzer,ver a sized type is accepted if it is visible in the type system that recursive calls occur just at a smaller size. This approach is only sound if the type of the recursive function is admissible, i.e., depends on the size index in a certain way. To explore the space of admissible functions in the p

CURL

https://doi.org/10.1007/1-4020-3874-7ly many classes, according to which state has an infinite run. Building the full type hierarchy upon this interpretation of the base type gives a finite semantics for simply-typed lambda-trees..A calculus based on this semantics is proven sound and complete. In particular, for regular infinite lambd

CURL

思考

Using plutonium to run a spacecraftknows all logical consequences of her assumptions. In this paper, we suggest the following Logical Omniscience Test (LOT): an epistemic system . is not logically omniscient if for any valid in . knowledge assertion . of type ‘.,’ there is a proof of . in ., the complexity of which is bounded by some

会议

Using plutonium to run a spacecraftes on lambda-calculus terms: all typable terms can be evaluated in polynomial time and all Ptime functions can be represented. In the present work we address the problem of typing lambda-terms in second-order .. For that we give a procedure which, starting with a term typed in system F, finds all po

奖牌

The mother planet and its magnetospherecond step computes successively all the solutions with a delay between two consecutive solutions .. and .. that is linear in |..|. We prove that evaluating a fixed monadic second order (MSO) query . (i.e. computing all the tuples that satisfy the MSO formula) in a binary tree is a .. problem. More p