Capturing and understanding mathematics from print form is an important task in translating written mathematical knowledge into electronic form. While the problem of syntactically recognising mathematical formulas from scanned images has received attention, very little work has been done on semantic validation and correction of recognised formulas. We present a first step towards such an integr...

This paper revisits the well-established relationship between the modal μ calculus Lμ and parity games to show that it is evenmore robust than previously known. It addresses the question of whether the descriptive complexity of Lμ model-checking games, previously known to depend on the syntactic complexity of a formula, depends in fact on its semantic complexity. It shows that up to formulas of...

We argue that rather than representing an agent's knowledge as a collection of formulas, and then doing theorem proving to see if a given formula follows from an agent's knowledge base, it may be more useful to represent this knowledge by a semantic model, and then do model checking to see if the given formula is true in that model. We discuss how to construct a model that represents an agent's...

This paper develops a semantic foundation for reasoning about reactive systems speci cations featuring combinations of labeled transition systems and formulas in linear{time temporal logic (LTL). Using B uchi automata as a semantic basis, the paper introduces two re nement preorders based on DeNicola and Hennessy's notion of may{ and must{testing. Alternative characterizations for these relati...

In this paper we describe how a combination of the classical “universal” E-unification and “rigid” Eunification, called “mixed” E-unification, can be used to efficiently handle equality in universal formula semantic tableaux, that are an extension of free variable tableaux.

In this paper design of relationship links for extraction of semantic information especially for a visual corpus of architecture, on a case study of historical relics is discussed. Further definition of relationship functions between entities -or terms with related attributesare shown by a visual graph or simple formula. Domain dependent designs of relationship as a part of ontology development...

We present a logical approach of spoken language understanding for a human-machine dialogue system. The aim of the analysis is to provide a logical formula, or a conceptual graph, by assembling concepts related to a delimited application domain. This flexible structure is gradually built during an incremental parsing, which is meant to combine syntactic and semantic criteria. Then, a contextual...

verbally, methodologically, formalistically and graphically. On the web site several articles and books in English, German and Slovenian (Meditations) are published free of charge. At the beginning, there are Basic axioms for formula composition as syntactically as partially semantic set of the very basic rules, defining the so-called informational-conscious externalism, internalism, metaphysic...