paper-with-me

Papers

SWISH: SWI-Prolog for Sharing

2015-11-03 · Jan Wielemaker, Torbjörn Lager, Fabrizio Riguzzi

Recently, we see a new type of interfaces for programmers based on web technology. For example, JSFiddle, IPython Notebook and R-studio. Web technology enables cloud-based solutions, embedding in tutorial web pages, atractive rendering of results, web-scale cooperative development, etc. This article describes SWISH, a web front-end for Prolog. A public website exposes SWI-Prolog using SWISH, which is used to run small Prolog programs for demonstration, experimentation and education. We connected SWISH to the ClioPatria semantic web toolkit, where it allows for collaborative development of programs and queries related to a dataset as well as performing maintenance tasks on the running server and we embedded SWISH in the Learn Prolog Now! online Prolog book.

📄 PDF Abstract BibTeX arXiv:1511.00915

Code (2)

SWI-Prolog/swish 공식 구현
MindSpore-scientific/code-2/tree/main/swish-t mindspore

Similar Papers 제목 키워드 기반

Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition)

2022-08-14 · Peter Flach, Kacper Sokol

"Simply Logical -- Intelligent Reasoning by Example" by Peter Flach was first published by John Wiley in 1994. It could be purchased as book-only or with a 3.5 inch diskette containing the SWI-Prolog programmes printed i…

LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code

2025-11-15 · Borchuluun Yadamsuren, Steven Keith Platt, Miguel Diaz arxiv

This study introduces a hybrid neuro-symbolic framework that achieves deterministic detection of statutory inconsistency in complex law. We use the U.S. Internal Revenue Code (IRC) as a case study because its complexity …

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach

2018-09-17 · Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi 외

When modeling real world domains we have to deal with information that is incomplete or that comes from sources with different trust levels. This motivates the need for managing uncertainty in the Semantic Web. To this p…

Swish-T : Enhancing Swish Activation with Tanh Bias for Improved Neural Network Performance

2024-07-01 · Youngmin Seo, Jinha Kim, Unsang Park

We propose the Swish-T family, an enhancement of the existing non-monotonic activation function Swish. Swish-T is defined by adding a Tanh bias to the original Swish function. This modification creates a family of Swish-…

E-swish: Adjusting Activations to Different Network Depths

2018-01-22 · Eric Alcaide

Activation functions have a notorious impact on neural networks on both training and testing the models against the desired problem. Currently, the most used activation function is the Rectified Linear Unit (ReLU). This …