Report

Usability Meets Instant Gratification on the Semantic Web

Authors: 
Aumüller, David
Year: 
2004

Fragments of Common knowledge Logics

Authors: 
Wolter, Frank
Year: 
1998

The product of converse PDL and polymodal K

Authors: 
Wolter, Frank
Year: 
1998

Modal description logics: modalizing roles

Authors: 
Wolter, Frank
Zakharyaschev, Michael
Year: 
1999

Dynamic description logics

Authors: 
Wolter, Frank
Zakharyaschev, Michael
Year: 
1998

Temporalizing description logics

Authors: 
Wolter, Frank
Zakharyaschev, Michael
Year: 
1998

Intuitionistic Modal Logics

Authors: 
Wolter, Frank
Zakharyaschev, Michael
Year: 
1998

Multi-dimensional description logics

Authors: 
Wolter, Frank
Zakharyaschev, Michael
Year: 
1998

Intuitionistic Modal Logics as fragments of Classical Bimodal Logics

Authors: 
Wolter, Frank
Zakharyaschev, Michael
Year: 
1998

From Partial to Possibilistic Logic

Authors: 
Wagner, Gerd
Year: 
1996

VIVA Multi-Agent Logic Programming

Authors: 
Wagner, Gerd
Year: 
1996

Zwischenbericht zur Arbeit im DFG-Projekt

Authors: 
Spruth, Wilhelm G.
Hering, Klaus
Haupt, Reiner
Petri, Udo
Year: 
1997

Zwischenbericht zum Projekt ''FPGA-Entwurfssystem''

Authors: 
Steffen, M.
Herrmann, Paul
Möhrke, Ulrich
Spruth, Wilhelm G.
Year: 
1998

Verhaltensbeschreibung in der High-Level-Synthese

Authors: 
Schmidt, Marco
Möhrke, Ulrich
Herrmann, Paul
Year: 
1996

VH2FG ein VHDL-nach-Flussgraph-Converter fuer CADDY

Authors: 
Schmidt, Marco
Möhrke, Ulrich
Herrmann, Paul
Year: 
1996

Survey of existing Bio-ontologies

Authors: 
Sklyar, Nataliya
Year: 
2001

Document Version Management Using an Adapted Segment Tree

Authors: 
Sosna, Dieter
Year: 
1997

Zellulare Automaten und ihre Anwendung bei der Modellierung von Wellenerscheinungen

Authors: 
Sosna, Dieter
Zschoettge, Steffen
Year: 
1995
Syndicate content