Author:
Dovier Agostino,Pontelli Enrico,Rossi Gianfranco
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming;Practical Aspects of Declarative Languages;2022
2. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming;Theory and Practice of Logic Programming;2021-11-02
3. Selective Unification in (Constraint) Logic Programming*;Fundamenta Informaticae;2020-12-10
4. Selective unification in constraint logic programming;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09
5. Preface;Theory and Practice of Logic Programming;2017-07