La logica delle basi di conoscenza - The Logic of Knowledge Bases
L'idea di una base di conoscenza è alla base dell'intelligenza artificiale simbolica o...
Indagini sul calcolo dei predicati - Investigations into the Predicate Calculus
Oiva Ketonen (1913-2000) è stato l'allievo più vicino al creatore della...
Dualità per strutture di logica applicata - Dualities for Structures of Applied Logics
Questo libro fornisce un quadro di riferimento per presentare...
Logica e informatica contemporanea - Contemporary Logic and Computing
Il presente volume nasce da una proposta di libro fatta circa due anni fa al College...
Manuale di argomentazione formale - Handbook of Formal Argumentation
L'Handbook of Formal Argumentation è uno sforzo comunitario volto a fornire una visione...
Impara subito il PROLOG! - Learn PROLOG Now!
Il Prolog è un linguaggio di programmazione, ma piuttosto insolito. Prolog'' è l'abbreviazione di Programming with Logic'',...
Trumponomics: Cause e conseguenze - Trumponomics: Causes and Consequences
"La conquista della presidenza degli Stati Uniti da parte di Donald Trump ha...
Un satellite del calcolo Lambda - A Lambda Calculus Satellite
Nel 1936 la nozione di computabilità intuitiva fu resa operativa in due modi diversi: tramite...
Un secolo da quando la sostituzione di Principia ha abbagliato Haskell Curry. In onore dell'80°...
Nel 1922, Curry iniziò a leggere i Principia...
