Programming in logic without logic programming

v1v2 (latest)

Programming in logic without logic programming

4 January 2016

ArXiv (abs)PDF HTML

Papers citing "Programming in logic without logic programming"

6 / 6 papers shown

Title
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) D. Warren P. V. Roy Yanhong A. Liu LRM 38 0 0 17 Nov 2022
Reactive Answer Set Programming Krysia Broda F. Sadri Stephen Butler KELM 21 0 0 22 Sep 2021
onlineSPARC: a Programming Environment for Answer Set Programming Elias Marcopoulos Yuanlin Zhang ReLM KELM LRM 28 7 0 21 Sep 2018
Web-STAR: A Visual Web-Based IDE for a Story Comprehension System Christos T. Rodosthenous Loizos Michael VLM ReLM LRM 24 6 0 28 Jul 2018
An Online Development Environment for Answer Set Programming Elias Marcopoulos Christian Reotutar Yuanlin Zhang LRM 39 5 0 20 Jun 2017
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments P. Mancarella G. Terreni F. Sadri Francesca Toni U. Endriss 114 65 0 05 Jun 2009