Risultati della ricerca

...[[programmazione logica]] che inserisce nella programmazione logica regole di inferenza basate sulla [[abduzione]]. ...ominati 'abducibili' ed IC è un insieme di formule logiche, dette 'vincoli di integrità'. ...

{{Linguaggio di programmazione |autore = [[Massachusetts Institute of Technology|MIT]], [[Università di Stanford]], [[Google]], [[Adobe (azienda)|Adobe]] ...

{{S|linguaggi di programmazione|musica elettronica}} {{Linguaggio di programmazione ...

{{Linguaggio di programmazione ...mazione esoterico|esoterico]], [[Programmazione imperativa|imperativo]], [[Programmazione strutturata|strutturato]] ...

...sieme del [[Prolog]], ed è impiegato in particolare per risolvere problemi di pianificazione (''planning'') e [[rappresentazione della conoscenza]].<ref ...set'' programming. L'utilizzo di ''[[answer set]]'' per risolvere problemi di ricerca fu proposto come nuovo paradigma da Marek e Truszczyński, la cui te ...

...ce quali siano le regole per formare un termine, il secondo con un sistema di [[riscrittura]], che definisce come i termini possano essere ridotti e semp La combinazione di semplicità ed espressività ha reso il lambda calcolo uno strumento frequent ...

{{Linguaggio di programmazione |paradigmi = [[Programmazione orientata agli oggetti|Orientato agli oggetti]] ...

{{Linguaggio di programmazione |paradigmi = [[programmazione strutturata]] ...

...linguaggio naturale, come l'inglese, intervallata da [[Snippet|frammenti]] di [[Macro (informatica)|macro]] e [[codice sorgente]] tradizionale, da cui pu ...rotta della logica in un linguaggio umano ordinario, proprio come il testo di un [[saggio]], in cui sono incluse le macro per nascondere le astrazioni e ...

...di matematici e programmatori. Mathematica usa un potente [[linguaggio di programmazione]] interpretato, chiamato [[linguaggio Wolfram]]. ...anto molto meno efficiente delle alternative funzionali e basate su regole di sostituzione (''rule-based''). ...

{{Linguaggio di programmazione |paradigmi = {{sp}} ...

...ei giochi''' è una disciplina che studia modelli [[matematica|matematici]] di interazione [[strategia|strategica]] tra [[agente intelligente|agenti razio ...li altri, la teoria dei giochi contemporanea si applica ad una vasta gamma di relazioni comportamentali e indica ormai genericamente la scienza delle dec ...