Corpus ID: 8408689

A web-based IDE for IDP

@article{Dasseville2015AWI,
  title={A web-based IDE for IDP},
  author={Ingmar Dasseville and G. Janssens},
  journal={ArXiv},
  year={2015},
  volume={abs/1511.00920}
}
  • Ingmar Dasseville, G. Janssens
  • Published 2015
  • Computer Science
  • ArXiv
    • IDP is a knowledge base system based on first order logic. It is finding its way to a larger public but is still facing practical challenges. Adoption of new languages requires a newcomer-friendly way for users to interact with it. Both an online presence to try to convince potential users to download the system and offline availability to develop larger applications are essential. We developed an IDE which can serve both purposes through the use of web technology. It enables us to provide the… CONTINUE READING
    View PDF on arXiv
    11 Citations
    Background Citations
    6
    Methods Citations
    4

    Figures and Topics from this paper

    Figures

    Explore Further: Topics Discussed in This Paper

    11 Citations
    Citation Type

    Citation Type

    Web-STAR: Towards a Visual Web-Based IDE for a Story Comprehension System
    • PDF
    Web-STAR: A Visual Web-Based IDE for a Story Comprehension System
    • 4
    • PDF
    LoIDE: A Web-Based IDE for Logic Programming Preliminary Report
    • 4
    Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment
    • 10
    • PDF
    LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
    • 2
    • PDF
    An Online Development Environment for Answer Set Programming
    • 4
    • PDF
    xLogo online - a web-based programming IDE for Logo
    • 3
    • PDF
    onlineSPARC: a Programming Environment for Answer Set Programming
    • 3
    • PDF
    Developing ASP Programs with ASPIDE and LoIDE
    An integrated Graphical User Interface for Debugging Answer Set Programs
    • 1
    • PDF

    References

    SHOWING 1-10 OF 20 REFERENCES
    Visualising interactive inferences with IDPD3
    • 4
    • PDF
    OntoDLV: An ASP-based System for Enterprise Ontologies
    • 62
    • PDF
    The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report
    • 19
    • PDF
    Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
    • 48
    • PDF
    Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
    • 31
    • PDF
    VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology
    • 16
    • PDF
    Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
    • 22
    • PDF
    ASPIDE: Integrated Development Environment for Answer Set Programming
    • 70
    Debugging overconstrained declarative models using unsatisfiable cores
    • 72
    • PDF
    ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
    • 29