An Alternative Proof Method for Possibilistic Logic and its ...arXiv
arxiv.org
von B Hollunder · · Zitiert von: 111 — Focus to learn more. arXiv-issued DOI via DataCite. Submission history. From: Bernhard Hollunder [view email] [via AUAI proxy] [v1] Wed, 27 Feb ... von B Hollunder · · Zitiert von: 111 — Focus to learn more. arXiv-issued DOI via DataCite. Submission history. From: Bernhard Hollunder [view email] [via AUAI proxy] [v1] Wed, 27 Feb ...
How to Prefer More Specific Defaults in Terminological ...IJCAI
www.ijcai.org
von F Baader · Zitiert von: 131 — Franz Baader and Bernhard Hollunder. German Research Center for AI (DFKI). , Saarbriicken 11, Germany. E-mail: (last von F Baader · Zitiert von: 131 — Franz Baader and Bernhard Hollunder. German Research Center for AI (DFKI). , Saarbriicken 11, Germany. E-mail: (last ...
An Alternative Proof Method for Possibilistic LogicarXiv
arxiv.org
von B Hollunder · · Zitiert von: 111 — Bernhard Hollunder. German Research Center for Artificial Intelligence (DFKI). , D Saarbriicken, Germany von B Hollunder · · Zitiert von: 111 — Bernhard Hollunder. German Research Center for Artificial Intelligence (DFKI). , D Saarbriicken, Germany ...
Inheritance Reasoning in Hybrid KL-ONE-style LogicsIJCAI
www.ijcai.org
von U Straccia · Zitiert von: 119 — [Hollunder, 1990] Bernhard Hollunder. Hybrid infer- ences in KL-ONE-based knowledge representation systems. In Proceedings of GWAI-90, 14th Ger- man ... von U Straccia · Zitiert von: 119 — [Hollunder, 1990] Bernhard Hollunder. Hybrid infer- ences in KL-ONE-based knowledge representation systems. In Proceedings of GWAI-90, 14th Ger- man ...
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 ...
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 ...
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 ...
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 ...
Alle Infos zum Namen "Bernhard Hollunder"
Research Report The Complexity of Existential ...CORE
core.ac.uk
1991 · Zitiert von: 168 — Francesco Donini, Bernhard Hollunder, Maurizio Lenzerini,. Alberto Marchetti ... Heinsohn, Bernhard Hollunder, Jurgen Mul/er,. Bernhard Nebel, Werner Nutt · Zitiert von: 168 — Francesco Donini, Bernhard Hollunder, Maurizio Lenzerini,. Alberto Marchetti ... Heinsohn, Bernhard Hollunder, Jurgen Mul/er,. Bernhard Nebel, Werner Nutt ...
Consistency checking reduced to satisfiability of concepts ...Springer
link.springer.com
von B Hollunder · · Zitiert von: 53 — Bernhard Hollunder. 83 Accesses. 14 Citations. Explore all metrics. Abstract. We ... Bernhard Hollunder. Authors. Bernhard Hollunder. View author publications. von B Hollunder · · Zitiert von: 53 — Bernhard Hollunder. 83 Accesses. 14 Citations. Explore all metrics. Abstract. We ... Bernhard Hollunder. Authors. Bernhard Hollunder. View author publications.
Priorities on defaults with prerequisites, and their ...Springer
link.springer.com
von F Baader · · Zitiert von: 159 — Bernhard Hollunder. 53 Accesses. 60 Citations. Explore all metrics. Abstract. In a ... Bernhard Hollunder. Authors. Franz Baader. View author publications. You ... von F Baader · · Zitiert von: 159 — Bernhard Hollunder. 53 Accesses. 60 Citations. Explore all metrics. Abstract. In a ... Bernhard Hollunder. Authors. Franz Baader. View author publications. You ...
Hybrid Inferences in KL-ONE-based Knowledge ...Springer
link.springer.com
von B Hollunder · · Zitiert von: 73 — Hybrid Inferences in KL-ONE-based Knowledge Representation Systems. Bernhard Hollunder. Conference paper. 50 Accesses. 16 Citations.
sortiert nach Relevanz / Datum