stableKanren: Integrating Stable Model Semantics with miniKanren-Reference-Cited by-同舟云学术

stableKanren: Integrating Stable Model Semantics with miniKanren

Published:2023-10-22 Issue: Volume: Page:
ISSN:
Container-title:International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Guo Xiangyu¹^ORCID,Smith James¹^ORCID,Bansal Ajay²^ORCID

Affiliation:

1. Arizona State University, USA

2. School of Computing and Augmented Intelligence, Arizona State University, USA

Publisher

ACM

Reference24 articles.

1. Train Scheduling with Hybrid Answer Set Programming;Abels Dirk;Theory and Practice of Logic Programming,2021

2. William E. Byrd. 2009. Relational Programming in Minikanren: Techniques Applications and Implementations. Ph. D. Dissertation. USA. Advisor(s) Friedman Daniel P. AAI3380156. William E. Byrd. 2009. Relational Programming in Minikanren: Techniques Applications and Implementations. Ph. D. Dissertation. USA. Advisor(s) Friedman Daniel P. AAI3380156.

3. Keith L. Clark . 1978. Negation as Failure. Logic and Data Bases ( 1978 ), 293–322. https://doi.org/10.1007/978-1-4684-3384-5_11 10.1007/978-1-4684-3384-5_11 Keith L. Clark. 1978. Negation as Failure. Logic and Data Bases (1978), 293–322. https://doi.org/10.1007/978-1-4684-3384-5_11

4. Carmine Dodaro and Marco Maratea . 2017. Nurse Scheduling via Answer Set Programming . In Logic Programming and Nonmonotonic Reasoning, Marcello Balduccini and Tomi Janhunen (Eds.). Springer International Publishing , Cham , 301–307. Carmine Dodaro and Marco Maratea. 2017. Nurse Scheduling via Answer Set Programming. In Logic Programming and Nonmonotonic Reasoning, Marcello Balduccini and Tomi Janhunen (Eds.). Springer International Publishing, Cham, 301–307.

5. D.P. Friedman W.E. Byrd and O. Kiselyov. 2005. The Reasoned Schemer. MIT Press. https://books.google.com/books?id=_xciAQAAIAAJ D.P. Friedman W.E. Byrd and O. Kiselyov. 2005. The Reasoned Schemer. MIT Press. https://books.google.com/books?id=_xciAQAAIAAJ