Raymond Reiter (original) (raw)
- Raymond „Ray“ Reiter (* 12. Juni 1939 in Toronto; † 16. September 2002) war ein kanadischer Informatiker, der sich mit Künstlicher Intelligenz (KI), Datenbanken, automatischen Beweissystemen und Wissensdarstellung befasste. Reiter war der Sohn polnischer Einwanderer und studierte Mathematik an der University of Toronto mit dem Bachelor-Abschluss 1961 und dem Master-Abschluss 1963. Er wurde 1967 an der University of Michigan bei (und Richard M. Karp) promoviert (A Study of a Model for Parallel Computations). Von ihm stammen Beiträge zu , Default-Logiken, nicht-monotoner Logik, deduktiven Datenbanken und dem Situationskalkül von John McCarthy (und Pat Hayes). 1993 erhielt er den IJCAI Award for Research Excellence. Er war Fellow der Association for Computing Machinery, der Royal Society of Canada und der AAAI. Er war Schmetterlingssammler, der dazu auch in entlegene Gebiete in den Tropen reiste, und Opernfan (besonders von Richard Wagner). (de)
- Raymond Reiter FRSC (/ˈraɪtər/; June 12, 1939 – September 16, 2002) was a Canadian computer scientist and logician. He was one of the founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed world reasoning, and truth maintenance systems. He also contributed to the situation calculus. (en)
- 1939-06-12 (xsd:date)
- 2341984 (xsd:integer)
- 5137 (xsd:nonNegativeInteger)
- 1096496259 (xsd:integer)
- dbr:Canadians
- dbr:Electronic_Transactions_on_Artificial_Intelligence
- dbr:Richard_M._Karp
- dbr:University_of_Michigan
- dbr:University_of_Toronto
- dbr:Default_logic
- dbr:Computer_scientist
- dbr:Fellow
- dbr:Closed_world_assumption
- dbc:1939_births
- dbc:Fellows_of_the_Royal_Society_of_Canada
- dbc:University_of_Michigan_alumni
- dbr:AAAI_Fellow
- dbr:ACM_Fellow
- dbr:Fellow_of_the_Royal_Society_of_Canada
- dbr:Non-monotonic_logic
- dbr:Journal_of_the_ACM
- dbc:2002_deaths
- dbr:Association_for_Computing_Machinery
- dbc:Fellows_of_the_Association_for_Computing_Machinery
- dbc:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence
- dbc:Artificial_intelligence_researchers
- dbc:Canadian_computer_scientists
- dbr:Sheila_McIlraith
- dbr:Situation_calculus
- dbr:Diagnosis_(Artificial_intelligence)
- dbr:IJCAI_Award_for_Research_Excellence
- dbr:Logician
- dbr:Truth_maintenance_systems
- 1939-06-12 (xsd:date)
- dbr:Richard_M._Karp
- Harvey Garner (en)
- A Study of a Model for Parallel Computations (en)
- 1967 (xsd:integer)
- dbt:Authority_control
- dbt:Birth_date
- dbt:Doi
- dbt:IPAc-en
- dbt:Post-nominals
- dbt:Reflist
- dbt:Short_description
- dbt:Death_date_and_age
- dbt:Infobox_scientist
- dbt:Canada-compu-bio-stub
- dbc:1939_births
- dbc:Fellows_of_the_Royal_Society_of_Canada
- dbc:University_of_Michigan_alumni
- dbc:2002_deaths
- dbc:Fellows_of_the_Association_for_Computing_Machinery
- dbc:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence
- dbc:Artificial_intelligence_researchers
- dbc:Canadian_computer_scientists
- owl:Thing
- foaf:Person
- dbo:Person
- dul:NaturalPerson
- wikidata:Q19088
- wikidata:Q215627
- wikidata:Q5
- wikidata:Q729
- yago:WikicatArtificialIntelligenceResearchers
- dbo:Animal
- dbo:Eukaryote
- dbo:Scientist
- dbo:Species
- yago:WikicatCanadianComputerScientists
- schema:Person
- wikidata:Q901
- yago:Associate109816771
- yago:CausalAgent100007347
- yago:Colleague109935990
- yago:ComputerScientist109951070
- yago:ComputerUser109951274
- yago:LivingThing100004258
- yago:Object100002684
- yago:Organism100004475
- yago:Peer109626238
- yago:Person100007846
- yago:PhysicalEntity100001930
- yago:ResearchWorker110523076
- yago:YagoLegalActor
- yago:YagoLegalActorGeo
- yago:Scientist110560637
- yago:Whole100003553
- yago:WikicatFellowsOfTheAssociationForComputingMachinery
- yago:WikicatFellowsOfTheAssociationForTheAdvancementOfArtificialIntelligence
- Raymond Reiter FRSC (/ˈraɪtər/; June 12, 1939 – September 16, 2002) was a Canadian computer scientist and logician. He was one of the founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed world reasoning, and truth maintenance systems. He also contributed to the situation calculus. (en)
- Raymond „Ray“ Reiter (* 12. Juni 1939 in Toronto; † 16. September 2002) war ein kanadischer Informatiker, der sich mit Künstlicher Intelligenz (KI), Datenbanken, automatischen Beweissystemen und Wissensdarstellung befasste. Reiter war der Sohn polnischer Einwanderer und studierte Mathematik an der University of Toronto mit dem Bachelor-Abschluss 1961 und dem Master-Abschluss 1963. Er wurde 1967 an der University of Michigan bei (und Richard M. Karp) promoviert (A Study of a Model for Parallel Computations). (de)
- Ray Reiter (de)
- Raymond Reiter (en)
- freebase:Raymond Reiter
- yago-res:Raymond Reiter
- http://viaf.org/viaf/45150431
- http://d-nb.info/gnd/1090085311
- http://d-nb.info/gnd/121175693
- https://dblp.org/pid/r/RaymondReiter
- wikidata:Raymond Reiter
- http://data.bibliotheken.nl/id/thes/p15246865X
- http://arz.dbpedia.org/resource/ريموند_رايتر
- dbpedia-de:Raymond Reiter
- https://global.dbpedia.org/id/4tych
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
- dbr:List_of_University_of_Michigan_alumni
- dbr:List_of_fellows_of_the_Association_for_Computing_Machinery
- dbr:Richard_M._Karp
- dbr:Default_logic
- dbr:Glossary_of_artificial_intelligence
- dbr:Closed-world_assumption
- dbr:Michael_Gruninger
- dbr:Action_theory_(philosophy)
- dbr:Frame_problem
- dbr:Reiter_(surname)
- dbr:Circumscription_(logic)
- dbr:Sheila_McIlraith
- dbr:IJCAI_Award_for_Research_Excellence
- dbr:Ray_Reiter
is dbp:doctoralAdvisor of
is dbp:doctoralStudents of
is foaf:primaryTopic of