1
0
0
News
Traueranzeigen von Philipp Hanschke | SZ-Gedenken.de
trauer.sueddeutsche.de
— Gedenkkerze. Hans-Jürgen Bürckert. Entzündet am um 10:59 Uhr. Viel zur früh. › traueranzeige › philipp-...
Netzwerk-Profile
Author: Hans-Jürgen Bürckert | Interaction Design Foundation (IxDF)
www.interaction-design.org
Hans-Jürgen Bürckert: Publications, bio, bibliography, etc
Prof. Dr. Bernhard Nebel Publikationen · Grundlagen der Künstlichen...
gki.informatik.uni-freiburg.de
Kaiserslautern Bernhard Nebel und Hans-Jürgen Bürckert Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt und Gert Smolka.
Interessen
Karl Hans Bläsius & Hans-Jürgen Bürckert, Deduction Systems in...
philpapers.org
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.
philpapers.org
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
Management & Beteiligungen
Hans-Jürgen Bürckert in der Creditreform Firmendatenbank
www.firmenwissen.de
Hans-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.
Business-Profile
Xing: Hans-Jürgen Bürckert
Dr. / 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
Firmen-Mitarbeiter
Leitung - FB KI - Gesellschaft für Informatik e.V.
fb-ki.gi.de
Hans-Jürgen Bürckert ( ). Ulrich Furbach ( , ). Otthein Herzog ( ). Jörg Siekmann ( , ... › organisation › leitung
Bücher
Holonic transport scheduling with teletruck
www.tandfonline.com
von 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 |...
zh.booksc.eu
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 -...
books.google.de
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,...
books.google.de
[Buntine and Bürckert, 1989) Wray L. Buntine and Hans-Jürgen Bürckert Technical report, FB Informatik, Universität Kaiserslautern, (Bürckert, 1986] ...
Dokumente zum Namen
Bibliography - ICAPS 2007
icaps07-satellite.icaps-conference.org
[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-Implementation
users.cecs.anu.edu.au
von 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 GmbH
www.let.rug.nl
Franz 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 ...
fdokumen.id
Description: An Intercompany Dispatch Support System for Intermodal Transport Chains Hans-Jürgen Bürckert, Petra Funk, Gero Vierke July › download
Wissenschaftliche Veröffentlichungen
Programming Systems Lab: Publications by Hans-Jürgen Bürckert
www.ps.uni-saarland.de
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations (pdf) · Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, ...
Veröffentlichungen allgemein
Research Report RATMAN and its Relation to Other Multi ...
core.ac.uk
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 Structures
link.springer.com
von K von Luck · · Zitiert von: 6 — Managing qualitative temporal information: Expressiveness vs. complexity. Bernhard Nebel, Hans-Jürgen Bürckert. Pages › book
Concept Logics | SpringerLink
link.springer.com
Franz 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.
Artikel & Meinungen
Wikipedia: Allen-Kalkül – Wikipedia
Der 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 ...
Sonstiges
Hans-Jürgen Bürckert
www.dfki.de
Hans-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
From MKRP to OMEGA
www.cs.bham.ac.uk
In 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...
docplayer.org
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.bib
relmics.mcmaster.ca
Hans-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 Siekmann
www.academia.edu
Deutsches Forschungszentrum Research für Künstliche Report Intelligenz GmbH RR Concept Logics Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, ... › Report...
Aart Middeldorp
cl-informatik.uibk.ac.at
Mark 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
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: ...
DBLP: Wray L. Buntine
vldbarc.org
Wray 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
www.webvalid.de
... 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 Library
catalog.udom.ac.tz
Deduction 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 Online
www09.sigmod.org
22 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ürckert
bürckert.com
Willkommen 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 Publishing
aip.scitation.org
von 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
pp.ipd.kit.edu
[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.PuRe
pure.mpg.de
von 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 Heinsohn
vldbarc.org
Franz 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 Reasoning
www.it.uom.gr
Hans-Jürgen Bürckert DFKI Saarbrücken, Germany. Alan Bundy Division of Informatics University of Edinburgh Edinburgh, Scotland, U.K.. Doron Bustan › AAR › names
Verwandte Suchanfragen zu Hans-Jürgen Bürckert
Klaus Fischer Jörg Siekmann Franz Baader | Martin Buchheit Karl Hans Bläsius Bernhard Hollunder | Bernhard Nebel Werner Nutt Armin Laux |
Personen Vorname "Hans-Jürgen" (10513) Name "Bürckert" (16) |
sortiert nach Relevanz / Datum