default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16. GWAI 1992: Bonn, Germany
- Hans Jürgen Ohlbach:
GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings. Lecture Notes in Computer Science 671, Springer 1993, ISBN 3-540-56667-8
Invited Paper
- Dov M. Gabbay:
How to Construct a Logic for Your Application. 1-29
Technical Papers
- Peter Baumgartner:
A Model Elimination Calculus with Built-in Theories. 30-42 - Christoph Weidenbach:
A New Sorted Logic. 43-54 - Xiaorong Huang:
An Explanatory Framework for Human Theorem Proving. 55-66 - Joachim Posegga, Bertram Ludäscher:
Towards First-order Deduction Based on Shannon Graphs. 67-75 - Reinhard Bachmann
, Thomas Malsch, Susanne Ziegler:
Success and Failure of Expert Systems in Different Fields of Industrial Application. 77-86 - Marc Linster:
Viewing Knowledge Engineering as a Symbiosis of Modeling to Make Sense and Modeling to Implement Systems. 87-99 - Sonja Branskat:
Cases as a Basis for Knowledge Acquisition in the Pre-Formal Phases of Knowledge Engineering. 100-109 - Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß:
Controlling Generate & Test in Any Time. 110-121 - Achim Weigel, Rainer Bleisinger:
Efficient Computation of Solutions for Contradictory Time Interval Networks. 122-131 - Franz Baader, Philipp Hanschke:
Extensions of Concept Languages for a Mechanical Engineering Application. 132-143 - Philipp Hanschke, Knut Hinkelmann:
Combining Terminological and Rule-based Reasoning for Abstraction Processes. 144-155 - Knut Hinkelmann:
Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM. 156-165 - Erich Prem, Markus Mackinger, Georg Dorffner, Gerold Porenta, Heinz Sochor:
Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge. 166-175 - Jürgen Herrmann, Renate Beckmann:
A Heuristic Inductive Generalization Method and its Application to VLSI-Design. 176-186 - Ralph Bergmann:
Learning Plan Abstractions. 187-198 - Alexander Linden:
On Discontinuous Q-Functions in Reinforcment Learning. 199-209 - Karsten Poeck, Martin Tins:
An Intelligent Tutoring System for Classification Problem Solving. 210-220 - Martin Schröder:
Knowledge-based Processing of Medical Language: A Language Engineering Approach. 221-234 - Heike Kranzdorf, Ulrike Griefahn:
Text Planning in ITEX: A Hybrid Approach. 235-246 - Marion Schulz, Daniela Schmidt:
Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics. 247-254 - Esther König:
An Efficient Decision Algorithm for Feature Logic. 255-266 - Stefan Decker, Christoph Lingenfelder:
Universally Quantified Queries in Language with Order-Sorted Logics. 267-271 - Justus Meier:
A Semantic View of Explanation. 272-282 - Dietmar Janetzko, Stefan Wess, Erica Melis:
Goal-Driven Similarity Assessment. 283-298
Workshop Contributions
- Jacques H. J. Lenting, Peter J. Braspenning:
Delegated Negotiation for Resource Re-Allocation. 299-312 - Paul de Greef, Keith L. Clark, Frank G. McCabe:
Towards a Specification Language for Cooperation Methods. 313-319 - Martin Kramer:
Improving Operating System Usage. 320-333 - Matthias E. Kölln:
The Role of User Models for Conflicts in a Constraint-based Model of Generation. 334-346 - Ernst Buchberger:
Criteria in Natural Language Generation: Minimal Criteria and Their Impacts. 347-356 - Renate A. Schmidt:
Terminological Representation, Natural Language & Relation Algebra. 357-371 - Andreas Lux, Michael Kolb:
Linking Humans and Intelligent Systems - or: What are User Agents Good for? 372-385 - Hauke Kindler, Dirk Densow, Theodor M. Fliedner:
A Advisor for the Management of the Acute Radiation Syndrome. 386-396
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
