| 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
| |
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10963 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthPlace
|
- Bridgeport, Connecticut, U.S. (en)
|
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
| |
| dbp:field
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:prizes
| |
| dbp:thesisTitle
|
- Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dbp:workInstitution
| |
| dcterms: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
| |
| 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 | |
