Artificial Intelligence 1997: Vol 92 Table of Contents PDF
Preview Artificial Intelligence 1997: Vol 92 Table of Contents
ARTIFICIAL INTELLIGENCE VOLUME 92, NUMBERS 1-2, MAY 1997 Abstracted/indexed in: ACM Computing Reviews, Applied Science and Technology Abstracts, Applied Science and Technology Index, CAD/CAM Abstracts, Cambridge Scientific Abstracts, Computer Abstracts, Current Contents: Engineering, Technology & Applied Science, Current Contents: Social & Behavioral Sciences, Engineering Index/Compendex, Information Science Abstracts, INSPEC Information Services, Mathematical Reviews, Science Citation Index, Social Sciences Citation Index, Sociological Abstracts, Zentralblatt fur Mathematik CONTENTS G.A. Antonelli Defeasible inheritance on cyclic networks J.D. Horton and B. Spencer Clause trees: a tool for understanding and implementing resolution in automated reasoning 25 B. Shults and B.J. Kuipers Proving properties of continuous systems: qualitative simulation and temporal logic 91 F. Lin and R. Reiter How to progress a database 131 D. Pierce and B.J. Kuipers Map learning with uninterpreted sensors and effectors 169 P. Smets The normative representation of quantified beliefs by belief functions (Research Note) X. Nie Non-Horn clause logic programming (Research Note) S. Benferhat, D. Dubois and H. Prade Nonmonotonic reasoning, conditional objects and possibility theory (Research Note) M. Freund Default extensions: dealing with computer information (Research Note) T.W.S. Chow and J.-Y. Li Higher-order Petri net models based on artificial neural networks (Research Note) A.D. Kshemkalyani Reasoning about causality between distributed nonatomic events (Research Note) P.E. Dunne and T.J.M. Bench-Capon The maximum length of prime implicates for instances of 3-SAT (Research Note) Forthcoming Papers Author Index Keep track of recently published papers via the journal’s home page on the WWW: http://www.elsevier.ni/locate/artint 0004 -3702( 199705 )92:1/2;1-T
The list of books you might like
