Institut für Computerlinguistik
www.cl.uni-heidelberg.de
In Proceedings of APSEC, Franz Baader and Bernhard Hollunder. Embedding defaults into terminological representation systems.
The Description Logic Handbook: Theory, Implementation and ...google.de
books.google.de
... Bernhard Hollunder . Consistency checking reduced to satisfiability of concepts in terminological systems . Ann . of Mathematics and Artificial Intelligence ...
Description Logic Rules - M. Krötzsch - Google Books
books.google.de
Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most...
The Description Logic Handbook: Theory, Implementation and...
books.google.de
Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades....
Foundations of Fuzzy Logic and Semantic Web Languages - Umberto...
books.google.de
Managing vagueness/fuzziness is starting to play an important role in Semantic Web research, with a large number of research efforts underway. Foundations of...
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 ...
Description Logics That Count, and What They Can and ...CEUR-WS
ceur-ws.org
von F Baader · — Bernhard Hollunder and Franz Baader. Qualifying number restrictions in con- cept languages. In Proc. of the 2nd Int. Conf. on the Principles of Knowledge. von F Baader · — Bernhard Hollunder and Franz Baader. Qualifying number restrictions in con- cept languages. In Proc. of the 2nd Int. Conf. on the Principles of Knowledge.
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 ...
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 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 ...
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).
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.
Embedding defaults into terminological knowledge representation...
link.springer.com
We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less
On the Semantics and Automated Deduction for PLFC, a Logic ...
deepai.org
... to Terminological Logics. Possibilistic logic, an extension of first-order logic, deals with uncer ∙ by Bernhard Hollunder, et al.
Alle Infos zum Namen "Bernhard Hollunder"
PubPeer - Search publications and join the conversation.PubPeer
www.pubpeer.com
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. Bernhard Hollunder. arXiv (2013) 0 comments. You have not yet ... An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. Bernhard Hollunder. arXiv (2013) 0 comments. You have not yet ...
1991 Description Logic Workshop
dl.kr.org
Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich: Terminological Knowledge Representation: A Proposal for a Terminological Logic
Incorporating Default Characteristics and Approximate ...CEUR-WS
ceur-ws.org
von L Padgham — [BH92] Franz Baader and Bernhard Hollunder. Em-. bedding defaults into terminological knowledge. representation formalisms. In Bernhard Nebel,.
Implementing OWL Defaults
www.dtic.mil
Franz Baader and Bernhard Hollunder. Embedding Defaults Into Terminological Knowledge. Representation Formalisms. J. Autom. Reasoning, 14(1):149–180, ...
Une extension possibiliste pour les ontologies DL-Lite ...Revue Ouverte d'Intelligence Artificielle
roia.centre-mersenne.org
von S Belabbes · — [25] Bernhard Hollunder An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics, International Journal of ...
Usability Issues in Knowledge Representation Systems - ECT
ect.bell-labs.com
sohn, Bernhard Hollunder, Jürgen Müller, Bernhard. Nebel, Werner Nutt, and Hans-Jürgen Profitlich. Ter-. minological knowledge representation: A proposal for.
PPR: Reference Section
www.cs.utexas.edu
Page of Positive Reviews of Research in Logical AI: Reference Section. Editorial Board ... Bernhard Hollunder (-sb.de), German Research Center for ...
sortiert nach Relevanz / Datum