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
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 19,issue 1-2
Menu
By Pedreschi D.,Subrahmanian V.S. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 19,issue 1-2 , Vol. 19, Iss. 1-2, 1997-01 , pp.
Access to resources
Recommend
Applying restriction constraints to deductive databases
By Aquilino D.,Asirelli P.,Renso C.,Turini F. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 19,issue 1-2 , Vol. 19, Iss. 1-2, 1997-01 , pp.The logic of totally and partially ordered plans: a deductive database approach
By Brogi A.,Subrahmanian V.S.,Zaniolo C. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 19,issue 1-2 , Vol. 19, Iss. 1-2, 1997-01 , pp.On the partial semantics for disjunctive deductive databases
By Eiter T.,Saccà D.,Leone N.,Saccà D. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 19,issue 1-2 , Vol. 19, Iss. 1-2, 1997-01 , pp.Programming with non-determinism in deductive databases
By Giannotti F.,Greco S.,Saccà D.,Zaniolo C. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 19,issue 1-2 , Vol. 19, Iss. 1-2, 1997-01 , pp.Deterministic FOIES are strictly weaker
Annals of Mathematics and Artificial Intelligence,volume 19,issue 1-2 , Vol. 19, Iss. 1-2, 1997-01 , pp.``Possible is certain'' is desirable and can be expressive
By Greco S.,Saccà D. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 19,issue 1-2 , Vol. 19, Iss. 1-2, 1997-01 , pp.On non-determinism in machines and languages
By Grumbach S.,Lacroix Z. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 19,issue 1-2 , Vol. 19, Iss. 1-2, 1997-01 , pp.