Visualising interactive inferences with IDPD3

Lapauw, Ruben; Dasseville, Ingmar; Denecker, Marc

doi:10.48550/arxiv.1511.00928

Search citation statements

Order By: Relevance

Paper Sections

Select...

Discussion and Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We also note an online environment for IDP (which is a knowledge representation paradigm close to ASP) by Dasseville and Janssens [5]. It also utilizes a very simple interface for the IDP system and allows drawing and animation using IDP through IDPD3 (a library to visualize models of logic theories) by Lapauw et al [14]. In addition to drawing and animation, IDPD3 allows users' interaction with the IDP program (although in a limited manner in its current implementation), which is absent from most other systems including ours.…”

Section: Discussion and Related Workmentioning

confidence: 99%

An Online Development Environment for Answer Set Programming

Marcopoulos,

Reotutar,

Zhang

2017

Preprint

View full text Add to dashboard Cite

Recent progress in logic programming (e.g., the development of the Answer Set Programming paradigm) has made it possible to teach it to general undergraduate and even high school students. Given the limited exposure of these students to computer science, the complexity of downloading, installing and using tools for writing logic programs could be a major barrier for logic programming to reach a much wider audience. We developed an online answer set programming environment with a self contained file system and a simple interface, allowing users to write logic programs and perform several tasks over the programs.

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%