Titlebook: Logics in Artificial Intelligence; 10th European Confer Michael Fisher,Wiebe Hoek,Alexei Lisitsa Conference proceedings 2006 Springer-Verla

Extraneous

书目名称Logics in Artificial Intelligence影响因子(影响力)




书目名称Logics in Artificial Intelligence影响因子(影响力)学科排名




书目名称Logics in Artificial Intelligence网络公开度




书目名称Logics in Artificial Intelligence网络公开度学科排名




书目名称Logics in Artificial Intelligence被引频次




书目名称Logics in Artificial Intelligence被引频次学科排名




书目名称Logics in Artificial Intelligence年度引用




书目名称Logics in Artificial Intelligence年度引用学科排名




书目名称Logics in Artificial Intelligence读者反馈




书目名称Logics in Artificial Intelligence读者反馈学科排名

ALTER

失眠症

Modal Logics of Negotiation and Preferencee problem of identifying conditions on preference relations that would guarantee convergence for a restricted class of deals under all circumstances can be cast as a question in modal logic correspondence theory.

calumniate

滔滔不绝的人

Galactogogue

Inconsistencies in Ontologiesed SUMO and the terrorism ontology. Based on the analysis of inconsistencies found in these ontologies we analyse the quality of information in them. Our research reveals interesting problems in studying the evolution and the quality of formal knowledge.

设施

Model Representation over Finite and Infinite SignaturesMoreover we show that, similarly to the case for infinite signatures, contexts and DIGs allow one to represent the same classes of models also over finite signatures; however DIGs may be exponentially more succinct than all equivalent contexts.

LUDE

From Inductive Logic Programming to Relational Data Miningle range of data analysis tasks (classification, regression, clustering, association analysis). ILP algorithms can this be used to find patterns in relational data, i.e., for relational data mining (RDM). This paper briefly introduces the basic concepts of ILP and RDM and discusses some recent research trends in these areas.

会犯错误

On Arbitrary Selection Strategies for Basic Superpositionin [BG 01]. We answer their question about the completeness of a superposition-based system for general clauses with an arbitrary selection strategy, provided there exists a refutation without applications of the factoring inference rule.

Loathe