| http://dbpedia.org/ontology/abstract
|
Joseph Y. Halpern (* 1953) ist ein kanadis … Joseph Y. Halpern (* 1953) ist ein kanadischer Informatiker. Er ist Professor an der Cornell University. Halpern studierte an der University of Toronto mit dem Bachelor-Abschluss 1975, war dann zwei Jahre in Ghana, wo er Mathematik an einer Schule unterrichtete als Teil des Canadian University Services Overseas (CUSO) und setzte sein Studium dann an der Harvard University fort mit dem Master-Abschluss 1979 und der Promotion bei Albert Meyer (und Gerald Sacks) 1981 (Axiomatic definition of programming languages and logic of programs). Als Post-Doktorand war er gleichzeitig in Harvard und am Massachusetts Institute of Technology (MIT). Ab 1982 forschte er bei IBM, wo er bis 1996 blieb und 1987 bis 1989 Manager der Mathematikgruppe am IBM Almaden Research Center war. Gleichzeitig hatte er Gastprofessuren und beratende Professuren (Consulting Professor) an der Stanford University (und 1990 in Toronto). Ab 1996 war er Professor an der Cornell University, wo er 1996 bis 2001 Ko-Direktor des Cognitive Studies Program war und ab 2010 der Informatik Fakultät vorstand. Er war mehrfach Gastprofessor an der Hebräischen Universität in Jerusalem, 2001/02 am CWI in Amsterdam. Er befasst sich mit Überlegungen zum Begriff Wissen und Unsicherheit speziell in verteilten Systemen sowie in Spieltheorie und Künstlicher Intelligenz. Außerdem befasst er sich mit Modaler Logik, Entscheidungstheorie, verteiltem Rechnen (und Fehlertoleranz bei verteiltem Rechnen), Programm-Verifikation, Kausalität, Semantik von Programmiersprachen. 1997 erhielt er den Gödel-Preis mit Moses (für die formale Definition des Begriffs Wissen in verteilten Systemen) und 2009 erhielten beide den Dijkstra-Preis. 2015 wurde er in die American Academy of Arts and Sciences gewählt, 2019 in die National Academy of Engineering. 2008 erhielt er den ACM-AAAI Allen Newell Award.rhielt er den ACM-AAAI Allen Newell Award.
, Joseph Yehuda Halpern, né le 29 mai 1953, est professeur en informatique à l'université Cornell. Ses travaux de recherche concernent principalement le raisonnement sur la connaissance et incertitude.
, Joseph Yehuda Halpern (born 1953) is an Israeli-American professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty.
, جوزيف هلبرن هو مهندس وعالم حاسوب كندي، ولد في 29 مايو 1953 في إسرائيل.
, Joseph Yehuda Halpern es un profesor de ci … Joseph Yehuda Halpern es un profesor de ciencias de la computación en la Universidad Cornell. La mayoría de su investigación trata de razonamiento sobre conocimiento e incertidumbre. Halpern se graduó en 1975 de la Universidad de Toronto con un B.S. en matemáticas, y obtuvo el Ph.D. en matemáticas en la Universidad Harvard en 1981, bajo la supervisión de y . Ha escrito dos libros, Reasoning about Uncertainty y Reasoning About Knowledge, y ha sido ganador en 1997 del Premio Gödel (en ciencias de la computación teórica) y en 2009 del Premio Dijkstra (en computación distribuida). En 2002 fue nombrado miembro de la Association for Computing Machinery. Halpern es también administrador del Computing Research Repository, la línea de ciencias de computación de , y el moderador para las secciones "literatura general" y "otros" de dicho repositorio. Entre sus estudiantes doctorales se encuentran , Daphne Koller, y Yoram Moses.encuentran , Daphne Koller, y Yoram Moses.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/G%C3%B6del_Prize +
, http://dbpedia.org/resource/Dijkstra_Prize +
, http://dbpedia.org/resource/ACM_-_AAAI_Allen_Newell_Award +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Yoram_Moses +
, http://dbpedia.org/resource/Daphne_Koller +
, http://dbpedia.org/resource/Nir_Friedman +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Joe_Halpern_IMG_1588.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.cs.cornell.edu/home/halpern/ +
, https://scholar.google.com/citations%3Fuser=FsBCAfgAAAAJ +
|
| http://dbpedia.org/ontology/wikiPageID
|
2929332
|
| http://dbpedia.org/ontology/wikiPageLength
|
3946
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1078884334
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Journal_of_the_ACM +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Daphne_Koller +
, http://dbpedia.org/resource/EPFL +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Dijkstra_Prize_laureates +
, http://dbpedia.org/resource/University_of_Toronto +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:University_of_Toronto_alumni +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:IBM_Research_computer_scientists +
, http://dbpedia.org/resource/Cornell_University +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/IEEE_Fellow +
, http://dbpedia.org/resource/Category:Cornell_University_faculty +
, http://dbpedia.org/resource/Category:Researchers_in_distributed_computing +
, http://dbpedia.org/resource/Gerald_Sacks +
, http://dbpedia.org/resource/Category:IBM_employees +
, http://dbpedia.org/resource/ACM_-_AAAI_Allen_Newell_Award +
, http://dbpedia.org/resource/University_of_Konstanz +
, http://dbpedia.org/resource/Category:G%C3%B6del_Prize_laureates +
, http://dbpedia.org/resource/Category:1953_births +
, http://dbpedia.org/resource/Yoram_Moses +
, http://dbpedia.org/resource/Albert_R._Meyer +
, http://dbpedia.org/resource/G%C3%B6del_Prize +
, http://dbpedia.org/resource/Category:Artificial_intelligence_researchers +
, http://dbpedia.org/resource/Category:21st-century_American_Jews +
, http://dbpedia.org/resource/Fellow +
, http://dbpedia.org/resource/Harvard_University +
, http://dbpedia.org/resource/ArXiv.org +
, http://dbpedia.org/resource/Dijkstra_Prize +
, http://dbpedia.org/resource/Category:20th-century_American_Jews +
, http://dbpedia.org/resource/Nir_Friedman +
|
| http://dbpedia.org/property/birthDate
|
1953
|
| http://dbpedia.org/property/birthPlace
|
Israel
|
| http://dbpedia.org/property/caption
|
Joseph Halpern at the EPFL in June 2008
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/Nir_Friedman +
, http://dbpedia.org/resource/Daphne_Koller +
, http://dbpedia.org/resource/Yoram_Moses +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/property/name
|
Joseph Yehuda Halpern
|
| http://dbpedia.org/property/prizes
|
Gödel Prize
, Allen Newell Award
, Dijkstra Prize
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Compu-bio-stub +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:G%C3%B6del_winners +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/wordnet type
|
http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1 +
|
| http://dbpedia.org/property/workInstitutions
|
http://dbpedia.org/resource/Cornell_University +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:IBM_employees +
, http://dbpedia.org/resource/Category:21st-century_American_Jews +
, http://dbpedia.org/resource/Category:Dijkstra_Prize_laureates +
, http://dbpedia.org/resource/Category:1953_births +
, http://dbpedia.org/resource/Category:20th-century_American_Jews +
, http://dbpedia.org/resource/Category:G%C3%B6del_Prize_laureates +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Researchers_in_distributed_computing +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:University_of_Toronto_alumni +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Category:IBM_Research_computer_scientists +
, http://dbpedia.org/resource/Category:Cornell_University_faculty +
, http://dbpedia.org/resource/Category:Artificial_intelligence_researchers +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/85287033 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Joseph_Halpern?oldid=1078884334&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Joe_Halpern_IMG_1588.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Joseph_Halpern +
|
| http://xmlns.com/foaf/0.1/name
|
Joseph Yehuda Halpern
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.08db6w +
, http://d-nb.info/gnd/14299734X +
, http://www.wikidata.org/entity/Q6283747 +
, http://data.bibliotheken.nl/id/thes/p068998481 +
, http://fr.dbpedia.org/resource/Joseph_Y._Halpern +
, http://d-nb.info/gnd/115042369 +
, http://de.dbpedia.org/resource/Joseph_Halpern +
, https://global.dbpedia.org/id/4pAVG +
, http://arz.dbpedia.org/resource/%DA%86%D9%88%D8%B2%D9%8A%D9%81_%D9%87%D9%84%D8%A8%D8%B1%D9%86 +
, http://yago-knowledge.org/resource/Joseph_Halpern +
, https://orcid.org/0000-0002-9229-1663 +
, http://dbpedia.org/resource/Joseph_Halpern +
, http://es.dbpedia.org/resource/Joseph_Halpern +
, http://ar.dbpedia.org/resource/%D8%AC%D9%88%D8%B2%D9%8A%D9%81_%D9%87%D9%84%D8%A8%D8%B1%D9%86 +
, https://dblp.org/pid/h/JosephYHalpern +
, http://viaf.org/viaf/85287033 +
|
| rdf:type |
http://dbpedia.org/class/yago/Laureate110249011 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForComputingMachinery +
, http://dbpedia.org/class/yago/Honoree110183757 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForTheAdvancementOfArtificialIntelligence +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/WikicatG%C3%B6delPrizeLaureates +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Recipient109627906 +
, http://dbpedia.org/class/yago/WikicatHarvardUniversityAlumni +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Acquirer109764201 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/WikicatResearchersInDistributedComputing +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/WikicatAmericanComputerScientists +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/ResearchWorker110523076 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/WikicatArtificialIntelligenceResearchers +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/WikicatDijkstraPrizeLaureates +
, http://umbel.org/umbel/rc/Scientist +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatGuggenheimFellows +
, http://dbpedia.org/class/yago/Person100007846 +
|
| rdfs:comment |
Joseph Y. Halpern (* 1953) ist ein kanadis … Joseph Y. Halpern (* 1953) ist ein kanadischer Informatiker. Er ist Professor an der Cornell University. Halpern studierte an der University of Toronto mit dem Bachelor-Abschluss 1975, war dann zwei Jahre in Ghana, wo er Mathematik an einer Schule unterrichtete als Teil des Canadian University Services Overseas (CUSO) und setzte sein Studium dann an der Harvard University fort mit dem Master-Abschluss 1979 und der Promotion bei Albert Meyer (und Gerald Sacks) 1981 (Axiomatic definition of programming languages and logic of programs). Als Post-Doktorand war er gleichzeitig in Harvard und am Massachusetts Institute of Technology (MIT). Ab 1982 forschte er bei IBM, wo er bis 1996 blieb und 1987 bis 1989 Manager der Mathematikgruppe am IBM Almaden Research Center war. Gleichzeitig hatte er Gasarch Center war. Gleichzeitig hatte er Gas
, جوزيف هلبرن هو مهندس وعالم حاسوب كندي، ولد في 29 مايو 1953 في إسرائيل.
, Joseph Yehuda Halpern es un profesor de ci … Joseph Yehuda Halpern es un profesor de ciencias de la computación en la Universidad Cornell. La mayoría de su investigación trata de razonamiento sobre conocimiento e incertidumbre. Halpern se graduó en 1975 de la Universidad de Toronto con un B.S. en matemáticas, y obtuvo el Ph.D. en matemáticas en la Universidad Harvard en 1981, bajo la supervisión de y . Ha escrito dos libros, Reasoning about Uncertainty y Reasoning About Knowledge, y ha sido ganador en 1997 del Premio Gödel (en ciencias de la computación teórica) y en 2009 del Premio Dijkstra (en computación distribuida). En 2002 fue nombrado miembro de la Association for Computing Machinery.de la Association for Computing Machinery.
, Joseph Yehuda Halpern, né le 29 mai 1953, est professeur en informatique à l'université Cornell. Ses travaux de recherche concernent principalement le raisonnement sur la connaissance et incertitude.
, Joseph Yehuda Halpern (born 1953) is an Israeli-American professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty.
|
| rdfs:label |
جوزيف هلبرن
, Joseph Y. Halpern
, Joseph Halpern
|
