Semantics-Based Filtering: Logic Programming’s Killer App

This publication has 10 references indexed in Scilit:

• A constraint-based approach for specification and verification of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Horn Logic Denotations and Their Applications
  Published by Springer Nature ,1999
• Reading and writing mathematics
  Published by Association for Computing Machinery (ACM) ,1998
• Modern Compiler Implementation in ML
  Published by Cambridge University Press (CUP) ,1997
• NEXUS: An Extensible File Format for Systematic Information
  Systematic Biology, 1997
• Automated consistency checking of requirements specifications
  ACM Transactions on Software Engineering and Methodology, 1996
• Deterministic, error-correcting combinator parsers
  Published by Springer Nature ,1996
• [22] Using CLUSTAL for multiple sequence alignments
  Published by Elsevier ,1996
• Tabled evaluation with delaying for general logic programs
  Journal of the ACM, 1996
• Foundations of Logic Programming
  Published by Springer Nature ,1987