Dov Gabbay

Dov M. Gabbay (* 23. Oktober 1945) ist ein Logiker und emeritierter Hochschullehrer des King’s College London. Gabbay befasst sich insbesondere mit Logik, Informatik und künstlicher Intelligenz.

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.

Dov M. Gabbay hat über 400<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20120609233144

      | {{#ifeq: 20120609233144 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Publikationsliste, Stand 2009. | {{#invoke:WLink|getEscapedTitle|Publikationsliste, Stand 2009.}} | {{#invoke:Webarchiv|getdomain|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20120609233144}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Publikationsliste, Stand 2009. | {{#invoke:WLink|getEscapedTitle|Publikationsliste, Stand 2009.}} | {{#invoke:Webarchiv|getdomain|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20120609233144}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Publikationsliste, Stand 2009. | {{#invoke:WLink|getEscapedTitle|Publikationsliste, Stand 2009.}} | {{#invoke:Webarchiv|getdomain|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Publikationsliste, Stand 2009. | {{#invoke:WLink|getEscapedTitle|Publikationsliste, Stand 2009.}} | {{#invoke:Webarchiv|getdomain|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Publikationsliste, Stand 2009. | {{#invoke:WLink|getEscapedTitle|Publikationsliste, Stand 2009.}} | {{#invoke:Webarchiv|getdomain|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Publikationsliste, Stand 2009. | {{#invoke:WLink|getEscapedTitle|Publikationsliste, Stand 2009.}} | {{#invoke:Webarchiv|getdomain|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20120609233144|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Publikationsliste, Stand 2009.
    | {{#if: {{#invoke:WLink|isBracketedLink|Publikationsliste, Stand 2009.}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.dcs.kcl.ac.uk/staff/dg/pubs/Dov-publications-April09.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} (PDF; 331 kB)</ref> wissenschaftliche Beiträge publiziert, beispielsweise das Separationstheorem. Er ist Herausgeber mehrerer 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. B. der European Foundation of Logic Language and Information, und ist einer der Mitbegründer der International Federation of Computational Logic.<ref>ifcolog.net</ref>

Schriften (Auswahl)

Model Theory for Intuitionistic logic. In: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Band 18, Nr. 4/6, 1972, S. 49–54, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}.
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.
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.
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.

Weblinks

}} Literatur von und über {{#invoke:WLink|getArticleBase}} im Katalog der {{#ifeq: Dov Gabbay | Deutsche Nationalbibliothek | DNB | Deutschen Nationalbibliothek}}{{#ifeq: 0 | 0

| {{#if: 
    | Vorlage:DNB-Portal – veraltete Parametrisierung 3=
  }}

}}

Homepage

Einzelnachweise

{{#ifeq: p | p | | {{#if: 124196314n/80/15327876325399 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 124196314n/80/15327876325399 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 124196314 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 124196314 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/80/153278 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/80/153278 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 76325399 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 76325399 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Gabbay, Dov | {{#if: Gabbay, Bernard Dov | {{#if: englischer Logiker und Informatiker | {{#if: 23. Oktober 1945 | {{#if: | {{#if: | {{#if: |

Personendaten
NAME	Gabbay, Dov }}
ALTERNATIVNAMEN	Gabbay, Bernard Dov }}
KURZBESCHREIBUNG	englischer Logiker und Informatiker }}
GEBURTSDATUM	23. Oktober 1945 }}
GEBURTSORT	}}
STERBEDATUM	}}
STERBEORT	}}

Vorlage:Wikidata-Registrierung