About: Robert Kowalski     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalMethodsPeople, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRobert_Kowalski&graph=http%3A%2F%2Fdbpedia.org&graph=http%3A%2F%2Fdbpedia.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.

AttributesValues
rdf:type
rdfs:label
  • روبرت كوالسكي (ar)
  • Robert Kowalski (cs)
  • Robert Kowalski (de)
  • Robert Kowalski (it)
  • Robert Kowalski (en)
  • Robert Kowalski (nl)
  • Ковальски, Роберт (ru)
  • Роберт Ковальський (uk)
  • 罗伯特·科瓦尔斯基 (zh)
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)
foaf:name
  • Robert Kowalski (en)
name
  • Robert Kowalski (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Robert_Kowalski.jpg
birth place
birth place
  • Bridgeport, Connecticut, U.S. (en)
birth date
dcterms:subject
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software