| http://dbpedia.org/ontology/abstract
|
Dov M. Gabbay é Professor Augustus De Morg … Dov M. Gabbay é Professor Augustus De Morgan de Lógica no Grupo de Lógica, Linguagem e Computação , Departamento de Ciência da Computação, (Emérito). Ele é autor de mais de quatrocentos e cinquenta trabalhos de pesquisa e mais de trinta monografias de pesquisa. Ele é editor de várias revistas internacionais e mais de 50 manuais de lógica, incluindo o Manual de lógica filosófica, o Manual da Lógica em Ciência da Computação, e o Manual de Inteligência Artificial e Lógica de Programação, entre muitas outras obras de referência na lógica. Ele é presidente e fundador de várias conferências internacionais, executivo da Fundação Europeia da Lógica Linguagem e Informação e Presidente do Grupo Internacional de Lógica, IGPL. Ele é fundador e presidente conjunta da , (Número Ele também é um dos quatro fundadores e membro do conselho de muitos anos de Folli, a Associação de Lógica, Linguagem e Informação, da qual ele, agora, está aposentado. Ele continua a ser um membro vida. Ele é co-fundador com Jane Spurr da Faculdade Publicações, uma não rentável, start-up associada à caridade, destinado a competir com grandes editoras caras, a preços acessíveis, e não necessitando de dos autores.síveis, e não necessitando de dos autores.
, Dov M. Gabbay (* 23. Oktober 1945) ist ein … 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 wissenschaftliche Beiträge publiziert, beispielsweise das . 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 .tion, und ist einer der Mitbegründer der .
, Dov M. Gabbay (/ɡəˈbeɪ/; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
, Dov Gabbay, né le 23 octobre 1945, est un philosophe britannique spécialiste de la logique. Il est professeur émérite au King's College de Londres.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Philosophy +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Royal_Society_of_Arts +
, http://dbpedia.org/resource/Universit%C3%A9_Paul_Sabatier +
, http://dbpedia.org/resource/Alexander_von_Humboldt_Foundation +
, http://dbpedia.org/resource/University_of_Agder +
, http://dbpedia.org/resource/Royal_Society_of_Canada +
|
| http://dbpedia.org/ontology/birthDate
|
"1945-10-23"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Michael_O._Rabin +
, http://dbpedia.org/resource/Azriel_L%C3%A9vy +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Non-monotonic_reasoning +
, http://dbpedia.org/resource/Gabbay%27s_separation_theorem +
, http://dbpedia.org/resource/Expert_systems +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://books.google.com/books/about/Fibring_Logics.html%3Fid=mpA1uUV-uYsC +
, https://web.archive.org/web/19991005015413/http:/www.dcs.kcl.ac.uk/staff/dg/ +
, https://link.springer.com/chapter/10.1007/978-3-642-82453-1_15%23citeas +
, https://books.google.com/books%3Fid=DANMyUtzdrIC&hl=pt-BR&source=gbs_similarbooks +
, https://books.google.com.br/books%3Fhl=en&lr=&id=Ajsvo6jWNhgC&oi=fnd&pg=PP1&dq=info:NlUp6Ji35C4J:scholar.google.com&ots=xWoScXTKOa&sig=3IChedPgE3Mp4F7H_dpwD8nZ3Zk&redir_esc=y%23v=onepage&q&f=false +
, https://books.google.com/books%3Fid=M7bYqAPqdyAC&printsec=frontcover&dq=neural-symbolic&hl=pt-BR&sa=X&ved=0ahUKEwiPk67jhbXnAhUGvp4KHf3mDJEQ6AEIKTAA%23v=onepage&q=neural-symbolic&f=false +
, https://books.google.com/books%3Fid=x2sqXzdmn8MC&pg=PA456&dq=agenda%2Brelevance&hl=pt-BR&sa=X&ved=0ahUKEwjOv7Kxh7XnAhVNrJ4KHcF4CYcQ6AEIKTAA%23v=onepage&q=agenda%20relevance&f=false +
, https://www.elsevier.com/books/many-dimensional-modal-logics-theory-and-applications/kurucz/978-0-444-50826-3 +
, https://www.wiley.com/en-us/Dynamic%2BSyntax%3A%2BThe%2BFlow%2Bof%2BLanguage%2BUnderstanding-p-9780631176121 +
, https://global.oup.com/academic/product/what-is-a-logical-system-9780198538592%3Fcc=br&lang=en& +
, https://global.oup.com/academic/product/handbook-of-logic-in-computer-science-9780198537625%3Fcc=br&lang=en& +
, https://books.google.com/books%3Fid=oVEZAQAAIAAJ&hl=pt-BR&source=gbs_book_other_versions +
, https://dl.acm.org/doi/10.1145/567446.567462 +
|
| http://dbpedia.org/ontology/wikiPageID
|
3662032
|
| http://dbpedia.org/ontology/wikiPageLength
|
8878
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1084369215
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Temporal_logic +
, http://dbpedia.org/resource/Franz_Guenthner +
, http://dbpedia.org/resource/Royal_Society_of_Canada +
, http://dbpedia.org/resource/Azriel_L%C3%A9vy +
, http://dbpedia.org/resource/Copyright_assignment +
, http://dbpedia.org/resource/Hebrew_University_of_Jerusalem +
, http://dbpedia.org/resource/Emeritus +
, http://dbpedia.org/resource/Category:British_logicians +
, http://dbpedia.org/resource/Imperial_College_London +
, http://dbpedia.org/resource/Professor +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:20th-century_Israeli_philosophers +
, http://dbpedia.org/resource/Jerusalem +
, http://dbpedia.org/resource/Category:Jewish_philosophers +
, http://dbpedia.org/resource/Category:Stanford_University_faculty +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Expert_systems +
, http://dbpedia.org/resource/Artur_d%27Avila_Garcez +
, http://dbpedia.org/resource/Category:Bar-Ilan_University_faculty +
, http://dbpedia.org/resource/Non-monotonic_reasoning +
, http://dbpedia.org/resource/Category:1945_births +
, http://dbpedia.org/resource/Bar-Ilan_University +
, http://dbpedia.org/resource/Samson_Abramsky +
, http://dbpedia.org/resource/Academic_publisher +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/Category:Academics_of_King%27s_College_London +
, http://dbpedia.org/resource/University_of_Luxembourg +
, http://dbpedia.org/resource/Category:British_Jews +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Non-monotonic_logic +
, http://dbpedia.org/resource/Michael_O._Rabin +
, http://dbpedia.org/resource/Universit%C3%A9_Paul_Sabatier +
, http://dbpedia.org/resource/John_Alan_Robinson +
, http://dbpedia.org/resource/Tom_Maibaum +
, http://dbpedia.org/resource/Festschrift +
, http://dbpedia.org/resource/University_of_Agder +
, http://dbpedia.org/resource/Category:Hebrew_University_of_Jerusalem_alumni +
, http://dbpedia.org/resource/Amir_Pnueli +
, http://dbpedia.org/resource/Ashkelon_Academic_College +
, http://dbpedia.org/resource/Gabbay%27s_separation_theorem +
, http://dbpedia.org/resource/Augustus_De_Morgan +
, http://dbpedia.org/resource/Saharon_Shelah +
, http://dbpedia.org/resource/Hebrew_University +
, http://dbpedia.org/resource/Dov_M._Gabbay +
, http://dbpedia.org/resource/Computation +
, http://dbpedia.org/resource/Category:Academics_of_Imperial_College_London +
, http://dbpedia.org/resource/University_of_Manchester +
, http://dbpedia.org/resource/Language +
, http://dbpedia.org/resource/Alexander_von_Humboldt_Foundation +
, http://dbpedia.org/resource/King%27s_College_London +
, http://dbpedia.org/resource/John_Woods_%28logician%29 +
, http://dbpedia.org/resource/Category:British_philosophers +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Ruth_Kempson +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Royal_Society_of_Arts +
|
| http://dbpedia.org/property/birthDate
|
"1945-10-23"^^xsd:date
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Azriel_L%C3%A9vy +
, http://dbpedia.org/resource/Michael_O._Rabin +
|
| http://dbpedia.org/property/education
|
Ph.D. 1969, Hebrew University
, B.Sc. 1966, Hebrew University, Jerusalem
, M.Sc. 1967, Hebrew University
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Philosophy +
|
| http://dbpedia.org/property/knownFor
|
Gabbay's separation theorem, foundations for non-monotonic reasoning in expert systems
|
| http://dbpedia.org/property/name
|
Dov M. Gabbay
|
| http://dbpedia.org/property/prizes
|
Foreign Fellow of the Royal Society of Canada
, Fellow of the Alexander von Humboldt Foundation
, Fellow of the Royal Society of Arts
, Doctor Honoris Causa, University of Agder, Norway
, Docteur Honoris Causa, Université Paul Sabatier, Toulouse III
|
| http://dbpedia.org/property/thesisTitle
|
Non-classical Logics
|
| http://dbpedia.org/property/thesisYear
|
1969
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Refend +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:More_citations_needed +
, http://dbpedia.org/resource/Template:Refbegin +
, http://dbpedia.org/resource/Template:IPAc-en +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Ashkelon_Academic_College +
, http://dbpedia.org/resource/Universit%C3%A9_Paul_Sabatier +
, http://dbpedia.org/resource/Bar-Ilan_University +
, http://dbpedia.org/resource/University_of_Luxembourg +
, http://dbpedia.org/resource/University_of_Manchester +
, http://dbpedia.org/resource/Imperial_College_London +
, http://dbpedia.org/resource/King%27s_College_London +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Academics_of_King%27s_College_London +
, http://dbpedia.org/resource/Category:Jewish_philosophers +
, http://dbpedia.org/resource/Category:Bar-Ilan_University_faculty +
, http://dbpedia.org/resource/Category:Stanford_University_faculty +
, http://dbpedia.org/resource/Category:British_logicians +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:British_Jews +
, http://dbpedia.org/resource/Category:British_philosophers +
, http://dbpedia.org/resource/Category:Hebrew_University_of_Jerusalem_alumni +
, http://dbpedia.org/resource/Category:Academics_of_Imperial_College_London +
, http://dbpedia.org/resource/Category:20th-century_Israeli_philosophers +
, http://dbpedia.org/resource/Category:1945_births +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Emeritus +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/76325399 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Dov_Gabbay?oldid=1084369215&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Dov_Gabbay +
|
| http://xmlns.com/foaf/0.1/name
|
Dov M. Gabbay
|
| owl:sameAs |
https://global.dbpedia.org/id/25dnF +
, http://dbpedia.org/resource/Dov_Gabbay +
, http://data.bibliotheken.nl/id/thes/p068985894 +
, https://dblp.org/pid/g/DovMGabbay +
, http://rdf.freebase.com/ns/m.09s_vq +
, http://viaf.org/viaf/76325399 +
, http://de.dbpedia.org/resource/Dov_Gabbay +
, http://d-nb.info/gnd/124196314 +
, http://d-nb.info/gnd/1089934653 +
, http://fr.dbpedia.org/resource/Dov_Gabbay +
, http://www.wikidata.org/entity/Q220076 +
, http://pt.dbpedia.org/resource/Dov_Gabbay +
, http://yago-knowledge.org/resource/Dov_Gabbay +
|
| rdf:type |
http://dbpedia.org/class/yago/Educator110045713 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/WikicatLogicians +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatJewishPhilosophers +
, http://dbpedia.org/class/yago/WikicatAcademicsOfKing%27sCollegeLondon +
, http://dbpedia.org/class/yago/WikicatBritishPhilosophers +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/WikicatBritishLogicians +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfImperialCollegeLondon +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Wikicat20th-centuryPhilosophers +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Eukaryote +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheRoyalSocietyOfArts +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/WikicatEnglishPeople +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://www.wikidata.org/entity/Q729 +
|
| rdfs:comment |
Dov M. Gabbay (/ɡəˈbeɪ/; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
, Dov M. Gabbay (* 23. Oktober 1945) ist ein … 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.uhl für Logik am King's College in London.
, Dov Gabbay, né le 23 octobre 1945, est un philosophe britannique spécialiste de la logique. Il est professeur émérite au King's College de Londres.
, Dov M. Gabbay é Professor Augustus De Morg … Dov M. Gabbay é Professor Augustus De Morgan de Lógica no Grupo de Lógica, Linguagem e Computação , Departamento de Ciência da Computação, (Emérito). Ele é autor de mais de quatrocentos e cinquenta trabalhos de pesquisa e mais de trinta monografias de pesquisa. Ele é editor de várias revistas internacionais e mais de 50 manuais de lógica, incluindo o Manual de lógica filosófica, o Manual da Lógica em Ciência da Computação, e o Manual de Inteligência Artificial e Lógica de Programação, entre muitas outras obras de referência na lógica.itas outras obras de referência na lógica.
|
| rdfs:label |
Dov Gabbay
|
