SciDok

Schriftenreihe: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]

Nr. Titel Autor Jahr Band
1 The matrix auction : a mechanism for the market-based coordination of enterprise networks Vierke, Gero et al. 1999 99-04
2 Holonic multi-agent systems Gerber, Christian et al. 1999 99-03
3 SIF - the social interaction framework system : description and user's guide to a multi-agent system testbed Schillo, Michael et al. 1999 99-02
4 Ein System zur Definition und Ausführung von Protokollen für Multi-Agentsysteme Philipps, Stefan et al. 1999 99-01
5 A bag of useful techniques for efficient and robust parsing Kiefer, Bernd et al. 1998 98-04
6 Developing a matrix characterization for MELL Mantel, Heiko 1998 98-03
7 Decision theory and coordination in multiagent systems Fischer, Klaus et al. 1998 98-02
8 Methodological comparison of agent models Jung, Christoph G. et al. 1998 98-01
9 Complement extraction lexical rules and argument attraction Müller, Stefan 1997 97-08
10 Yet another paper about partial verb phrase fronting in German Müller, Stefan 1997 97-07
11 Scrambling in German - extraction into the Mittelfeld Müller, Stefan 1997 97-06
12 Finding regions of local repair in hierarchical constraint satisfaction Meyer auf'm Hofe, Harald 1997 97-05
13 Parameterized abstractions used for proof-planning Autexier, Serge et al. 1997 97-04
14 Using rippling to prove the termination of algorithms Hutter, Dieter 1997 97-03
15 Natural language dialogue service for appointment scheduling agents Busemann, Stephan et al. 1997 97-02
16 Analogical transfer of verification proofs for state-based specifications Melis, Erica et al. 1997 97-01
17 Case studies of non-freely generated data types Sengler, Claus 1996 96-06
18 Best-first surface realization Busemann, Stephan 1996 96-05
19 Multi-agent planning using an abductive : event calculus Jung, Christoph G. et al. 1996 96-04
20 Interleaving natural language parsing and generation through uniform processing Neumann, Günter 1996 96-03
21 PPP-Persona : ein objektorientierter Multimedia-Präsentationsagent André, Elisabeth et al. 1996 96-02
22 Typed feature structures, definite equivalences, greatest model semantics, and nonmonotonicity Krieger, Hans-Ulrich 1995 95-20
23 Distributed parsing with HPSG grammars Diagne, Abdel Kader et al. 1995 95-19
24 Efficient parameterizable type expansion for typed feature formalisms Krieger, Hans-Ulrich et al. 1995 95-18
25 Classification and representation of types in TDL Krieger, Hans-Ulrich 1995 95-17
26 Functional computation as concurrent computation Niehren, Joachim 1995 95-14
27 Deduction-based refinement planning Stephan, Werner et al. 1995 95-13
28 Research in constraint-based layout, visualization, CAD, and related topics : a bibliographical survey Hower, Walter et al. 1995 95-12
29 Incremental generation for real-time applications Kilger, Anne et al. 1995 95-11
30 The Oz programming model Smolka, Gert 1995 95-10
31 A refined architecture for terminological systems : terminology = schema + views Buchheit, Martin et al. 1995 95-09
32 An abstract machine for Oz Mehl, Michael et al. 1995 95-08
33 The complexity of concept languages Donini, Francesco M. et al. 1995 95-07
34 FEGRAMED : an interactive graphics editor for feature structures Kiefer, Bernd et al. 1995 95-06
35 A first-order axiomatization of the theory of finite trees Backofen, Rolf et al. 1995 95-05
36 Task acquisition with a description logic reasoner Buchheit, Martin et al. 1995 95-04
37 Document analysis at DFKI. - Part 2: Information extraction Baumann, Stephan et al. 1995 95-03
38 Document analysis at DFKI. - Part 1: Image analysis and text recognition Ali, Majdi Ben Hadj et al. 1995 95-02
39 Cooperative transportation scheduling : an application domain for DAI Fischer, Klaus et al. 1995 95-01
40 Typed feature formalisms as a common basis for linguistic specification Krieger, Hans-Ulrich 1994 94-39
41 DISCO - an HPSG-based NLP system and its application for appointment scheduling Uszkoreit, Hans et al. 1994 94-38
42 TDL : a type description language for HPSG. - Part 1: Overview Krieger, Hans-Ulrich et al. 1994 94-37
43 Issues in concurrent knowledge engineering : knowledge sharing and knowledge base evolution Meyer, Manfred 1994 94-36
44 A complete axiomatization of a theory with feature and arity constraints Backofen, Rolf 1994 94-35
45 COSMA - multi-participant NL interaction for appointment scheduling Busemann, Stephan et al. 1994 94-34
46 Terminological logics with modal operators Baader, Franz et al. 1994 94-33
47 Integrated knowledge utilization and evolution for the conservation of corporate know-how Kühn, Otto et al. 1994 94-31
48 The definition of kernel Oz Smolka, Gert 1994 94-23
49 Encapsulated search and constraint programming in Oz Schulte, Christian et al. 1994 94-20
50 Using IR techniques for text classification in document analysis Hoch, Rainer 1994 94-19
51 How to win a game with features Backofen, Rolf et al. 1994 94-18
52 Philosophical logics - a survey and a bibliography Struth, Georg 1994 94-17
53 A foundation for higher-order concurrent constraint programming Gerd, Smolka 1994 94-16
54 Using graphical style and visibility constraints for a meaningful layout in visual programming interfaces Graf, Winfried H. et al. 1994 94-15
55 Towards a sharable knowledge base on recyclable plastics Boley, Harold et al. 1994 94-14
56 Planning from second principles : a logic-based approach Koehler, Jana 1994 94-13
57 Ordering constraints on trees Comon, Hubert et al. 1994 94-12
58 A consequence-finding approach for feature recognition in CAPP Hinkelmann, Knut 1994 94-11
59 Computing cost estimates for proof strategies Hinkelmann, Knut et al. 1994 94-10
60 Conserving corporate knowledge for crankshaft design Kühn, Otto et al. 1994 94-08
61 Finite domains and exclusions as first-class citizens Boley, Harold 1994 94-07
62 An adaptive deductive planning system Dengler, Dietmar 1994 94-06
63 Beyond the knowledge level : descriptions of rational behavior for sharing and reuse Schmalhofer, Franz et al. 1994 94-05
64 A calculus for higher-order concurrent constraint programming with deep guards Gerd, Smolka 1994 94-03
65 Von Textgeneratoren zu Intellimedia-Präsentationssystemen André, Elisabeth et al. 1994 94-02
66 Multimedia presentations : the support of passive and active viewing André, Elisabeth et al. 1994 94-01
67 Cardinality restrictions on concepts Baader, Franz et al. 1993 93-48
68 A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning Hanschke, Philipp 1993 93-46
69 On virtual partitioning of large dictionaries for contextual post-processing to improve character recognition Hoch, Rainer 1993 93-45
70 Subsumption between queries to object-oriented databases Buchheit, Martin et al. 1993 93-44
71 Logic-based plan recognition for intelligent help systems Bauer, Mathias et al. 1993 93-43
72 The first-order theory of lexicographic path orderings is undecidable Comon, Hubert et al. 1993 93-42
73 LAYLAB : a constraint-based layout manager for multimedia presentations Graf, Winfried H. 1993 93-41
74 Queries, rules and definitions as epistemic statements in concept languages Donini, Francesco M. et al. 1993 93-40
75 Document recognition of printed scores and transformation into MIDI Baumann, Stephan 1993 93-38
76 Von IDA bis IMCOD : Expertensysteme im CIM-Umfeld Richter, Michael M. et al. 1993 93-36
77 Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings Boley, Harold et al. 1993 93-35
78 Verbmobil : translation of face-to-face dialogs Wahlster, Wolfgang 1993 93-34
79 Plan reuse versus plan generation : a theoretical and empirical analysis Nebel, Bernhard et al. 1993 93-33
80 Conversation acts in task-oriented spoken dialogue Traum, David R. et al. 1993 93-32
81 Abductive speech act recognition, corporate agents and the COSMA system Hinkelman, Elizabeth A. et al. 1993 93-31
82 Corporate agents Spackman, Stephen P. et al. 1993 93-30
83 Representing belief in multi-agent worlds via terminological logics Laux, Armin 1993 93-29
84 Feature-based allomorphy Krieger, Hans-Ulrich et al. 1993 93-28
85 Derivation without lexical rules Krieger, Hans-Ulrich 1993 93-27
86 The agent architecture InteRRaP : concept and application Müller, Jörg P. et al. 1993 93-26
87 A DAI approach to modeling the transportation domain Fischer, Klaus et al. 1993 93-25
88 Document highlighting - message classification in printed business letters Hoch, Rainer et al. 1993 93-24
89 Comparative study of connectionist simulators Dengel, Andreas et al. 1993 93-23
90 Weak looking-ahead and its application in computer-integrated process planning Meyer, Manfred A. et al. 1993 93-22
91 Embedding defaults into terminological knowledge representation formalisms Baader, Franz et al. 1993 93-20
92 Terminological cycles and the ropositional μ-calculus Schild, Klaus 1993 93-18
93 Regular path expressions in feature logic Backofen, Rolf 1993 93-17
94 Object-oriented concurrent constraint programming in Oz Smolka, Gert et al. 1993 93-16
95 PLUS : plan-based user support final project report Berger, Frank et al. 1993 93-15
96 Equational and membership constraints for infinite trees Niehren, Joachim et al. 1993 93-14
97 A semantics for open normal defaults via a modified preferential approach Baader, Franz et al. 1993 93-13
98 A two-level semantics for french expressions of motion Sablayrolles, Pierre 1993 93-12
99 Reasoning about temporal relations : a maximal tractable subclass of Allen's interval algebra Nebel, Bernhard et al. 1993 93-11
100 Decidable reasoning in terminological knowledge representation systems Buchheit, Martin et al. 1993 93-10
101 Satisfiability of the smallest binary program Hanschke, Philipp et al. 1993 93-09
102 COLAB : a hybrid knowledge representation and compilation laboratory Boley, Harold et al. 1993 93-08
103 Concept logics with function symbols Bürckert, Hans-Jürgen et al. 1993 93-07
104 On skolemization in constrained logics Bürckert, Hans-Jürgen et al. 1993 93-06
105 Combination techniques and decision problems for disunification Baader, Franz et al. 1993 93-05
106 GGD : graph grammar developer for features in CAD/CAM Klauck, Christoph et al. 1993 93-04
107 An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on' Baader, Franz et al. 1993 93-03
108 Plan-based integration of natural language and graphics generation Wahlster, Wolfgang et al. 1993 93-02
109 An alternative proof method for possibilistic logic and its application to terminological logics Hollunder, Bernhard 1993 93-01
110 Defaults, preorder semantics and circumscription Schlechta, Karl 1992 92-60
111 On principles and problems of defeasible inheritance Schlechta, Karl et al. 1992 92-59
112 How to prefer more specific defaults in terminological default logic Baader, Franz et al. 1992 92-58
113 Integrating a modal logic of knowledge into terminological logics Laux, Armin 1992 92-56
114 Natural language semantics and compiler technology Nerbonne, John et al. 1992 92-55
115 A direct semantic characterization of RELFUN Boley, Harold 1992 92-54
116 A new logical framework for deductive planning Stephan, Werner et al. 1992 92-53
117 PHI : a logic-based tool for intelligent help systems Bauer, Mathias et al. 1992 92-52
118 On abduction and answer generation through constrained resolution Bürckert, Hans-Jürgen et al. 1992 92-51
119 Generierung natürlicher Sprache Busemann, Stephan et al. 1992 92-50
120 Heuristic classification for automated CAPP Klauck, Christoph et al. 1992 92-49
121 Plan modifications versus plan generation : a complexity-theoretic perspective Nebel, Bernhard et al. 1992 92-48
122 A multi-agent approach towards modeling urban traffic scenarios Bomarius, Frank 1992 92-47
123 WIP : the automatic synthesis of multimodal presentations André, Elisabeth et al. 1992 92-46
124 The design of illustrated documents as a planning task André, Elisabeth et al. 1992 92-45
125 Incorporating graphics design and realization into the multimodal presentation system WIP Rist, Thomas et al. 1992 92-44
126 A heuristic driven chart-parser for attributed node labeled graph grammars and its application to feature recognition in CIM Klauck, Christoph et al. 1992 92-43
127 A feature-based syntax/semantics interface Nerbonne, John 1992 92-42
128 A multi-agent approach towards group scheduling Lux, Andreas 1992 92-41
129 Combining terminological and rule-based reasoning for abstraction processes Hanschke, Philipp et al. 1992 92-40
130 An alternative to theta-subsumption based on terminological reasoning Hanschke, Philipp et al. 1992 92-38
131 Specifying role interaction in concept languages Hanschke, Philipp 1992 92-37
132 Extensions of concept languages for a mechanical engineering application Baader, Franz et al. 1992 92-36
133 Using hierarchical constraint satisfaction for lathe-tool selection in a CIM environment Meyer, Manfred 1992 92-35
134 Terminological reasoning and partial inductive definitions Hanschke, Philipp 1992 92-34
135 Unification theory Baader, Franz 1992 92-33
136 Designing a structured lexicon for document image analysis Hoch, Rainer et al. 1992 92-32
137 Automatic design of multimodal presentations Wahlster, Wolfgang 1992 92-31
138 A complete and recursive feature theory Backofen, Rolf et al. 1992 92-30
139 Skeletal plans reuse : a restricted conceptual graph classification approach Wu, Zhaohui et al. 1992 92-29
140 The model-based construction of a case-oriented expert system Schmalhofer, Franz et al. 1992 92-27
141 Intelligent documentation as a catalyst for developing cooperative knowledge-based systems Schmalhofer, Franz et al. 1992 92-26
142 Using integrated knowledge acquisition to prepare sophisticated expert plans for their re-use in novel situations Schmalhofer, Franz et al. 1992 92-25
143 Knowledge acquisition from text in a complex domain Schmidt, Gabriele 1992 92-24
144 Records for logic programming Smolka, Gert et al. 1992 92-23
145 Unifying cycles Würtz, Jörg 1992 92-22
146 Representing spatial relations (Part II) : the geometrical approach Mohren, Jörg-Peter et al. 1992 92-21
147 Representing grammar, meaning and knowledge Nerbonne, John 1992 92-20
148 PIM : planning in manufacturing using skeletal plans and features Legleitner, Ralf et al. 1992 92-19
149 Constraint-based semantics Nerbonne, John 1992 92-18
150 A feature-based constraint system for logic programming with entailment Aït-Kaci, Hassan et al. 1992 92-17
151 An empirical analysis of terminological representation systems Heinsohn, Jochen et al. 1992 92-16
152 Constraint-based graphical layout of multimodal presentations Graf, Winfried 1992 92-15
153 Intelligent user support in graphical user interfaces Thies, Markus A. et al. 1992 92-14
154 Planbasierte graphische Hilfe in objektorientierten Benutzungsoberflächen Thies, Markus A. et al. 1992 92-13
155 Deductive planning and plan reuse in a command language environment Biundo, Susanne et al. 1992 92-11
156 An interval-based temporal logic in a multivalued setting Bauer, Mathias 1992 92-10
157 Perspektiven zur Kombination von automatischem Animationsdesign und planbasierter Hilfe Graf, Winfried et al. 1992 92-09
158 Approaches to abductive reasoning : an overview Merziger, Gabriele 1992 92-08
159 Decision-theoretic transformational planning Beetz, Michael 1992 92-07
160 Main topics of DAI : a review Schupeta, Achim 1992 92-06
161 Feature based integration of CAD and CAPP Bernardi, Ansgar et al. 1992 92-05
162 Feature-based lexicons : an example and a comparison to DATR Nerbonne, John 1992 92-04
163 Extended logic-plus-functional programming Boley, Harold 1992 92-03
164 Pi_{ODA} : the paper interface to ODA Dengel, Andreas et al. 1992 92-02
165 Unification in monoidal theories is solving linear equations over semirings Nutt, Werner 1992 92-01
166 Constraint-basierte Verarbeitung graphischen Wissens Graf, Winfried et al. 1991 91-35
167 On the computational complexity of temporal projection and some related problems Nebel, Bernhard et al. 1991 91-34
168 Unification in the union of disjoint equational theories : combining decision procedures Baader, Franz et al. 1991 91-33
169 Towards the integration of functions, relations and types in an AI programming language Backofen, Rolf et al. 1991 91-32
170 Feature-based inheritance networks for computational lexicons Krieger, Hans-Ulrich et al. 1991 91-31
171 Inheritance and complementation : a case study of easy adjectives and related nouns Flickinger, Dan et al. 1991 91-30
172 Strategies for adding control information to declarative grammars Uszkoreit, Hans 1991 91-29
173 Linking typed feature formalisms and terminological knowledge representation languages in natural language front-ends Backofen, Rolf et al. 1991 91-28
174 ARC-TEC : acquisition, representation and compilation of technical knowledge Bernardi, Ansgar et al. 1991 91-27
175 Integrated plan generation and recognition : a logic-based approach Bauer, Mathias et al. 1991 91-26
176 Incremental syntax generation with tree adjoining grammars Harbusch, Karin et al. 1991 91-25
177 A hybrid approach for modeling uncertainty in terminological logics Heinsohn, Jochen 1991 91-24
178 Akquisition und Repräsentation von technischem Wissen für Planungsaufgaben im Bereich der Fertigungstechnik Richter, Michael M. et al. 1991 91-23
179 Self-adapting structuring and representation of space Dengel, Andreas 1991 91-22
180 Clause union and verb raising phenomena in German Netter, Klaus 1991 91-21
181 FEAT-REP : representing features in CAD/CAM Klauck, Christoph et al. 1991 91-20
182 On the commitments and precommitments of limited agents Singh, Munindar Paul 1991 91-19
183 A diagnostic tool for German syntax Nerbonne, John et al. 1991 91-18
184 The use of abstraction concepts for representing and structuring documents Dengel, Andreas et al. 1991 91-17
185 Using pattern-action rules for the generation of GPSG structures from separate semantic representations Busemann, Stephan 1991 91-16
186 Attributive description formalisms and the rest of the world Nebel, Bernhard et al. 1991 91-15
187 A two level representation for spatial relations. - Part I Breuer, Peter et al. 1991 91-14
188 Residuation and guarded rules for constraint logic programming Smolka, Gert 1991 91-13
189 The absorption principle and E-type anaphora Gawron, Jean Mark et al. 1991 91-12
190 Belief revision and default reasoning : syntax-based approaches Nebel, Bernhard 1991 91-11
191 A scheme for integrating concrete domains into concept languages Baader, Franz et al. 1991 91-10
192 RATMAN and its relation to other multi-agent testbeds Bürckert, Hans-Jürgen et al. 1991 91-09
193 WIP : the coordinated generation of multimodal presentations from a common representation Wahlster, Wolfgang et al. 1991 91-08
194 A head-driven approach to incremental and parallel generation of syntactic structures Neumann, Günter et al. 1991 91-07
195 Synthesizing illustrated documents : a plan-based approach André, Elisabeth et al. 1991 91-06
196 Designing illustrated texts : how language production is influenced by graphics generation Wahlster, Wolfgang et al. 1991 91-05
197 X2MORF : a morphological component based on augmented two-level morphology Trost, Harald 1991 91-04
198 Qualifying number restrictions in concept languages Hollunder, Bernhard et al. 1991 91-03
199 The complexity of existential quantification in concept languages Donini, Francesco M. et al. 1991 91-02
200 On the expressivity of feature logics with negation, functional uncertainty, and sort equations Baader, Franz et al. 1991 91-01
201 Generalisierte Phasenstruktur-Grammatiken und ihre Verwendung zur maschinellen Sprachverarbeitung Busemann, Stephan 1990 90-17
202 Adding homomorphisms to commutative/monoidal theories or : how algebra can help in equational unification Baader, Franz et al. 1990 90-16
203 The application of two-level morphology to non-concatenative German morphology Trost, Harald 1990 90-15
204 Integrated knowledge acquisition from text, previously solved cases, and expert memories Schmalhofer, Franz et al. 1990 90-14
205 Augmenting concept languages by transitive closure of roles : an alternative to terminological cycles Baader, Franz 1990 90-13
206 Declarative operations on nets Boley, Harold 1990 90-12
207 Towards a plan-based synthesis of illustrated documents André, Elisabeth et al. 1990 90-11
208 Concept logics Baader, Franz et al. 1990 90-10
209 Plan generation using a method of deductive program synthesis Biundo, Susanne 1990 90-09
210 A step towards understanding paper documents Dengel, Andreas 1990 90-08
211 Wissensbasierte Informationspräsentation : zwei Beiträge zum Fachgespräch Graphik und KI. - 1. Ein planbasierter Ansatz zur Synthese illustrierter Dokumente. - 2. Wissensbasierte Perspektivenwahl für die automatische Erzeugung von 3D-Objektdarstellungen André, Elisabeth et al. 1990 90-07
212 Hybrid inferences in KL-ONE-based knowledge representation systems Hollunder, Bernhard 1990 90-06
213 A formal definition for the expressive power of knowledge representation languages Baader, Franz 1990 90-05
214 Subsumption algorithms for concept languages Hollunder, Bernhard et al. 1990 90-04
215 Integration of document representation, processing and management Dengel, Andreas et al. 1990 90-03
216 A resolution principle for clauses with constraints Bürckert, Hans-Jürgen 1990 90-02
217 Terminological cycles in KL-ONE-based knowledge representation languages Baader, Franz 1990 90-01
218 Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage Frese, Udo et al. 2009 09-01
219 String unification is essentially infinitary Hoche, Michael et al. 2008 08-01
220 A platform-independent model for agents Hahn, Christian et al. 2007 07-01
221 Linking flat predicate argument structures Xu, Feiyu 2004 04-04
222 SimMarket : agentenbasierte Simulation menschlichen Kaufverhaltens Schwaiger, Arndt et al. 2004 04-03
223 Proceedings of the First Workshop on Philosophy and Informatics (WSPI 2004) : Cologne, Germany 2004 04-02
224 From UBGs to CFGs A practical corpus-driven approach Krieger, Hans-Ulrich 2004 04-01
225 Proceedings of the Third Workshop on Document Layout Interpretation and its Applications (DLIA2003), co-located with ICDAR2003, Edinburgh, Scotland Bagdanov, Andrew D. et al. 2003 03-02
226 DFKI finite-state machine toolkit Piskorski, Jakub 2002 02-04
227 Proceedings of the 2nd International Workshop on Security in Mobile Multiagent Systems Fischer, Klaus et al. 2002 02-03
228 Secure mobile multiagent systems in virtual marketplaces : a case study on comparison shopping Schaefer, Ina 2002 02-02
229 The eager bidder problem : a fundamental problem of DAI and selected solutions Schillo, Michael et al. 2001 01-03
230 Inside-outside estimation meets dynamic EM : gold Prescher, Detlef 2001 01-02
231 Theory and practice of hybrid agents Jung, Christoph G. et al. 2001 01-01
232 Vertrauen und Betrug in Multi-Agenten Systemen : Erweiterung des Vertrauensmodells von Castelfranchi und Falcone um eine Kommunikationskomponente Schillo, Michael 2000 00-02

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English