๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Alternating automata and temporal logic normal forms

โœ Scribed by Clare Dixon; Alexander Bolotov; Michael Fisher

Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
281 KB
Volume
135
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Normal forms and truth tables for fuzzy
Normal forms and truth tables for fuzzy logics
โœ Mai Gehrke; Carol L. Walker; Elbert A. Walker ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 421 KB

In this paper, we examine and compare De Morgan-, Kleene-, and Boolean-disjunctive and conjunctive normal forms and consider their role in fuzzy settings. In particular, we show that there are normal forms and truth tables for classical fuzzy propositional logic and interval-valued fuzzy proposition

Topological Investigations of the Operat
Topological Investigations of the Operators of the Well-Founded, and Alternating Fixed-Point Semantics of Normal Logic Programs
โœ Roland Heinze ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 222 KB

We present a progress report on ongoing work to investigate topologies on spaces of interpretations in which one obtains the continuity of the operators associated with the well-founded, and alternating fixed-point semantics of a normal logic program. This work parallels that of Batarekh, Subrahmani