Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Answer Set Programming
Bonatti, Piero, Calimeri, Francesco, Leone, Nicola, Ricca, Francesco
Published in A 25-Year Perspective on Logic Programming (2010)
Published in A 25-Year Perspective on Logic Programming (2010)
Get full text
Book Chapter
Theory-Specific Automated Reasoning
Formisano, Andrea, Omodeo, Eugenio G.
Published in A 25-Year Perspective on Logic Programming (2010)
Published in A 25-Year Perspective on Logic Programming (2010)
Get full text
Book Chapter
Transformation and Debugging of Functional Logic Programs
Alpuente, Maria, Ballis, Demis, Falaschi, Moreno
Published in A 25-Year Perspective on Logic Programming (2010)
Published in A 25-Year Perspective on Logic Programming (2010)
Get full text
Book Chapter
Concurrent and Reactive Constraint Programming
Gabbrielli, Maurizio, Palamidessi, Catuscia, Valencia, Frank D.
Published in Lecture notes in computer science (01.01.2010)
Published in Lecture notes in computer science (01.01.2010)
Get full text
Book Chapter
Twenty-Five Years of Logic Programming in Italy
Published in A 25-Year Perspective on Logic Programming
(2010)
Get full text
Book Chapter