On The Integration of Equality, Sorts, and Logic Programming (Englisch)
- Neue Suche nach: Beierle, Christoph
- Neue Suche nach: Pletat, Udo
- Neue Suche nach: Beierle, Christoph
- Neue Suche nach: Pletat, Udo
In:
3. Österreichische Artificial-Intelligence-Tagung
7
;
133-144
;
1987
-
ISSN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:On The Integration of Equality, Sorts, and Logic Programming
-
Beteiligte:Beierle, Christoph ( Autor:in ) / Pletat, Udo ( Autor:in )
-
Erschienen in:3. Österreichische Artificial-Intelligence-Tagung , 7 ; 133-144Informatik-Fachberichte ; 151, 7 ; 133-144
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1987
-
Format / Umfang:12 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Ereignismodellierung zur Inkrementellen High-Level BildfolgenanalyseRist, Thomas / Herzog, Gerd / André, Elisabeth et al. | 1987
- 12
-
Probabilities in Game-Playing: Possible Meanings and ApplicationsHoracek, Helmut / Kaindl, Hermann / Wagner, Marcus et al. | 1987
- 24
-
The RQA/FQI Strategy — Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management SystemsNejdl, Wolfgang et al. | 1987
- 35
-
Towards Automatic Semantic Classification for a Natural Language Understanding SystemZsolnai, Steven / Trost, Harald et al. | 1987
- 49
-
Parsing Phonetic Segments into SyllablesDorffner, Georg / Kwasny, Stan C. / Port, Robert F. et al. | 1987
- 64
-
Knowledge Engineering mit KNOPFGroiss, Herbert / Staringer, Werner et al. | 1987
- 72
-
PAMELA — Eine Deklarative Programmiersprache für Echtzeit-AnwendungenBarachini, Franz et al. | 1987
- 82
-
Ein Werkzeug zum WissenserwerbTavolato, Paul / Horn, Werner et al. | 1987
- 92
-
Lst-1 — ein wissensbasiertes System zur Durchführung und Berechnung des LohnsteuerjahresausgleichsBeiche, Hans-Peter et al. | 1987
- 104
-
Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten Modells in ARTEXFriedrich, Gerhard / Nejdl, Wolfgang / Retti, Johannes et al. | 1987
- 114
-
Caching and Consistency, a Solution in RLL-1Chalupsky, Hans et al. | 1987
- 125
-
VIP — eine integrierte Programmierumgebung für PrologKrall, Andreas / Kühn, Eva et al. | 1987
- 133
-
On The Integration of Equality, Sorts, and Logic ProgrammingBeierle, Christoph / Pletat, Udo et al. | 1987
- 145
-
Taxonomical Reasoning in Logic ProgrammingVarsek, I. et al. | 1987
- 157
-
Synthesis of Specifications from ProgramsTareb, N. / Kodratoff, Y. et al. | 1987
- 168
-
Reasoning about Theories with a Finite ModelKäufl, Thomas et al. | 1987
- 176
-
Automatisches Beweisen für Logiksysteme, in Denen Widersprüche Behandelt Werden KönnenBaaz, Matthias et al. | 1987