Edward Hermann Haeusler

Learn More
Optimization in sports is a field of increasing interest. Com-binatorial optimization techniques have been applied e.g. to game scheduling and playoff elimination. A common problem usually found in sports management is the assignment of referees to games already scheduled. There are a number of rules and objectives that should be taken into account when(More)
Modular SOS (MSOS) is a framework created to improve the modu-larity of structural operational semantics specifications, a formalism frequently used in the fields of programming languages semantics and process algebras. With the objective of defining formal tools to support the execution and verification of MSOS specifications, we have defined a mapping,(More)
A formal framework to contextualize ontologies, proposed in [3], provides several ways of composing ontologies, contexts or both. The proposed algebra can be used to model applications in which the meaning of an entity depends on environment constraints or where dynamic changes in the environment have to be considered. In this article we use this algebra to(More)
In this work, we present a logic based on first-order CTL, namely Game Analysis Logic (GAL), in order to reason about games. We relate models and solution concepts of Game Theory as models and formulas of GAL, respectively. Precisely, we express extensive games with perfect information as models of GAL, and Nash equilibrium and subgame perfect equilibrium(More)
Classical Description Logic has been widely used as a basis for ontology creation and reasoning in many knowledge specific domains. These specific domains naturally include Legal AI. As in any other domain, consistency is an important issue for legal ontologies. However, due to its inherently normative feature, coherence (consistency) in legal ontologies is(More)
One key issue in multi-agent systems (MAS) is their ability to interact and exchange information autonomously across applications. In order to agents to interact in such fashion, however, it is paramount to rely on a communication protocol that allows software agents to exchange meaningful information. In this paper we propose using ontologies as such(More)