Programming and Debugging with Semantically Lifted States

This publication has 19 references indexed in Scilit:

• Semantic Web Application Development with LITEQ
  2014
• Operational Semantics for SPARQL Update
  Lecture Notes in Computer Science, 2012
• Modeling the Knowledge Domain of the Java Programming Language as an Ontology
  2012
• A Verified Algebra for Linked Data
  Electronic Proceedings in Theoretical Computer Science, 2011
• ABS: A Core Language for Abstract Behavioral Specification
  2011
• Sapphire: Generating Java Runtime Artefacts from OWL Ontologies
  2011
• Zhi# – OWL Aware Compilation
  Lecture Notes in Computer Science, 2011
• Combining answer set programming with description logics for the Semantic Web
  Artificial Intelligence, 2008
• Knowledge-based programs
  Distributed Computing, 1997
• GOLOG: A logic programming language for dynamic domains
  The Journal of Logic Programming, 1997