27 search results - page 6 / 6 » Decidability of Propositionally Quantified Logics of Knowled... |
ECSQARU
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
ARTMED
2010
13 years 5 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...