Siekmann, Jörg H. (1941- ).
Siekmann, Jörg H.
Siekmann, J.
Jörg Siekmann
Siekmann, Jörg, 1941-
Siekmann, Jorg
VIAF ID: 108264867 ( Personal )
Permalink: http://viaf.org/viaf/108264867
Preferred Forms
- 100 0 _ ‡a Jörg Siekmann
-
- 200 _ | ‡a Siekmann ‡b Jörg H. ‡f 1941-....
-
-
-
- 100 1 _ ‡a Siekmann, Jörg H.
- 100 1 _ ‡a Siekmann, Jörg H. ‡d 1941-
- 100 1 _ ‡a Siekmann, Jörg H., ‡d 1941-....
-
-
- 100 1 _ ‡a Siekmann, Jörg H.
- 100 1 _ ‡a Siekmann, Jörg H.
-
-
-
4xx's: Alternate Name Forms (25)
5xx's: Related Names (3)
- 510 2 _ ‡a Deutsches Forschungszentrum für Künstliche Intelligenz ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Eberbach ‡g Rhein-Neckar-Kreis ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Saarbrücken ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings | |
Agent-based market-like coordination of supply networks | |
Agentenbasierte marktliche Koordination von Wertschöpfungsnetzwerken | |
Artificial intelligence and soft computing - ICAISC 2004 : 7th international conference, Zakopane, Poland, June 7-11, 2004 : proceedings | |
Automation of reasoning | |
CADE-8 | |
Cognitive systems : joint Chinese-German workshop, Shanghai, China, March 7-11, 2005 : revised selected papers | |
Cognitive technologies | |
Computational logic | |
Computer Supported Formal Work : Towards a Digital Mathematical Assistant | |
Deduction methodologies | |
Deduktionssysteme : Automatisierung des logischen Denkens / hrsg. von K. H. Bläsius und H.-J. Bürckert. - München ; Wien, 1987. | |
Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 : Proceedings | |
Grundlagen der Mathematik I = Foundations of mathematics I : Part A: Prefaces and §§1-2 | |
GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 1981 : [proceedings] | |
Handbook of logic in artificial intelligence and logic programming. | |
Handbook of the history of logic. | |
Intelligent tutoring in virtual reality for highly dynamic pedestrian safety training | |
Knowledge Representation and the Semantics of Natural Language. | |
Knowledge science, engineering and management : second international conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007 : proceedings | |
KSEM 2007 | |
Künstliche Intelligenz : Frühjahrsschule, Teisendorf, 15.-24. März 1982 | |
Künstliche Intelligenz und nukleare Bedrohungen Risiken eines Atomkriegs aus Versehen | |
Logical foundations | |
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday | |
A model-driven approach for organizations in multiagent systems | |
Modell-basierter Ansatz für Organisationen in Multiagentensysteme | |
Neue Informations- und Kommunikationstechniken : ein Kolloquium zur fachlichen Meinungsbildung im Bereich Bibliothek, Information und Dokumentation | |
Neue Informations- und Kommunikationstechniken : [...] / mit Beiträgen von Hans Dietschmann [i 8 pozostałych]. - München [i 3 pozostałe], 1984. | |
Opening the AC-Unification Race | |
A platform-independent domain-specific modeling language for multiagent systems | |
plattformunabhängige, domänenspezifische Modellierungssprache für Multiagenten Systeme | |
Resource-adaptive cognitive processes | |
String unification is essentially infinitary | |
The thermal laminar boundary layer on a rotating sphere | |
Unification in Abelian Semigroups | |
Unification of idempotent functions | |
Unification of sets and multisets |