Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
type: Item
instance of: scholarly article
title: Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
zbMATH Open document ID: 1486.68029
DOI: 10.1017/S1471068418000522
author: Jan Wielemaker
author: Fabrizio Riguzzi
author: Robert Kowalski
author: Torbjörn Lager
author: Fariba Sadri
author: Miguel Calejo
published in: Theory and Practice of Logic Programming
publication date: 2019-09-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1808.08042
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68U35
zbMATH DE Number: 7107413
zbMATH Keywords: Prolog
zbMATH Keywords: logic programming system
zbMATH Keywords: notebook interface
zbMATH Keywords: web
describes a project that uses: R
describes a project that uses: PIDoc
describes a project that uses: ProbLog
describes a project that uses: Pengines
describes a project that uses: IPython
describes a project that uses: MCINTYRE
describes a project that uses: cplint
describes a project that uses: JavaScript
describes a project that uses: Aleph
describes a project that uses: SWI-Prolog
describes a project that uses: SWISH DataLab
MaRDI profile type: MaRDI publication profile
arXiv ID: 1808.08042
cites work: Structure learning of probabilistic logic programs by searching the clause space
cites work: Q3571951
cites work: Probabilistic (logic) programming concepts
cites work: Q2767097
cites work: Bandit-based Monte-Carlo structure learning of probabilistic logic programs
cites work: Inference and learning in probabilistic logic programs using weighted Boolean formulas
cites work: Q4319426
cites work: Q2938235
cites work: Literate Programming
cites work: Reactive computing as model generation
cites work: Programming in logic without logic programming
cites work: A logic-based calculus of events
cites work: Pengines: Web Logic Programming Made Easy
cites work: Lifted discriminative learning of probabilistic logic programs
cites work: Distributed Parameter Learning for Probabilistic Ontologies
cites work: Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
cites work: Logic Programming
cites work: SWI-Prolog and the web
Wikidata QID: Q125936720
description: scientific article; zbMATH DE number 7107413