Cerca
Items 11-12 di 12
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 ...
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 ...