Cerca
Items 1-6 di 6
Integrated development environment for answer set programming
(2012-11-30)
Answer Set Programming (ASP) is a truly-declarative programming paradigm
proposed in the area of non-monotonic reasoning and logic programming. The
successful application of ASP in a number of advanced projects, has ...
Parallel evaluation of ASP programs:techniques and implementation
(2011-11-30)
Answer Set Programming (ASP) is a purely declarative programming paradigm
based on nonmonotonic reasoning and logic programming. The idea of ASP
is to represent a given computational problem by a logic program such ...
Computational tasks in answer set programming: algorithms and implementation
(2014-12-01)
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 ...
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, ...
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 ...
Normal Form Nested Programs
(2014-03-31)
Nella Programmazione Logica Disgiuntiva (PLD) le regole sono costituite da una testa e da un corpo. La testa è una disgiunzione di atomi, mentre il corpo una congiunzione di letterali. La PLD, sotto la semantica degli ...