Robert Kowalski: Porovnání verzí

Smazaný obsah Přidaný obsah
WTM (diskuse | příspěvky)
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 ==