iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://dbpedia.org/resource/Robert_Kowalski
About: Robert Kowalski
An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom.

Property Value
dbo:abstract
  • Robert Anthony Kowalski také Bob Kowalski (* 15. května 1941 Bridgeport, Connecticut) je americký vědec zabývající se logikou a informatikou. Jeho předci jsou polského původu. Převážnou část své kariéry strávil ve Spojeném království. Jeho jméno je nejvíce spojováno s vývojem logického programování, především procedurální interpretací Hornových klauzulí. Byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty. (cs)
  • روبرت كوالسكي (بالإنجليزية: Robert Kowalski)‏ هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة. (ar)
  • Robert Anthony Kowalski (* 15. Mai 1941 in Bridgeport (Connecticut)) ist ein US-amerikanischer Informatiker und Logiker. (de)
  • Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom. (en)
  • Robert Antony Kowalski (15 mei 1941, Bridgeport, Connecticut) is een Brits wiskundige en computerwetenschapper. Hij is het meest bekend om zijn werk aan de procedurele interpretatie van en staat daarmee aan de wieg van de taal Prolog, maar ook zijn werk aan , waarbij computerprogramma's wiskundige stellingen bewijzen en , waarmee oorzaken en gevolgen wiskundig kunnen worden beschreven en zijn werk aan gelden als toonaangevend. (nl)
  • Robert Anthony Kowalski (Bridgeport, 15 maggio 1941) è un informatico e logico statunitense. La cui ricerca si occupa di sviluppare sia modelli di calcolo orientati all'uomo sia modelli computazionali del pensiero umano. Ha trascorso la maggior parte della sua carriera nel Regno Unito. (it)
  • Роберт Энтони Ковальски (15 мая 1941) — американский логик и ученый, который провел большую часть своей карьеры в Великобритании. (ru)
  • Роберт Ентоні Ковальський (нар. 15 травня 1941) — американський логік і вчений, який провів більшу частину своєї кар'єри в Сполученому Королівстві. (uk)
  • 罗伯特·安东尼·科瓦尔斯基(Robert Anthony Kowalski,1941年5月15 日-)是一位美籍英籍逻辑学家和计算机科学家,他的研究涉及开发面向人类的计算模型和人类思维的计算模型。他的大部分职业生涯都在英国度过。科瓦尔斯基长期任教爱丁堡大学和帝国理工学院,是Prolog语言的主要开发者之一,逻辑编程先驱。 (zh)
dbo:academicDiscipline
dbo:almaMater
dbo:award
dbo:birthDate
  • 1941-05-15 (xsd:date)
dbo:birthPlace
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:knownFor
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1621364 (xsd:integer)
dbo:wikiPageLength
  • 10963 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1111431625 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:birthDate
  • 1941-05-15 (xsd:date)
dbp:birthPlace
  • Bridgeport, Connecticut, U.S. (en)
dbp:doctoralAdvisor
dbp:doctoralStudents
dbp:field
dbp:knownFor
dbp:name
  • Robert Kowalski (en)
dbp:nationality
  • British (en)
dbp:prizes
dbp:thesisTitle
  • Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (en)
dbp:thesisUrl
dbp:thesisYear
  • 1970 (xsd:integer)
dbp:wikiPageUsesTemplate
dbp:wordnet_type
dbp:workInstitution
dct:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs:comment
  • Robert Anthony Kowalski také Bob Kowalski (* 15. května 1941 Bridgeport, Connecticut) je americký vědec zabývající se logikou a informatikou. Jeho předci jsou polského původu. Převážnou část své kariéry strávil ve Spojeném království. Jeho jméno je nejvíce spojováno s vývojem logického programování, především procedurální interpretací Hornových klauzulí. Byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty. (cs)
  • روبرت كوالسكي (بالإنجليزية: Robert Kowalski)‏ هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة. (ar)
  • Robert Anthony Kowalski (* 15. Mai 1941 in Bridgeport (Connecticut)) ist ein US-amerikanischer Informatiker und Logiker. (de)
  • Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom. (en)
  • Robert Antony Kowalski (15 mei 1941, Bridgeport, Connecticut) is een Brits wiskundige en computerwetenschapper. Hij is het meest bekend om zijn werk aan de procedurele interpretatie van en staat daarmee aan de wieg van de taal Prolog, maar ook zijn werk aan , waarbij computerprogramma's wiskundige stellingen bewijzen en , waarmee oorzaken en gevolgen wiskundig kunnen worden beschreven en zijn werk aan gelden als toonaangevend. (nl)
  • Robert Anthony Kowalski (Bridgeport, 15 maggio 1941) è un informatico e logico statunitense. La cui ricerca si occupa di sviluppare sia modelli di calcolo orientati all'uomo sia modelli computazionali del pensiero umano. Ha trascorso la maggior parte della sua carriera nel Regno Unito. (it)
  • Роберт Энтони Ковальски (15 мая 1941) — американский логик и ученый, который провел большую часть своей карьеры в Великобритании. (ru)
  • Роберт Ентоні Ковальський (нар. 15 травня 1941) — американський логік і вчений, який провів більшу частину своєї кар'єри в Сполученому Королівстві. (uk)
  • 罗伯特·安东尼·科瓦尔斯基(Robert Anthony Kowalski,1941年5月15 日-)是一位美籍英籍逻辑学家和计算机科学家,他的研究涉及开发面向人类的计算模型和人类思维的计算模型。他的大部分职业生涯都在英国度过。科瓦尔斯基长期任教爱丁堡大学和帝国理工学院,是Prolog语言的主要开发者之一,逻辑编程先驱。 (zh)
rdfs:label
  • روبرت كوالسكي (ar)
  • Robert Kowalski (cs)
  • Robert Kowalski (de)
  • Robert Kowalski (it)
  • Robert Kowalski (en)
  • Robert Kowalski (nl)
  • Ковальски, Роберт (ru)
  • Роберт Ковальський (uk)
  • 罗伯特·科瓦尔斯基 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Robert Kowalski (en)
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:designers of
is dbp:doctoralAdvisor of
is dbp:doctoralStudents of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License