Publikationen

Aktive Filter:

Zeige Ergebnisse 21 bis 30 von 119.

Elisabeth Andre; Thomas Rist

Synthesizing Illustrated Documents: A Plan-Based Approach

DFKI, DFKI Research Reports (RR), Vol. 91-06, 1991.
Wolfgang Wahlster; Elisabeth Andre; Winfried Graf; Thomas Rist

Designing Illustrated Texts: How Language Production is Influenced by Graphics Generation

DFKI, DFKI Research Reports (RR), Vol. 91-05, 1991.
Bernhard Hollunder; Franz Baader

Qualifying Number Restrictions in Concept Languages

DFKI, DFKI Research Reports (RR), Vol. 91-03, 1991.
Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt

The Complexity of Existential Quantification in Concept Languages

DFKI, DFKI Research Reports (RR), Vol. 91-02, 1991.
Werner Stein; Michael Sintek

Relfun/X - An Experimental Prolog Implementation of Relfun

DFKI, DFKI Documents (D), Vol. 91-01, 1991.
Hans-Jürgen Bürckert

A Resolution Principle for a Logic with Restricted Quantifiers

PhD-Thesis, Universität Kaiserslautern, FB Informatik, Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, 1991.
Hans-Jürgen Bürckert

Resolution, Graph-based

In: Stuart C. Shapiro (Hrsg.). Encyclopedia of Artificial Intelligence. Pages 1353-1356, John Wiley, 1991.
Hans-Jürgen Bürckert; Heinz-Jürgen Müller

RATMAN: Rational Agent Testbed for Multi Agent Networks

In: Yves Demazeau; Jean-Pierre Müller (Hrsg.). Decentralized A.I. 2. Pages 217-230, Elsevier Science Publishers, 1991.
Hans-Jürgen Bürckert

Constraints and Restricted Quantifiers (Abstract)

In: Comon et al. (Hrsg.). Theorem Proving and Logic Programming with Constraints. Dagstuhl Seminare/Workshops, Dagstuhl Seminar 9143, October 24-25, IBFI Dagstuhl, Dagstuhl Seminar-Reports, Vol. 24, 1991.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.