77 Infos zu Hans-jürgen Bürckert
Mehr erfahren über Hans-jürgen Bürckert
Lebt in
- Kaiserslautern
- Saarbrücken
Infos zu
- Logic
- Bernhard Nebel
- Franz Baader
- Werner Nutt
- Zitiert
- Bernhard Hollunder
- Artificial Intelligence
- Reasoning
- Allen's
- Künstliche
1 Aktuelle Nachrichten
Traueranzeigen von Philipp Hanschke | SZ-Gedenken.de— Gedenkkerze. Hans-Jürgen Bürckert. Entzündet am um 10:59 Uhr. Viel zur früh. › traueranzeige › philipp-...
7 Profile in Sozialen Netzwerken
Author: Hans-Jürgen Bürckert | Interaction Design Foundation (IxDF)Hans-Jürgen Bürckert: Publications, bio, bibliography, etc
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt ...› author
Hans-Jürgen Bürckert: مفت ڈاؤنلوڈ. ای بک لائبریری۔ Z-Library پر آن ...› author
Prof. Dr. Bernhard Nebel Publikationen · Grundlagen der Künstlichen...Kaiserslautern Bernhard Nebel und Hans-Jürgen Bürckert Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt und Gert Smolka.
2 Hobbys & Interessen
Karl Hans Bläsius & Hans-Jürgen Bürckert, Deduction Systems in...Deduction Systems in Artificial Intelligence. K. H. Bläsius & Hans-jürgen Bürckert. (1989). Abstract, This article has no associated abstract. (fix it). Keywords ...
A Resolution Principle for a Logic with Restricted Quantifiers.von HJ Bürckert · · Zitiert von: 80 — A Resolution Principle for a Logic with Restricted Quantifiers · Hans-Jürgen Bürckert. Springer (1991). Like. Recommend. Bookmark ... › BRCARP
1 Firmen-Beteiligungen
Hans-Jürgen Bürckert in der Creditreform FirmendatenbankHans-Jürgen Bürckert steht mit folgenden Firmen in Beziehung Es gibt derzeit 1 Unternehmen in der Firmendatenbank, mit denen der Name Hans-Jürgen Bürckert in Beziehung steht. Bei der Art der Beziehung kann es sich beispielsweise um eine Position als Manager, Geschäftsführer oder Gesellschafter handeln.
3 Business-Profile
Xing: Hans-Jürgen BürckertDr. / Leiter Administration & Dienste / Saarbrücken / Beratung (Software, Forschungstransfer - insbesondere im Bereich Künstliche Intelligenz), Ideen und Partner für F&E-Projekte, Forschung, Forschungsförderung / , TU Berlin, TH Karlsruhe
Hans-Jürgen BÜRCKERT | Dr. rer. nat. | Deutsches ResearchGate› Han...
Hans-Jürgen BÜRCKERT | Dr. rer. nat. | DFKI - ResearchGate› Han...
1 Firmen-Mitarbeiter
Leitung - FB KI - Gesellschaft für Informatik e.V.Hans-Jürgen Bürckert ( ). Ulrich Furbach ( , ). Otthein Herzog ( ). Jörg Siekmann ( , ... › organisation › leitung
14 Bücher zum Namen
Holonic transport scheduling with teletruckvon HJÜ BÜrckert · · Zitiert von: 111 — Holonic transport scheduling with teletruck. Hans-JÜrgen BÜrckert German Research Centerfor Artificial Intelligence , SaarbrÜcken, Germany. › abs
Matching — A special case of unification? | Hans-Jürgen Bürckert |...Matching — A special case of unification? | Hans-Jürgen Bürckert | download | BookSC. Download books for free. Find books
A Resolution Principle for a Logic with Restricted Quantifiers -...This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or...
GWAI th German Workshop on Artificial Intelligence: Eringerfeld,...[Buntine and Bürckert, 1989) Wray L. Buntine and Hans-Jürgen Bürckert Technical report, FB Informatik, Universität Kaiserslautern, (Bürckert, 1986] ...
7 Dokumente
Bibliography - ICAPS 2007[13] Bernhard Nebel and Hans-Jürgen Bürckert. Reasoning about tempo- ral relations: A maximal tractable subclass of Allen's interval algebra. › bibl...
Constraint Model Elimination and a PTTP-Implementationvon PBF Stolzenburg · Zitiert von: 3 — 90] Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, and. Siekmann. Concept logics. Research Report RR , DFKI, Kaiserslautern,. › ~baumgart › rheinfels
Deutsches Forschungszentrum für Künstliche Intelligenz GmbHFranz Baader, Hans-Jürgen Bürckert, Bernhard. Nebel, Werner Nutt, Gert Smolka: On the. Expressivity of Feature Logics with Negation,. › ~nerbonne › papers › Ner...
Download An Intercompany Dispatch Support System For ...Description: An Intercompany Dispatch Support System for Intermodal Transport Chains Hans-Jürgen Bürckert, Petra Funk, Gero Vierke July › download
4 Wissenschaftliche Publikationen
Programming Systems Lab: Publications by Hans-Jürgen BürckertOn the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations (pdf) · Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, ...
Publications by Hans-Jürgen Bürckert› list
dblp: Hans-Jürgen BürckertList of computer science publications by Hans-Jürgen Bürckert
dblp: Alexander HeroldList of computer science publications by Alexander Herold
5 Allgemeine Veröffentlichungen
Research Report RATMAN and its Relation to Other Multi ...von HJ Bürckert · · Zitiert von: 2 — RATMAN and its Relation to Other Multi-Agent Testbeds. Hans-Jürgen Bürckert, Jürgen Müller, Achim Schupeta. DFKI-RR › download › pdf
Management and Processing of Complex Data Structuresvon K von Luck · · Zitiert von: 6 — Managing qualitative temporal information: Expressiveness vs. complexity. Bernhard Nebel, Hans-Jürgen Bürckert. Pages › book
Hans-Jürgen Bürckert - Wikidata› wiki
Concept Logics | SpringerLinkFranz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg H. Siekmann. Franz Baader. 1. Hans-Jürgen Bürckert. 1. Bernhard Hollunder. 1.
1 Meinungen & Artikel
Wikipedia: Allen-Kalkül – WikipediaDer Allen-Kalkül, auch Allens Intervallalgebra genannt, ist eine Logik zur Repräsentation von S. 832–843, ISSN ; Bernhard Nebel, Hans-Jürgen Bürckert: Reasoning about Temporal Relations: A Maximal Tractable Subclass of ...
31 Webfunde aus dem Netz
Hans-Jürgen Bürckert - Google Scholar› citations
Hans-Jürgen Bürckert - researchr alias› alias › hans-jü...
Hans-Jürgen BürckertHans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux: On Skolemization in constrained logics. Annals of Mathematics and Artificial Intelligence 18Hans-Jürgen Bürckert, Klaus Fischer, and Gero Vierke: Holonic transport scheduling with TELETRUCK Applied Artificial Intelligence 14(7)List of all publications; TOP
Hans-Jürgen Bürckert ( X) - ORCID› ...
From MKRP to OMEGAIn Kaiserslautern, Manfred Schmidt-Schau\ss [Schmidt89] worked on extensions of this logic with term declarations. Hans-Jürgen Bürckert [Buerckert90] worked ...
Akquisition und Repräsentation von technischem Wissen für...27 RR Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux: On ... Technische Universität Kaiserslautern Lehrstuhl für Virtuelle Produktentwicklung.
Bibliography generated from bibtech.bibHans-Jürgen Bürckert. A Resolution Principle for a Logic with Restricted Quantifiers . Number 568 in Lect. Notes in Artificial Intelligence. Springer,
(PDF) Report RR Concept Logics | Jörg SiekmannDeutsches Forschungszentrum Research für Künstliche Report Intelligenz GmbH RR Concept Logics Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, ... › Report...
Aart MiddeldorpMark van den Brand · Martin Bravenboer · Paul Brauner · Dan Brown · H.J. Sander Bruggink · Bruno Buchberger · Wilfried Buchholz · Hans-Jürgen Bürckert › ami › research › b.php
1991 Description Logic Workshop; Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich: ...
DBLP: Wray L. BuntineWray L. Buntine, Hans-Jürgen Bürckert: On Solving Equations and Disequations. J. ACM 41(4): (1994). 16, no EE pubzone.org · CiteSeerX · Google ... › indices › a-tree
Dacos Software GmbH, Saarbrücken- Firmenprofil - webvalid... Elig Die Kommunauten UG (haftungsbeschrä... Vendopolis GmbH therico GmbH Rainer Guthor Hans-Jürgen Bürckert Christian Ruß Georg Rybing Michael Schmidt ... › company › HRB+12543
Deduction systems in artificial intelligence - UDOM LibraryDeduction systems in artificial intelligence / editors Karl Hans Bläsius, Hans-Jürgen Bürckert. Contributor(s): Bläsius, K. H. (Karl Hans) | Bürckert, ... › koha
DiSC - Werner Nutt - ACM SIGMOD Online22 Martin Buchheit , Hans-Jürgen Bürckert , Bernhard Hollunder , Armin Laux , Werner Nutt, Marek Wójcik : Task Acquisition with a Description Logic Reasoner ... › sigmod
Familie Bürckert – Willkommen bei Familie BürckertWillkommen bei Familie Bürckert · Hans-Jürgen Bürckert · Silvia Bürckert · Jean-Philippe Bürckert · Christian Felix Bürckert · Fleur Leenen · Karin Bürckert ...
Holonic fleet scheduling with TeleTruck - AIP Publishingvon HJ Bürckert · · Zitiert von: 8 — AIP Conference Proceedings 465, 531 (1999); https://doi.org · Hans-Jürgen Bürckert, Klaus Fischer, and Gero Vierke. › doi › abs
Konferenzartikel: Software Configuration with Feature Logic[zeller96wrkp], Andreas Zeller, Software Configuration with Feature Logic, Franz Baader and Hans-Jürgen Bürckert and Andreas Günter and Werner Nutt (Ed.), ... › publication
MPG.PuRevon N Eisinger · · Zitiert von: 46 — Hans-Jürgen Bürckert. A Resolution Principle for a Logic with Restricted Quantifiers. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin ... › rest › file_ › content
DBLP: Jochen HeinsohnFranz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich: ...
Members of the Association for Automated ReasoningHans-Jürgen Bürckert DFKI Saarbrücken, Germany. Alan Bundy Division of Informatics University of Edinburgh Edinburgh, Scotland, U.K.. Doron Bustan › AAR › names
Bedeutung zum Vornamen Hans
Männlicher Vorname (Deutsch, Holländisch, Skandinavisch): Hans; Jahwe ist gnädig, Jahwe ist gütig; Hebräisch (Neues Testament); jahwe = (Name Gottes); chanan = begünstigen, gnädig sein; Name des Apostels und Evangelisten Johannes; auch bekannt durch Johannes den Täufer; am Ende des Mittelalters der häufigste Taufname in Deutschland; bisher trugen 23 Päpste den Namen Johannes Als Taufname bei den Katholiken gibt es Hans nur als Rufnamen.Der richtige Taufname auf dem Taufschein und in den Akten ist Johann.Der Name kommt vom heiligen Apostel Johannes den Täufer.Namenstag ist der 24.Juni.oder auch Hanstag genannt. Weitere gleiche Namen :Johann, Hans,Johnny,John,Jannes,Ivan, Hans kommt von Johannes. Johannes dem Täufer.Siehe auch Namenstage
Bedeutung zum Vornamen Jürgen
Männlicher Vorname (Deutsch): Jürgen; der Landarbeiter, der Bauer; Altgriechisch (14 Nothelfer); georgos = der Landarbeiter, der Bauer; ge = die Erde; ergo = arbeiten; bekannt durch den hl. Georg (3./4. Jh.) , legendärer Drachentöter, Schutzpatron von England, einer der 14 Nothelfer
Verwandte Personensuchen
- Klaus Fischer
- Jörg Siekmann
- Franz Baader
- Martin Buchheit
- Karl Hans Bläsius
- Bernhard Hollunder
- Bernhard Nebel
- Werner Nutt
- Armin Laux
- Marek Wójcik
- Karl Hans
Personensuche zu Hans-jürgen Bürckert & mehr
Die Personensuchmaschine Namenfinden.de ist die neue Personensuche für Deutschland, die Profile, Kontaktdaten, Bilder, Dokumente und Webseiten zu Hans-jürgen Bürckert und vielen weiteren Namen aus öffentlich zugänglichen Quellen im Internet anzeigt.