Informationstechnologie
Permanent URI for this collection
Browse
Browsing Informationstechnologie by Issue Date
Now showing 1 - 20 of 223
Results Per Page
Sort Options
- PublicationErfolgreiche FFS-Inbetriebnahme bei einem Nutzfahrzeughersteller in der BRD(1989-09)
; 234 1 - PublicationRepresenting Herbrand Models by Grammars and Deciding Equivalence Efficiently(1996-01-20)Finding computationally valuable representations of models of predicate logic formulas is an important subtask in many fields related to automated theorem proving, e.g. automated model building or semantic resolution. In this article we investigate the use of context-free languages for representing single Herbrand models, emphasizing algorithmic issues like the equivalence test (which we solve by applying methods of automated theorem proving again), clause evaluation, etc. Surprisingly our representation turns out to be a natural extension of "linear atomic representations", already known from the literature. By sketching additional results and questions we try to prove our approach to be an interesting base for investigating connections between formal language theory and automated theorem proving, leading to efficient methods for automated model building. 1 Introduction Representing Herbrand models of predicate logic formulas plays an important role in various subfields of automate...
137 1 - PublicationComputational representations of herbrand models using grammarsFinding computationally valuable representations of models of predicate logic formulas is an important subtask in many fields related to automated theorem proving, e.g. automated model building or semantic resolution. In this article we investigate the use of context-free languages for representing single Herbrand models, which appear to be a natural extension of ``linear atomic representations'' already known from the literature. We focus on their expressive power (which we find out to be exactly the finite models) and on algorithmic issues like clause evaluation and equivalence test (which we solve by using a resolution theorem prover), thus proving our approach to be an interesting base for investigating connections between formal language theory and automated theorem proving and model building.
Scopus© Citations 7 118 1 - Publication
1 1Scopus© Citations 24 - PublicationMedienberichterstattung und Selbstreflexion: der Irakkrieg in österreichischen Medien(2003)
; 133 1 - PublicationProcess-Based Knowledge Management and Modelling in E-government — An Inevitable Combination(2003)
; 1 1Scopus© Citations 14 - PublicationPROCESS MODELLING – BURDEN OR RELIEF? - Living Process Modelling within a Public Organisation(2004)
; 2 1 - Publication
154 1 - PublicationComprehensive Process Management in Public Administrations – A Case Study(2004)
; Rapp, Andreas - Publication
126 1