Electronic Proceedings in Theoretical Computer Science

Title Publication Date Language Citations
Universal Properties of Lens Proxy Pullbacks2023/08/07English
Differential 2-rigs2023/08/07English
Proceedings Fifth International Conference on Applied Category Theory2023/08/07English
Polynomial Functors and Shannon Entropy2023/08/07English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials2023/09/12English
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Generalizing Level Ranking Constraints for Monotone and Convex Aggregates2023/09/12English
Penalization Framework For Autonomous Agents Using Answer Set Programming2023/09/12English
Inductive Learning of Declarative Domain-Specific Heuristics for ASP2023/09/12English
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming2023/09/12English
A Logic Programming Approach to Global Logistics in a Co-Design Environment2023/09/12English
ABA Learning via ASP2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Benchmarking for Integrating Logic Rules with Everything Else2023/09/12English
An xAI Approach for Data-to-Text Processing with ASP2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Regular Expressions in a CS Formal Languages Course2023/08/14English
Disco: A Functional Programming Language for Discrete Mathematics2023/08/14English
ProofBuddy: A Proof Assistant for Learning and Monitoring2023/08/14English
The Janus System: Multi-paradigm Programming in Prolog and Python2023/09/12English
Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Inferring Compensatory Kinase Networks in Yeast using Prolog2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English