@prefix ns0: . @prefix dbpedia: . dbpedia:Keith_Clark ns0:doctoralAdvisor dbpedia:Robert_Kowalski . @prefix dbpedia-owl: . dbpedia:Keith_Clark dbpedia-owl:doctoralAdvisor dbpedia:Robert_Kowalski . @prefix dbpprop: . dbpedia:Keith_Clark dbpprop:doctoralAdvisor dbpedia:Robert_Kowalski . @prefix rdf: . @prefix owl: . dbpedia:Robert_Kowalski rdf:type owl:Thing , dbpedia-owl:Scientist . @prefix ns6: . dbpedia:Robert_Kowalski rdf:type ns6:BritishComputerScientists . @prefix foaf: . dbpedia:Robert_Kowalski rdf:type foaf:Person , ns6:FellowsOfTheAssociationForComputingMachinery , ns6:Logicians , ns6:Scientist110560637 , , ns6:Person100007846 , ns6:StanfordUniversityAlumni , ns6:LivingPeople , ns6:ProgrammingLanguageDesigners , ns6:AcademicsOfImperialCollegeLondon , ns6:AlumniOfTheUniversityOfEdinburgh , dbpedia-owl:Person ; dbpprop:name "Kowalski, Robert Anthony"@en , "Bob Kowalski"@en . @prefix xsd: . @prefix ns9: . dbpedia:Robert_Kowalski ns9:birthDate "1941-05-15"^^xsd:date ; ns9:birthPlace dbpedia:Connecticut , ; ns9:almaMater dbpedia:Stanford_University , dbpedia:University_of_Edinburgh , dbpedia:University_of_Bridgeport , dbpedia:University_of_Chicago , dbpedia:University_of_Warsaw ; ns0:doctoralStudent dbpedia:Keith_Clark ; owl:sameAs . @prefix ns10: . dbpedia:Robert_Kowalski owl:sameAs ns10:Robert_Kowalski ; foaf:name "Robert Anthony Kowalski"@de , "Bob Kowalski" ; foaf:surname "Kowalski"@de . @prefix ns11: . dbpedia:Robert_Kowalski foaf:page ns11:Robert_Kowalski ; dbpedia-owl:knownFor dbpedia:Logic_programming , dbpedia:Event_calculus ; ns9:knownFor dbpedia:Logic_programming , dbpedia:Event_calculus ; dbpedia-owl:doctoralStudent dbpedia:Keith_Clark ; dbpprop:reference , , , . @prefix rdfs: . dbpedia:Robert_Kowalski rdfs:label "Robert Kowalski"@cs , "Robert Kowalski"@en ; dbpedia-owl:thumbnail ; dbpedia-owl:birthDate "1941-05-15"^^xsd:date ; dbpedia-owl:birthPlace dbpedia:Connecticut , ; dbpedia-owl:almaMater dbpedia:University_of_Chicago , dbpedia:University_of_Warsaw , dbpedia:University_of_Edinburgh , dbpedia:Stanford_University , dbpedia:University_of_Bridgeport ; dbpprop:abstract "Robert Anthony Kowalski se zab\u00FDv\u00E1 logikou a po\u010D\u00EDta\u010Dovou v\u011Bdou. M\u00E1 polsk\u00E9 p\u0159edky a v\u011Bt\u0161inu sv\u00E9 kari\u00E9ry str\u00E1vil ve Velk\u00E9 Brit\u00E1nii. Jeho jm\u00E9no je asi nejv\u00EDce spojov\u00E1no s v\u00FDvojem logick\u00E9ho programov\u00E1n\u00ED, po\u010D\u00EDnaje procedur\u00E1ln\u00ED interpretac\u00ED Hornov\u00FDch klauzul\u00ED. Kowalski byl jedn\u00EDm z prvn\u00EDch v\u00FDvoj\u00E1\u0159\u016F abduktivn\u00EDho logick\u00E9ho programov\u00E1n\u00ED, ve kter\u00E9m jsou logick\u00E9 programy roz\u0161\u00ED\u0159eny o integritn\u00ED omezen\u00ED a nedefinovan\u00E9 abduktivn\u00ED predik\u00E1ty."@cs , "Robert \"Bob\" Anthony Kowalski is a logician and computer scientist, of Polish descent, who has spent most of his career in the UK. He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970). He was a Research Fellow at the University of Edinburgh (1970\u201375) and has been at Imperial College London since 1975, attaining a chair in Computational Logic in 1982 and becoming Emeritus Professor in 1999. He was inducted as a Fellow of the American Association for Artificial Intelligence in 1991, of the European Co-ordinating Committee for Artificial Intelligence in 1999, and the Association for Computing Machinery in 2001. He began his research in the field of automated theorem proving, developing both SL-resolution with Donald Kuehner and the connection graph proof procedure. However, he is best known for his contributions to the development of logic programming, starting with the procedural interpretation of Horn clauses. He also developed the minimal model and the fixpoint semantics of Horn clauses with Maarten van Emden. With Marek Sergot, he developed both the event calculus and the application of logic programming to legal reasoning. With Fariba Sadri, he developed an agent model in which beliefs are represented by logic programs and goals are represented by integrity constraints. Kowalski was one of the early developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates. This work led to the demonstration with Phan Minh Dung and Francesca Toni that most logics for default reasoning can be regarded as special cases of assumption-based argumentation."@en ; rdfs:comment "Robert \"Bob\" Anthony Kowalski is a logician and computer scientist, of Polish descent, who has spent most of his career in the UK. He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970)."@en , "Robert Anthony Kowalski se zab\u00FDv\u00E1 logikou a po\u010D\u00EDta\u010Dovou v\u011Bdou. M\u00E1 polsk\u00E9 p\u0159edky a v\u011Bt\u0161inu sv\u00E9 kari\u00E9ry str\u00E1vil ve Velk\u00E9 Brit\u00E1nii. Jeho jm\u00E9no je asi nejv\u00EDce spojov\u00E1no s v\u00FDvojem logick\u00E9ho programov\u00E1n\u00ED, po\u010D\u00EDnaje procedur\u00E1ln\u00ED interpretac\u00ED Hornov\u00FDch klauzul\u00ED. Kowalski byl jedn\u00EDm z prvn\u00EDch v\u00FDvoj\u00E1\u0159\u016F abduktivn\u00EDho logick\u00E9ho programov\u00E1n\u00ED, ve kter\u00E9m jsou logick\u00E9 programy roz\u0161\u00ED\u0159eny o integritn\u00ED omezen\u00ED a nedefinovan\u00E9 abduktivn\u00ED predik\u00E1ty."@cs ; foaf:depiction ; foaf:givenname "Robert Anthony"@de . @prefix skos: . dbpedia:Robert_Kowalski skos:subject . @prefix ns14: . dbpedia:Robert_Kowalski skos:subject ns14:Logicians , , ns14:University_of_Chicago_alumni , ns14:Programming_language_designers , ns14:Living_people , ns14:Academics_of_Imperial_College_London , ns14:Stanford_University_alumni , ns14:Alumni_of_the_University_of_Edinburgh , ns14:Fellows_of_the_Association_for_Computing_Machinery , ns14:History_of_artificial_intelligence , ns14:University_of_Bridgeport_alumni , ns14:British_computer_scientists , ns14:Polish_Americans . @prefix ns15: . dbpedia:Robert_Kowalski dbpprop:wikiPageUsesTemplate ns15:persondata , ns15:infobox_scientist ; dbpprop:nationality "British"@en . @prefix ns16: . dbpedia:Robert_Kowalski dbpprop:birthDate ns16:Birth_date_and_age ; dbpprop:birthPlace dbpedia:Connecticut , ; dbpprop:almaMater dbpedia:University_of_Warsaw , dbpedia:University_of_Chicago , dbpedia:University_of_Edinburgh , dbpedia:University_of_Bridgeport , dbpedia:Stanford_University ; dbpprop:alternativeNames "Kowalski, Bob"@en ; dbpprop:imageWidth "150px"@en ; dbpprop:field dbpedia:Computer_Science , dbpedia:Logic ; dbpprop:citizenship "Naturalised British Citizen"@en ; dbpprop:dateOfBirth "May 15, 1941"@en ; dbpprop:workInstitution dbpedia:University_of_Edinburgh , dbpedia:Imperial_College_London ; dbpprop:doctoralStudents "David Warren
Christopher Hogger
Keith Clark
Marek Sergot
George Pollard
Christopher Moss
Fariba Sadri
Kave Eshghi
Jin-Sang Kim
David Frost
Suryanarayana Sripada
Francis McCabe
Francesca Toni
Tze Ho Fung
Gerhard Wetzel
Jacinto Davila
Christopher Preist
Yongyuth Perpoontanalarp"@en ; dbpprop:shortDescription "British computer scientist"@en ; dbpprop:knownFor dbpedia:Event_calculus , dbpedia:Logic_programming ; dbpprop:doctoralAdvisor "Bernard Meltzer"@en . @prefix ns17: . dbpedia:Robert_Kowalski dbpprop:hasPhotoCollection ns17:Robert_Kowalski . @prefix ns18: . dbpedia:Robert_Kowalski dbpprop:wordnet_type ns18:synset-scientist-noun-1 . dbpedia:Bob_Kowalski dbpprop:redirect dbpedia:Robert_Kowalski . dbpedia:Robert_Anthony_Kowalski dbpprop:redirect dbpedia:Robert_Kowalski . @prefix yago: . yago:Robert_Kowalski owl:sameAs dbpedia:Robert_Kowalski .