Search results for "LILOG-Report"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Thomas Ludwig 0001	Algebraical Optimization of FTA-Expressions	LILOG-Report	1988	RDF
1	Christoph Beierle, Udo Pletat, Hans Uszkoreit	An Algebraic Characterization of STUF	LILOG-Report	1988	RDF
1	Erich Gehlen, Burkhard Kehrbusch	Mengenorientierte Auswertung von Anfragen in der Logikprogrammiersprache PROLOG	LILOG-Report	1988	RDF
1	Markus Höhfeld, Gert Smolka	Definite Resolution over Constraint Languages	LILOG-Report	1988	RDF
1	Christopher Habel	Cognitive Linguistics: The Processing of Spatial Concepts	LILOG-Report	1988	RDF
1	Thomas Ludwig 0001, Bernd Walter, Michael Ley, Albert Maier, Erich Gehlen	LILOG-DB: Database Support for Knowledge-Based Systems	LILOG-Report	1988	RDF
1	Michael Ley	Ein Fact Manager zur persistenten Speicherung variabel strukturierter komplexer Objekte	LILOG-Report	1988	RDF
1	Carola Eschenbach	Über Ansätze zur Darstellung von Konzepten und Prototypen	LILOG-Report	1988	RDF
1	Christoph Beierle, Udo Pletat	Semantics of Logic Programs with Equational Abstract Data Type Specifications	LILOG-Report	1988	RDF
1	Helmar Gust, Petra Ludewig, Mechthild Rickheit	Die Struktur des Lexikons für LILOG	LILOG-Report	1988	RDF
1	Mohammed Nadjib Khenkhar	Vorüberlegungen zur depiktionalen Repräsentation räumlichen Wissens	LILOG-Report	1988	RDF
1	Christos Garidis	Logisches Clustering von PROTOS-L Prozeduren	LILOG-Report	1988	RDF
1	Mechthild Rickheit	Zum Begriff "Argumentstruktur" im Rahmen generativer worbildungstheoretischer Ansätze	LILOG-Report	1988	RDF
1	Rainer Bäuerle	Ereignisse und Repräsentationen	LILOG-Report	1988	RDF
1	Helmar Gust, Manfred Grothaus	Wissensbasisverwaltung für LILOG	LILOG-Report	1988	RDF
1	Roland Seiffert	Operationen in erweiterten Typunifikationsformalismen	LILOG-Report	1988	RDF
1	Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer	The Knowledge Representation Language LLILOG	LILOG-Report	1988	RDF
1	Christoph Beierle, Walter G. Olthoff, Angi Voß	Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung	LILOG-Report	1988	RDF
1	Christoph Beierle, Udo Pletat	Feature Graphs and Abstract Data Types: A Unifying Approach	LILOG-Report	1988	RDF
1	Gert Smolka	A Feature Logic with Subsorts	LILOG-Report	1988	RDF
1	Thomas Ludwig 0001	EFTA: An Algebra for Deductive Retrieval of Feature Terms	LILOG-Report	1988	RDF
1	Thomas Ludwig 0001	FLL: A First-Order Language for Deductive Retrieval of Feature Terms	LILOG-Report	1988	RDF
1	Karl-Hans Bläsius, Ulrich Hedtstück	Resolution with Feature Unification	LILOG-Report	1988	RDF
1	Kurt Rothermel	An Effective Representation of Complex Clauses in a Relational Database	LILOG-Report	1988	RDF
1	Udo Pletat	Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs	LILOG-Report	1988	RDF
1	Simone Pribbenow	Verträglichkeitsprüfungen für die Verarbeitung räumlichen Wissens	LILOG-Report	1988	RDF
1	Christopher Habel, Simone Pribbenow	Gebietskonstituierende Prozesse	LILOG-Report	1988	RDF
1	Kjell Johan Sæbø	A Model for Discourse Particles	LILOG-Report	1988	RDF
1	Jean-Yves Lerner, Ulrich Schatz	Die Sloppy/Referenzielle Ambiguität: Bildungssyntax oder Diskursrepräsentationstheorie?	LILOG-Report	1988	RDF
1	Werner Emde, Claus-Rainer Rollinger	Wissensrepräsentation und Maschinelles Lernen	LILOG-Report	1987	RDF
1	Christoph Beierle, Udo Pletat	On the Interpretation of Equality, Sorts, and Logic Programming	LILOG-Report	1987	RDF
1	Peter H. Schmitt	Computational aspects of three-valued logic	LILOG-Report	1987	RDF
1	Stefan Börner, Rudi Studer	An Approach to Manage Large Inheritance Networks	LILOG-Report	1987	RDF
1	Peter H. Schmitt	Eine dreiwertige Logik zur Verarbeitung partieller Information	LILOG-Report	1987	RDF
1	Petra Maier	Der modale Infinitiv: Syntaktische oder lexikalische Beschreibung?	LILOG-Report	1987	RDF
1	Birgit Wesche	At Ease with "AT"	LILOG-Report	1987	RDF
1	Stefan Börner	Datenbankunterstützung für wissensbasierte Systeme	LILOG-Report	1987	RDF
1	Udo Pletat, Christoph Beierle	The Semantics of Asserting and Retracting Clauses to Logic Programs	LILOG-Report	1987	RDF
1	Birgit Wesche, Ingrid Renz	Word Order and Focus Projection	LILOG-Report	1987	RDF
1	Peter H. Schmitt	Mathematical Logic and Artificial Intelligence	LILOG-Report	1987	RDF
1	Kurt Eberle	Eine Prolog-Theorie für zeitliche Beziehungen zwischen Ereignissen	LILOG-Report	1987	RDF
1	Klaus Rehkämper	Mentale Bilder und Wegbedeutungen	LILOG-Report	1987	RDF
1	Claus-Rainer Rollinger, Rudi Studer, Hans Uszkoreit, Ipke Wachsmuth	Textunderstanding in LILOG - Sorts and Reference Objects	LILOG-Report	1987	RDF
1	Christopher Habel	Prozedurale Aspekte der Wegplanung und Wegbeschreibung	LILOG-Report	1987	RDF
1	Uwe Reyle	Zeit und Aspekt bei der Verarbeitung natürlicher Sprachen	LILOG-Report	1987	RDF
1	Peter Bosch	Representation and Accessibility of Discourse Referents	LILOG-Report	1987	RDF
1	Jochen Dörre	Weiterentwicklung des Earley-Algorithmus für kontextfreie und ID/LP-Grammatiken	LILOG-Report	1987	RDF
1	Roland Seiffert	Chart-Parsing of Unification-Based Grammars with ID/LP-Rules	LILOG-Report	1987	RDF
1	Ipke Wachsmuth	On Structuring Domain-Specific Knowledge	LILOG-Report	1987	RDF
1	Rudi Studer, Bernd Walter	Implementation Aspects of a Natural Language Understanding System in a Prolog/DB Environment	LILOG-Report	1986	RDF
1	Claus-Rainer Rollinger	Simulation Sprachlichen Verstehens: Generelle Probleme bei der semantischen Interpretation der natürlichen Sprache	LILOG-Report	1986	RDF
1	Otthein Herzog, Claus-Rainer Rollinger, Peter H. Schmitt, Petra Steffens, Rudi Studer, Birgit Wesche, Brigitte Bartsch-Spörl, F. Günthner, Christopher Habel, Siegfried Kanngießer, Christian Rohrer	LILOG - Linguistische und logische Methoden für das maschinelle Verstehen des Deutschen - Projektbeschreibung	LILOG-Report	1986	RDF
1	Rudi Studer	A Conceptual Model for Time	LILOG-Report	1986	RDF

Publications at "LILOG-Report"( http://dblp.L3S.de/Venues/LILOG-Report )