Titlebook: AI 2001: Advances in Artificial Intelligence; 14th International J Markus Stumptner,Dan Corbett,Mike Brooks Conference proceedings 2001 Spr

Arrhythmia

Sanjay Thawakar,Vibhu Srivastava Unfortunately this admitted counter-intuitive models. A different policy of varying the Result function eliminated these models. Explanations of how it did this are not entirely satisfactory, but seem to appeal to informal notions of state minimization. We re-examine this policy and show that there

Ankylo-

Combating Disasters: Monocropping. The use of quantificiation greatly increases the expressive power of the logics allowing us to represent, for example, tree-automata. We also show that some interpretations of quantification allow us to represent non-propositional properties of Kripke frames, such as the branching degree of trees.

Cupping

nonradioactive

慌张

宫殿般

平

AI 2001: Advances in Artificial Intelligence978-3-540-45656-8Series ISSN 0302-9743 Series E-ISSN 1611-3349