Cerca
Items 51-60 di 63
Paracoherent Answer Set Programming
(2017-02-22)
L’Answer Set Programming (ASP) è un paradigma di programmazione dichiarativa basato sulla
semantica dei modelli stabili. L’idea alla base di ASP è di codificare un problema computazionale
in un programma logico i cui ...
<<The>> impact of software on Mathematics education in high schools
(2017-02-22)
Il rapporto tra tecnologia e insegnamento-apprendimento della Matematica è un fenomeno complesso che merita di essere osservato da diversi punti di vista.
Uno di questi è il ruolo che i software svolgono, e potrebbero ...
Pure strategies in security games
(2017-07-20)
In the past decades game theory allowed to model mathematically conflicts
between groups of players, each with their own agenda, and found ways to apply
them in real life situations. One of such applications, which has ...
On a class of singular semilinear equations
(2012-11-28)
DLVDB An ASP System for Data Intensive ApplicationsRisorsa elettronica
(2014-04-01)
La rapida crescita di sistemi informatici derivanti dalle diverse applicazioni cui Internet si presta,
ha rapidamente aumentato la quantit`a di dati e di informazioni disponibili per l’elaborazione. In
particolare, ...
Tools and Techniques for Easing the Application of Answer Set Programming
(2018-01-19)
Answer Set Programming (ASP) is a well-established declarative problem solving
paradigm; it features high expressiveness and the ability to deal with incomplete
knowledge, so it became widely used in AI and it is now ...
Extending the ASP System DLVDB to Support Complex Terms and Procedural Sub-tasks
(2014-03-31)
In many scientific and business scenarios, large amounts of data are generated and stored at
increasing speed in local or distributed databases. Scientific experiments generating petabytes
of data are daily performed in ...