Period of time： 2013年2-4期
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 21,issue 2-4
Menu
Introduction: Logic programming, non-monotonicreasoning and reasoning about actions
By Baral Chitta,Kreinovich Vladik,Lifschitz Vladimir in (1997)
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.
Access to resources
Recommend
Relating logic programming theories of actions and partial order planning
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.A continuum of discrete systems
By Blair Howard,Chidella Jagan,Dushin Fred,Ferry Audrey,Humenn Polar in (1997)
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.Logic programming and software maintenance
By Cooke Daniel, Luqi in (1997)
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.Fixed point theorems in logic programming
By Khamsi Mohamed,Misane Driss in (1997)
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.Two components of an action language
By Lifschitz Vladimir in (1997)
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.An ordering on subgoals for planning
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.Representation theory for default logic
Annals of Mathematics and Artificial Intelligence,volume 21,issue 2-4 , Vol. 21, Iss. 2-4, 1997-12 , pp.
Previous
Next