DeepAI AI Chat
Log In Sign Up

LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report

09/15/2017
by   Stefano Germano, et al.
0

Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and industrial applications. In this work we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/17/2019

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Since the first conference held in Marseille in 1982, ICLP has been the ...
07/26/2011

ALPprolog --- A New Logic Programming Method for Dynamic Domains

Logic programming is a powerful paradigm for programming autonomous agen...
01/07/2013

A Logic Programming Approach to Integration Network Inference

The discovery, representation and reconstruction of (technical) integrat...
09/15/2021

Proceedings 37th International Conference on Logic Programming (Technical Communications)

ICLP is the premier international event for presenting research in logic...
01/15/2020

Integrating the Common Variability Language with Multilanguage Annotations for Web Engineering

Web applications development involves managing a high diversity of files...
08/28/2013

The Partner Units Configuration Problem: Completing the Picture

The partner units problem (PUP) is an acknowledged hard benchmark proble...
11/03/2015

A web-based IDE for IDP

IDP is a knowledge base system based on first order logic. It is finding...