Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Distributed Protocol Combinators
Andersen, Kristoffer Just Arndal, Sergey, Ilya
Published in Practical Aspects of Declarative Languages (01.01.2019)
Published in Practical Aspects of Declarative Languages (01.01.2019)
Get full text
Book Chapter
Optimizing Answer Set Computation via Heuristic-Based Decomposition
Calimeri, Francesco, Fuscà, Davide, Perri, Simona, Zangari, Jessica
Published in Practical Aspects of Declarative Languages (01.01.2018)
Published in Practical Aspects of Declarative Languages (01.01.2018)
Get full text
Book Chapter
Personalized Course Schedule Planning Using Answer Set Programming
Kahraman, Muhammed Kerem, Erdem, Esra
Published in Practical Aspects of Declarative Languages (01.01.2019)
Published in Practical Aspects of Declarative Languages (01.01.2019)
Get full text
Book Chapter
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
Get full text
Book Chapter
Conference Proceeding
Asynchronous Reactive Programming with Modal Types in Haskell
Published in Lecture notes in computer science
Get full text
Book Chapter
CircuitFlow: A Domain Specific Language for Dataflow Programming
Published in Practical Aspects of Declarative Languages
(2022)
Get full text
Book Chapter
AQuA: ASP-Based Visual Question Answering
Basu, Kinjal, Shakerin, Farhad, Gupta, Gopal
Published in Practical Aspects of Declarative Languages (2020)
Published in Practical Aspects of Declarative Languages (2020)
Get full text
Book Chapter