Robert Kowalski: Porovnání verzí
Smazaný obsah Přidaný obsah
semiautomatically fixing interwiki conflicts using ICS: British computer scientist vs Polish actor (trouble?: pl:User talk:WTM) |
m obr |
||
Řádek 1:
[[File:Robert Kowalski.jpg|thumb|Robert Kowalski]]'''Robert Anthony Kowalski''' ('''Bob Kowalski''', narozen [[15. květen|15. května]] [[1941]], Bridgeport, [[Connecticut]], [[Spojené státy americké|USA]]) se zabývá [[logika|logikou]] a [[počítačová věda|počítačovou vědou]]. Má [[Polsko|polské]] předky a většinu své kariéry strávil ve [[Spojené království|Velké Británii]]. Jeho jméno je asi nejvíce spojováno s vývojem [[logické programování|logického programování]], počínaje procedurální interpretací [[Hornova klauzule|Hornových klauzulí]]. Kowalski 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.
== Životopis ==
|