#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2000

2007

- This year (0)
- Last 5 years (0)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Jörg H. Siekmann, Christoph Benzmüller, +14 authors Jürgen Zimmer
- CADE
- 2002

The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group. Ωmega is a mathematical assistant tool that supports proof development in mathematical domains at a user-friendly level of abstraction. It is a modular system with a central data structure and several complementary… (More)

Knowledge bases that represent some domain expertise for use in a formal system typically serve one of two major purposes: (1) inferencing in some problem-solving context, or (2) interfacing the system by natural language. Interfacing may be for accessing the system's functionality or for presenting its results. Techniques for addressing the natural… (More)

There are two approaches to lattices used in the Mizar Mathematical Library: on the one hand, these structures are based on the set with two binary operations (with an equational characterization as in [17]). On the other hand, we may look at them as at relational structures (posets – see [12]). As the main result of this article we can state that the Mizar… (More)

Major purposes underlying the functionality of formal systems include reasoning services and presentation facilities, prominently their systematic coordination. An important role in this coordination is played by the ontology and its underlying organization principles exhibited in the systems' knowledge bases. We address this issue by presenting speci c… (More)

- Markus Moschner
- 2007

In this paper S, X denote non empty sets and R denotes a binary relation on X. We consider orthorelational structures, extensions of relational structure and ComplStr, as systems 〈 a carrier, an internal relation, a complement operation 〉, where the carrier is a set, the internal relation is a binary relation on the carrier, and the complement operation is… (More)

- Wilfried Grossmann, Markus Moschner
- EUROCAST
- 2007

- Adam Grabowski, Markus Moschner
- MKM
- 2004

- Markus Moschner
- 2004

In this paper S, X denote non empty sets and R denotes a binary relation on X . We introduce orthorelational structures which are extensions of relational structure and ComplStr and are systems 〈 a carrier, an internal relation, a complement operation 〉, where the carrier is a set, the internal relation is a binary relation on the carrier, and the… (More)

- Wilfried Grossmann, Markus Moschner
- PAKM
- 2004

- Olga Caprotti, Volker Sorge, +7 authors Adrian Craciun
- 2002

Veri cation of hybrid systems is a challenging task. Unlike many other veri cation methods the approach proposed in [21] avoids approximations and operates directly on the original system speci cations. This approach, however, requires the solution of non-trivial mathematical subtasks. We propose to model those kinds of subtasks that are suitable for being… (More)