Titlebook: Logic for Programming, Artificial Intelligence, and Reasoning; 10th International C Moshe Y. Vardi,Andrei Voronkov Conference proceedings 2

大猩猩

Extensions of Non-standard Inferences to Description Logics with Transitive Roles,al characterization of subsumption for DLs where existential and value restrictions can be imposed on transitive roles. We propose sound and complete algorithms to compute the least common subsumer (lcs).

JOT

Moshe Y. Vardi,Andrei VoronkovIncludes supplementary material:

鸽子

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588017.jpg

轻而薄

palpitate

Bone-Scan

Computable Numberings,erties of classes of constructive objects fares best with the techniques and notions of the theory of computable numberings. The idea of using such numberings goes back to Gödel, who applied a computable numbering of formulas for embedding the metatheory of number theory into the theory of numbers.

商谈

异端

亲爱

Logic for Programming, Artificial Intelligence, and Reasoning978-3-540-39813-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

oxidize

0302-9743 Overview: Includes supplementary material: 978-3-540-20101-4978-3-540-39813-4Series ISSN 0302-9743 Series E-ISSN 1611-3349