1
0
0
(1 - 28 von 29
)
An Alternative Proof Method for Possibilistic Logic and Its ...ScienceDirect.com
www.sciencedirect.com
von B Hollunder · · Zitiert von: 111 — Bernhard Hollunder. 1. INTRODUCTION. There have been many proposals for the treatment of uncertainty in artificial intelligence, in particular for expert ... von B Hollunder · · Zitiert von: 111 — Bernhard Hollunder. 1. INTRODUCTION. There have been many proposals for the treatment of uncertainty in artificial intelligence, in particular for expert ...
dblp: Bernhard Hollunder
dblp.uni-trier.de
List of computer science publications by Bernhard Hollunder
Terminological Knowledge Representation: A Proposal for ...TU Dresden
lat.inf.tu-dresden.de
Bernhard Hollunder, J urgen M uller, Bernhard Nebel,. Werner Nutt, Hans-J urgen Pro tlich. Deutsches Forschungszentrum f ur K unstliche Intelligenz (DFKI). Bernhard Hollunder, J urgen M uller, Bernhard Nebel,. Werner Nutt, Hans-J urgen Pro tlich. Deutsches Forschungszentrum f ur K unstliche Intelligenz (DFKI).
Search results for "Bernhard Hollunder" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 32 publication records. Showing 31 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Saed Imran, Martin ...
The complexity of existential quantification in concept ...ScienceDirect
www.sciencedirect.com
von FM Donini · · Zitiert von: 168 — Bernhard Hollunder and Werner Nutt. German Research Center for Artificial Intelligence, Postfach 2080, D Kaiserslautern,. Germany.
dblp: Annals of Mathematics and Artificial Intelligence, Volume 18
dblp.uni-trier.de
Bibliographic content of Annals of Mathematics and Artificial Intelligence, Volume 18
Publikationen der UdS: Cardinality restrictions on concepts
publikationen.sulb.uni-saarland.de
Cardinality Restrictions on Concepts Franz Baader, Martin Buchheit Bernhard Hollunder DFKI-RR
Hartenstein's Galeria
helios.informatik.uni-kl.de
[11] Prof. Dr. Bernhard Hollunder, Fachbereich Informatik, University of Applied Sciences, Furtwangen (black forest), Germany, Bachelor Thesis at University of Kaiserslautern [12] Prof. Dr.-Ing. Peter Zipf, Fachgebiet Digitaltechnik, Fachbereich Elektrotechnik / Informatik, Universität Kassel,
Forschungsbericht doczzdoczz.fr › doc › forschungsbericht
doczz.fr
Dr. Bernhard Hollunder Dr. Thomas Jechle Prof autonomy and participation for elderly people and persons with special needs Fotos: Ätztechnik Herz Konzeption / Gestaltung: www.see-marketing.de ... total distance of km from Tomasee to Hoeck van Holland in the North Sea.
Proceedings references - References
www.coli.uni-saarland.de
Jochen Heinsohn and Bernhard Hollunder editors. Proceedings of the DFKI Workshop on Taxonomic Reasoning. Nr. (D ), DFKI, Saarbrücken, google << > - 48: Stephan Busemann, Christa Hauenschild and Carla Umbach editors. Views of the Syntax/ Semantics Interface. Proceedings ...
Bernhard Nebeldblp: computer science bibliography
dblp.uni-trier.de
— Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: An Empirical Analysis of Optimization Techniques — Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: An Empirical Analysis of Optimization Techniques ...
Publikationen der UdS: An empirical analysis of optimization...
publikationen.sulb.uni-saarland.de
Franz Baader, Bernhard Hollunder, Bernhard Nebel,. Hans-Jurgen Profitlich, Enrico Franconi. January Deutsches Forschungszentrum fur Kunstliche ...
Year References
www.coli.uni-saarland.de
In Jochen Heinsohn and Bernhard Hollunder editors, DFKI Workshop on Taxonomic Reasoning, February 26, (D ):33-39, Saarbrücken, Germany, google 13: Lisa Dent, Jesus Boticario, John McDermott, Tom Mitchell and David Zabowski. A Personal Learning Apprentice. In 10th National ...
An Empirical Analysis of Optimization Techniques for ...Albert-Ludwigs-Universität Freiburg
gki.informatik.uni-freiburg.de
von F Baader · Zitiert von: 345 — Franz Baader and Bernhard Hollunder (1991). KRIS: Knowledge representation and inference system. SIGART Bulletin, 2(3):8{14. Ronald J. Brachman and James G ... von F Baader · Zitiert von: 345 — Franz Baader and Bernhard Hollunder (1991). KRIS: Knowledge representation and inference system. SIGART Bulletin, 2(3):8{14. Ronald J. Brachman and James G ...
Publikationen der UdS: KRIS: knowledge representation and inference...
publikationen.sulb.uni-saarland.de
Deutsches Forschungszentrum fOr KOnstliche Intelligenz GmbH 1(1US : 2Cnowledge ~presentation and Inference System -System Description-Franz Baader, Bernhard Hollunder
Armin LauxDBLP
dblp.org
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux: On Skolemization in Constrained Logics. Ann. Math. Artif. Intell. 18(2-4): (1996); [b1]. Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux: On Skolemization in Constrained Logics. Ann. Math. Artif. Intell. 18(2-4): (1996); [b1].
Bernhard Hollunderdblp: computer science bibliography
dblp.org
Franz Baader , Bernhard Hollunder: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. Franz Baader , Bernhard Hollunder: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic.
Qualifying Number Restrictions Concept LanguagesUniversität des Saarlandes
publikationen.sulb.uni-saarland.de
von B Hollunder · · Zitiert von: 211 — Bernhard Hollunder. lurgen Muller. Bernhard Nebel. Werner NUll. Hans-lurgen. Profitlich: Terminological Knowledge. Representation: A Proposal for a ... von B Hollunder · · Zitiert von: 211 — Bernhard Hollunder. lurgen Muller. Bernhard Nebel. Werner NUll. Hans-lurgen. Profitlich: Terminological Knowledge. Representation: A Proposal for a ...
Software Engineering | Forschung | Hochschule Furtwangen
www.hs-furtwangen.de
Dr. Bernhard Hollunder, bernhard.hollunder(at)hs-furtwangen.de. Prof. Dr. Mohsen Rezagholi, mohsen.rezagholi(at)hs-furtwangen.de. Prof. Dr. Steffen Thiel ...
Es fehlt: KNM
Research Report Hybrid Inferences in KL-ONE-based ...Universität des Saarlandes
publikationen.sulb.uni-saarland.de
von B Hollunder · · Zitiert von: 72 — Bernhard Hollunder. May Deutsches Forschungszentrum fur Kunstliche Intelligenz ... Bernhard Hollunder & Werner Nutt. Subsumption Algorithms for Concept ... von B Hollunder · · Zitiert von: 72 — Bernhard Hollunder. May Deutsches Forschungszentrum fur Kunstliche Intelligenz ... Bernhard Hollunder & Werner Nutt. Subsumption Algorithms for Concept ...
Martin BuchheitDBLP
dblp.org
— Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier: Tool Chains in Agile ALM Environments: A Short Introduction.
Terminological Knowledge Representation: A Proposal for ...Albert-Ludwigs-Universität Freiburg
gki.informatik.uni-freiburg.de
von F Baader · Zitiert von: 122 — Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen Profitlich. Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI). von F Baader · Zitiert von: 122 — Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen Profitlich. Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI).
Publikationen der UdS: Subsumption algorithms for concept languages
publikationen.sulb.uni-saarland.de
Bernhard Hollunder. Werner Nutt. April Deutsches Forschungszentrum fur Kunstliche Intelligenz. GmbH. Postfach D Kaiserslautern, FRG. Tel.
sortiert nach Relevanz / Datum