Burkhard Freitag

Christian Schönberg, Franz Weitl, Burkhard Freitag: Verifying the consistency of web-based technical documentations. J. Symb. Comput. 46(2): 183-206 (2011)

Alexander Stenzer, Claudia Woller, Burkhard Freitag: MonArch: digital archives for cultural heritage. iiWAS 2011: 144-151

Franz Weitl, Shin Nakajima, Burkhard Freitag: From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking). it - Information Technology 52(5): 295-297 (2010)

Tobias Seppenhauser, Alexander Stenzer, Burkhard Freitag: Retrieving Cultural Heritage Information with Google Earth. APWeb 2010: 92-98

Franz Weitl, Shin Nakajima, Burkhard Freitag: Structured Counterexamples for the Temporal Description Logic ALCCTL. SEFM 2010: 232-243

Christian Schönberg, Helmuth Pree, Burkhard Freitag: Rich Ontology Extraction and Wikipedia Expansion Using Language Resources. WAIM 2010: 151-156

Franz Weitl, Mirjana Jaksic, Burkhard Freitag: Towards the automated verification of semi-structured documents. Data Knowl. Eng. 68(3): 292-317 (2009)

Christian Schönberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag: Logic-based verification of technical documentation. ACM Symposium on Document Engineering 2009: 251-252

Sven Radde, Bettina Zach, Burkhard Freitag: Designing a Metamodel-Based Recommender System. EC-Web 2009: 264-275

Matthias Beck, Burkhard Freitag: Weighted Boolean conditions for ranking. ICDE Workshops 2008: 568-571

Matthias Beck, Sven Radde, Burkhard Freitag: Ranking von Produktempfehlungen mit präferenz-annotiertem SQL. BTW 2007: 82-95

Stephan Kiemle, Burkhard Freitag: Providing Context-Sensitive Access to the Earth Observation Product Library. ECDL 2007: 223-234

Sven Radde, Burkhard Freitag: SIPREACT - Kontextsensitive Beratungssysteme. GI Jahrestagung (1) 2007: 259-262

Franz Weitl, Burkhard Freitag: Checking Content Consistency of Integrated Web Documents. J. Comput. Sci. Technol. 21(3): 418-429 (2006)

Stefan Kurz, Michael Guppenberger, Burkhard Freitag: A UML Profile for Modeling Schema Mappings. ER (Workshops) 2006: 53-62

Petra Schwaiger, Burkhard Freitag: Using Answer Set Programming for the Automatic Compilation of Assessment Tests. ICLP 2006: 300-314

Michael Guppenberger, Burkhard Freitag: Intelligent creation of notification events in information systems: concept, implementation and evaluation. CIKM 2005: 52-59

Franz Weitl, Burkhard Freitag: Checking Semantic Integrity Constraints on Integrated Web Documents. ER (Workshops) 2004: 198-209

Franz Weitl, Burkhard Freitag: Datenqualität durch inhaltsbezogene Referenzierung. GI Jahrestagung (1) 2004: 336-340

Burkhard Freitag, Tobias Geis: Ein Ansatz zur dynamischen Anpassung von Webservices. GI Jahrestagung (1) 2004: 362-366

Alfred Fent, Herbert Reiter, Burkhard Freitag: Design for Change: Evolving Workflow Specifications in ULTRAflow. CAiSE 2002: 516-534

Burkhard Freitag: LMML - Eine XML - Sprachfamilie für eLearning Content. GI Jahrestagung 2002: 349-353

Burkhard Freitag, Christian Süß, Claus Dziarstek: Adaptation und Wiederverwendung von XMl-basiertem eLearning-Content. GI Jahrestagung 2002: 354-358

Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski: Transformation-based bottom-up computation of the well-founded model. TPLP 1(5): 497-538 (2001)

Christian Süß, Ulrich Zukowski, Burkhard Freitag: Data Modeling and Relational Storage of XML-based Teachwar. GI Jahrestagung (1) 2001: 378-387

Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski: Transformation-Based Bottom-Up Computation of the Well-Founded Model. CoRR cs.LO/0011013 (2000)

Christian Süß, Burkhard Freitag: Metamodeling for Web-Based Teachware Management. ER (Workshops) 1999: 360-373

Burkhard Freitag, Kader Hameurlain: Parallel and Distributed Databases - Introduction. Euro-Par 1999: 449

Alfred Fent, Carl-Alexander Wichert, Burkhard Freitag: Logical Update Queries as Open Nested Transactions. FMLDO - Selected Papers 1999: 45-66

Alfred Fent, Carl-Alexander Wichert, Burkhard Freitag: Logical Update Queries as Open Nested Transactions. FMLDO 1999: 174-188

Ulrich Zukowski, Burkhard Freitag: Well-founded Semantics by Transformation: The Non-ground Case. ICLP 1999: 456-470

Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent: Logical Transactions and Serializability. Transactions and Change in Logic Databases 1998: 134-165

Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (Eds.): Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers. Lecture Notes in Computer Science 1472, Springer 1998, isbn 3-540-65305-8

Carl-Alexander Wichert, Burkhard Freitag: Regelbasierte Spezifikation von Datenbank-Updates. Grundlagen von Datenbanken 1997: 103-107

Ulrich Zukowski, Burkhard Freitag: Transformations-basierte differentielle Queryevaluation. Grundlagen von Datenbanken 1997: 108-112

Carl-Alexander Wichert, Burkhard Freitag: Capturing Database Dynamics by Deferred Updates. ICLP 1997: 226-240

Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Differential Bottom-Up Computation of the Well-Founded Semantics. ICLP 1997: 421

Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Improving the Alternating Fixpoint: The Transformation Approach. LPNMR 1997: 4-59

Ulrich Zukowski, Burkhard Freitag: The Deductive Database System LOLA. LPNMR 1997: 376-387

Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski: Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS 1997: 415-416

Ulrich Zukowski, Burkhard Freitag: An Overview of the LOLA System (system description). WLP 1997: 0-

Ulrich Zukowski, Burkhard Freitag: The Differential Fixpoint of General Logic Programs. DDLP 1996: 45-56

Carl-Alexander Wichert, Burkhard Freitag: Logical Specification of Bulk Updates and Sequential Updates. DDLP 1996: 79-93

Ulrich Zukowski, Burkhard Freitag: Adding Flexibility to Query Evaluation for Modularly Stratified Databases. JICSLP 1996: 304-318

Stefan Brass, Ulrich Zukowski, Burkhard Freitag: Transformation-Based Bottom-Up Computation of the Well-Founded Model. NMELP 1996: 171-201

Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski: An Approach to Intelligent Software Library Management. DASFAA 1995: 71-78

Burkhard Freitag: A Hypertext-Based Tool for Large Scale Software Reuse. CAiSE 1994: 283-296

Burkhard Freitag: Representing Objects as Modules in Deductive Databases. Workshop on Deductive Databases and Logic Programming 1994: 41-56

Burkhard Freitag, Tiziana Margaria, Bernhard Steffen: A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58

Günther Specht, Burkhard Freitag, Heribert Schütz: AMOS: A Natural Language Parser written in LOLA. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 124-133

Burkhard Freitag, Heribert Schütz, Günther Specht: Overview of the deductive database system LOLA. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 166

Günther Specht, Burkhard Freitag: AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA. Workshop on Programming with Logic Databases (Book), ILPS 1993: 197-215

Burkhard Freitag: Bottom-up evaluation of embedded implications. CNKBS 1992: 24-26

Burkhard Freitag: Bottom-Up Evaluation of Embedded Implications. Grundlagen von Datenbanken 1992: 30-34

Burkhard Freitag: Extending Deductive Database Languages by Embedded Implications. LPAR 1992: 84-95

Burkhard Freitag, Heribert Schütz, Günther Specht, Rudolf Bayer, Ulrich Güntzer: LOLA - ein deduktives Datenbanksystem. Objektbanken für Experten 1992: 1-28

Johann Kempe, T. Lenz, Burkhard Freitag, Heribert Schütz, Günther Specht: CL/TB an allegro common Lisp programming interface for TransBase. SIGPLAN Notices 26(8): 60-69 (1991)

Burkhard Freitag, Heribert Schütz, Günther Specht: LOLA - A Logic Language for Deductive Databases and its Implementation. DASFAA 1991: 216-225

Burkhard Freitag, Bernhard Huber, Wolfgang Womann: An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing. IJCAI 1989: 1369-1374

Burkhard Freitag, Günther Specht: A Parsing System Based on a Deductive Database. GWAI 1989: 280-289

Burkhard Freitag, Olaf Biernath: An Airtravel Expert Database. JCDKB 1988: 32-46