Annals of Mathematics and Artificial Intelligence,volume 44,issue 1-2  (05-2013)

Period of time： 2013年1-2期

Publisher： Springer Publishing Company

Founded in： 1990

Total resources： 73

ISSN： 1012-2443

Subject： O Mathematical Sciences and Chemical

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Annals of Mathematics and Artificial Intelligence,volume 44,issue 1-2

Menu

Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

By Milnikel Robert in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 1-2 , Vol. 44, Iss. 1-2, 2005-05 , pp. 1-34

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A cost-reducing question-selection algorithm for propositional knowledge-based systems

By Wang Jinchang in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 1-2 , Vol. 44, Iss. 1-2, 2005-05 , pp. 35-60

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A new tractable class of constraint satisfaction problems

By Dalmau Víctor in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 1-2 , Vol. 44, Iss. 1-2, 2005-05 , pp. 61-85

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Semantics for a theory of defeasible reasoning

By Vo Quoc in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 1-2 , Vol. 44, Iss. 1-2, 2005-05 , pp. 87-119

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Resolution cannot polynomially simulate compressed-BFS

By Motter DoRon,Roy Jarrod,Markov Igor in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 1-2 , Vol. 44, Iss. 1-2, 2005-05 , pp. 121-156

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

By Maaren Hans in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 1-2 , Vol. 44, Iss. 1-2, 2005-05 , pp. 157-177

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)