An Operational Semantics Approach to Disciplined Exceptions in Logic Programming

Podobné exempláre

• Construction of Belief Sets for Logic Programs and Default Theories
  Autor: You, Jia-Huai, a ďalší
• Shapiro, Ehud: Proceedings of the third international conference on logic programming
  Autor: Štěpánek, Petr, iný, a ďalší
• Unified theory for logical programming and semantic representation
  Autor: Mayoh, Brian H.
• The rewrite rule approach to combined logic and functional programming
  Autor: Goltz, H.-Joachim, a ďalší
• Propositional logic programming
  Autor: Tyugu, Enn H.