About: Alan Bundy

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Alan Bundy Goto Sponge NotDistinct Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)

Type:

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAlan_Bundy

Alan Richard Bundy CBE FRS FRSE FREng is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatArtificialIntelligenceResearchers yago:WikicatBritishComputerScientists animal eukaryote scientist species yago:WikicatCommandersOfTheOrderOfTheBritishEmpire schema:Person yago:WikicatLivingPeople Scientist yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:CommandingOfficer109941964 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:MilitaryOfficer110317007 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:ResearchWorker110523076 yago:Worker109632518 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Serviceman110582746 yago:SkilledWorker110605985 yago:Whole100003553 yago:WikicatAcademicsOfTheUniversityOfEdinburgh yago:WikicatAlumniOfTheUniversityOfLeicester yago:WikicatFellowsOfTheAssociationForTheAdvancementOfArtificialIntelligence yago:WikicatFellowsOfTheBritishComputerSociety yago:WikicatFellowsOfTheInstitutionOfEngineeringAndTechnology yago:WikicatFellowsOfTheRoyalAcademyOfEngineering yago:WikicatFellowsOfTheRoyalSociety yago:WikicatFellowsOfTheRoyalSocietyOfEdinburgh yago:WikicatFellowsOfTheSSAISB umbel-rc:Scientist
rdfs:label	Alan Bundy (en) ألان بندي (ar) Alan Bundy (de) Alan Bundy (fr)
rdfs:comment	ألان بندي (بالإنجليزية: Alan Bundy)‏ هو عالم حاسوب بريطاني، ولد في 18 مايو 1947 في ايزلورث في المملكة المتحدة. (ar) Alan Richard Bundy CBE FRS FRSE FREng is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. (en) Alan Richard Bundy, né le 18 mai 1947, récompensé par un CBE, Fellow of the Royal Society, FRSE, (en), est professeur à l'École des sciences informatiques de l'Université d'Édimbourg, connu pour ses contributions au raisonnement automatisé, en particulier à la planification des preuves, l'utilisation du raisonnement au méta-niveau pour guider la recherche de preuves . (fr) Alan Richard Bundy (* 18. Mai 1947 in Isleworth) ist ein britischer Informatiker und Logiker. Er befasst sich mit Maschinengestütztem Beweisen. Bundy wurde 1971 an der University of Leicester bei Reuben Goodstein promoviert (The Metatheory of the Elementary Equation Calculus). Ab 1971 war er an der Universität Edinburgh zunächst in der Gruppe für automatische Beweise von Bernard Meltzer. 1973 wurde er Lecturer, 1984 Reader, 1987 Professorial Fellow und 1990 Professor. 1998 bis 2001 war er dort Leiter der Abteilung Informatik (School of Informatics). (de)
foaf:name	Alan Bundy (en)
name	Alan Bundy (en)
foaf:depiction
birth place	Isleworth, West London
birth place	Isleworth, West London, England (en)
birth date	1947-05-18 (xsd:date)
dcterms:subject	1947 births Living people Academics of the University of Edinburgh Commanders of the Order of the British Empire Fellows of the Royal Society Fellows of the Royal Society of Edinburgh Fellows of the Association for the Advancement of Artificial Intelligence Alumni of the University of Leicester Artificial intelligence researchers Fellows of the British Computer Society Fellows of the Institution of Engineering and Technology Fellows of the SSAISB British computer scientists Fellows of the Royal Academy of Engineering Fellows of the European Association for Artificial Intelligence
Wikipage page ID	6320384 (xsd:integer)
Wikipage revision ID	1094518080 (xsd:integer)
Link from a Wikipage to another Wikipage	SSAISB Reuben Goodstein University of Edinburgh University of Edinburgh School of Informatics University of Leicester Institution of Electrical Engineers Order of the British Empire Lincoln Wallen 1947 births Living people Mathematical logic Frank van Harmelen 2012 New Year Honours

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software