1
0
0
(1 - 15 von 18
)
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 ...
DFKI - DeutschesDFKI
www.dfki.de
Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen ... Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen ... Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen ... Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,. Werner Nutt, Hans-Jürgen ...
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 ...
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.
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 ...
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 ...
Research Report Akquisition und Repräsentation von ...DFKI
www.dfki.de
von MM Richter · · Zitiert von: 4 — Franz Baader, Bernhard Hollunder: How to Prefer More Specific Defaults in ... Hans-Jürgen Bürckert, Bernhard Hollunder,. Armin Laux: Concept Logics with ... von MM Richter · · Zitiert von: 4 — Franz Baader, Bernhard Hollunder: How to Prefer More Specific Defaults in ... Hans-Jürgen Bürckert, Bernhard Hollunder,. Armin Laux: Concept Logics with ...
editorial • auf einem auge blind?Sigs Datacom
www.sigs-datacom.de
Oliver Charles, Markus Schalk und Bernhard Hollunder in dem. Beitrag „CEP meets SOA”. Sie schlagen vor, Techniken des „Complex. Event Processing” für die ... Oliver Charles, Markus Schalk und Bernhard Hollunder in dem. Beitrag „CEP meets SOA”. Sie schlagen vor, Techniken des „Complex. Event Processing” für die ...
Hollunder, Bernhard [WorldCat Identities]
www.worldcat.org
View works by Bernhard Hollunder · View works by Bernhard Hollunder · View works by Bernhard Hollunder · View works ...
Bernhard Hollunder - HomeACM Digital Library
dl.acm.org
Bernhard Hollunder. July 1998CUC '96: Proceedings of the first component user's conference on Component-based software engineering. View all Publications ...
OWL-QL A Language for Deductive Query Answering on the Semantic Web....
docplayer.net
... (ex:age _:x xsd:number^^ 43 ) (ex:location _:x ex:marketing) where the value of rdf:type is the table Jochen Heinsohn, Bernhard Hollunder, Jürgen, Müller, Bernard Nebel, Werner Nutt and Information Technology for KM ... by the CIDOC CRM Special Interest Group Version January Editors: Nick Crofts,.
A Methodology for Constructing WS-Policy AssertionsInternational Institute of Informatics and Systemics
www.iiis.org
von B HOLLUNDER · Zitiert von: 2 — Bernhard HOLLUNDER, Matthias H ¨ULLER, Andreas SCH ¨AFER. Department of Computer Science. Furtwangen University of Applied Sciences. , ...
Non-Functional Requirements for Business Processes in ...upv.es
personales.upv.es
von O Charles · · Zitiert von: 10 — Bernhard Hollunder. Furtwangen University of Applied Sciences. . D Furtwangen, Germany .
Lehrbericht der Hochschule Furtwangen slidex.tips
silo.tips
Dr. Bernhard Hollunder, Prof. Dr. Mohsen Rezagholi, Prof. Dr. Steffen Thiel. Für „ echte“ LinkedIn rege genutzt.“ Bei einem obligatorischen Strategieseminar ...
sortiert nach Relevanz / Datum