https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Dov_GabbayDov Gabbay - Versionsgeschichte2026-06-07T11:32:37ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Dov_Gabbay&diff=2676274&oldid=previmported>GünniX: Archivlink geprüft2024-03-10T05:10:31Z<p>Archivlink geprüft</p>
<p><b>Neue Seite</b></p><div>'''Dov M. Gabbay''' (* [[23. Oktober]] [[1945]]) ist ein [[Logik]]er und [[emeritiert]]er Hochschullehrer des [[King’s College London]]. Gabbay befasst sich insbesondere mit Logik, [[Informatik]] und [[Künstliche Intelligenz|künstlicher Intelligenz]].<br />
<br />
Der Logiker begann seine wissenschaftliche Laufbahn an der [[Hebrew University of Jerusalem]] (1968–1970). 1970 wurde er auf eine Assistenzprofessur für Philosophie an die [[Stanford University]] berufen. Er wechselte 1975 als assoziierter Professor an die [[Bar-Ilan University]], an der man ihn 1977 auf eine Professur für Logik berief. Im Jahr 1983 nahm er einen Ruf auf einen Lehrstuhl für Informatik am [[Imperial College]] in London an. Seit 1998 sitzt Gabbay auf dem Augustus-De-Morgan-Lehrstuhl für Logik am King’s College in London.<br />
<br />
Dov M. Gabbay hat über 400<ref>{{Webarchiv|text=Publikationsliste, Stand 2009. |url=http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf |wayback=20120609233144 }} (PDF; 331&nbsp;kB)</ref> wissenschaftliche Beiträge publiziert, beispielsweise das [[Gabbays Separationtheorem|Separationstheorem]]. Er ist Herausgeber mehrerer [[Peer review|peer-reviewter]] Journale sowie von über 50 Handbüchern zur Logik und deren Anwendungsgebieten in der Informatik, insbesondere der künstlichen Intelligenz. Zudem sitzt er mehreren Fachkonferenzen und -organisationen vor, z.&nbsp;B. der European Foundation of Logic Language and Information, und ist einer der Mitbegründer der [[International Federation of Computational Logic]].<ref>[http://www.ifcolog.net/ ifcolog.net]</ref><br />
<br />
== Schriften (Auswahl) ==<br />
* ''Model Theory for Intuitionistic logic.'' In: ''Zeitschrift für Mathematische Logik und Grundlagen der Mathematik.'' Band 18, Nr. 4/6, 1972, S. 49–54, {{doi|10.1002/malq.19720180402}}.<br />
* ''Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics'' (= ''Synthese Library.'' 92). D. Reidel, Dordrecht u. a. 1976, ISBN 90-277-0656-5.<br />
* mit Artur S. d’Avila Garcez, Krysia B. Broda: ''Neural-Symbolic Learning Systems. Foundations and Applications'', Springer, London u. a. 2002, ISBN 1-85233-512-2.<br />
* mit Agi Kurucz, Frank Wolter, Michael Zakharyaschev: ''Many Dimensional Modal Logics'' (= ''Studies in Logic and the Foundations of Mathematics.'' 148). Elsevier North Holland, Amsterdam u. a. 2003, ISBN 0-444-50826-0.<br />
<br />
== Weblinks ==<br />
* {{DNB-Portal|124196314}}<br />
* [http://www.dcs.kcl.ac.uk/staff/dg/ Homepage]<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=124196314|LCCN=n/80/153278|VIAF=76325399}}<br />
<br />
{{SORTIERUNG:Gabbay, Dov}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Logiker]]<br />
[[Kategorie:Hochschullehrer (Imperial College)]]<br />
[[Kategorie:Engländer]]<br />
[[Kategorie:Geboren 1945]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Gabbay, Dov<br />
|ALTERNATIVNAMEN=Gabbay, Bernard Dov<br />
|KURZBESCHREIBUNG=englischer Logiker und Informatiker<br />
|GEBURTSDATUM=23. Oktober 1945<br />
|GEBURTSORT=<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>GünniX