Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4  (01-2013)

Period of time： 2013年3-4期

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 25,issue 3-4

Menu

Editorial

By Dix J.,Lobo J. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 161-164

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Building a knowledge base: an example

By Gelfond M. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 165-199

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Tabling for non-monotonic programming

By Swift T. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 201-240

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Logic programs with stable model semantics as a constraint programming paradigm

By Niemelä I. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 241-273

Springer Publishing Company

Abstract Access to resources Recommend Favorite

An empirical study of the 4-valued Kripke–Kleene and 4-valued well-founded semantics in random propositional logic programs

By Giannella C. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 275-309

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Semantics and expressiveness of disjunctive ordered logic

By Buccafurri F. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 311-337

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Computing extended abduction through transaction programs

By Inoue K. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 339-367

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Nested expressions in logic programs

By Lifschitz V. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 369-389

Springer Publishing Company

Abstract Access to resources Recommend Favorite

From logic programming towards multi-agent systems

By Kowalski R.,Sadri F. in (1999)

Annals of Mathematics and Artificial Intelligence,volume 25,issue 3-4 , Vol. 25, Iss. 3-4, 1999-01 , pp. 391-419

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 9 item(s)