Titlebook: Logics in Artificial Intelligence; European Workshop JE Craig MacNish,David Pearce,Luís Moniz Pereira Conference proceedings 1994 Springer-

作業(yè)

書目名稱Logics in Artificial Intelligence影響因子(影響力)




書目名稱Logics in Artificial Intelligence影響因子(影響力)學(xué)科排名




書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度




書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logics in Artificial Intelligence被引頻次




書目名稱Logics in Artificial Intelligence被引頻次學(xué)科排名




書目名稱Logics in Artificial Intelligence年度引用




書目名稱Logics in Artificial Intelligence年度引用學(xué)科排名




書目名稱Logics in Artificial Intelligence讀者反饋




書目名稱Logics in Artificial Intelligence讀者反饋學(xué)科排名

MANIA

Around a powerful property of circumscriptions, properties of circumscriptions can be considered as corollaries of reverse monotony. We introduce also a new property of circumscriptions, “disjunctive coherence”, which is not a consequence of reverse monotony.

Tdd526

青春期

Bombast

The computational value of joint consistency,emain intractable. We also present a propositional semantics for those approaches, stemming from the translation of the graph structures into propositional logic. Finally, the constraint stable model semantics is introduced, and proved to be related to the notion of joint consistency.

fetter

Belief, provability, and logic programs,nt embeddings into autoepistemic logics of such programs under stable models based semantics..Furthermore, the language of the epistemic logic presented here being more general than that of extended programs, it offers a basic tool for further generalizations of the latter, for instance regarding disjunction and modal operators.

FEAT

AWL

他去就結(jié)束

Dorsal

,From Carnap’s modal logic to autoepistemic logic, possibility of deriving consequences from nonmodal theories and show that the resulting formalism is nonmonotonic. Finally, we explain the relationship between Carnap‘s logic and autoepistemic logic and show that autoepistemic reasoning corresponds to solving problems equivalent to (possibly cyclic) graphs of interdependent NP queries.