Searching for "Logic Frameworks for Logic Programs." – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Logic Frameworks for Logic Programs
- …Logic Frameworks for Logic Programs ? David A. Basin Max-Planck-Institut fur Informatik…
- Cited by 12 (7 self) – Add To MetaCart
-
Proceedings Of The First Workshop On Logical Frameworks
- … of Linear Logic, providing a simple framework for distributed computing, where programs are like logics…
- Add To MetaCart
-
Elf: A Language for Logic Definition and Verified Metaprogramming
- … the style of LF, the Edinburgh Logical Framework) with logic programming (in the style of Prolog…
- Cited by 68 (8 self) – Add To MetaCart
-
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
- … programming, logical frameworks, logic programming, and natural language parsing. 1 Introduction Linear logic…
- Cited by 24 (14 self) – Add To MetaCart
-
A Linear Spine Calculus
- … #-conversions at run time. Applications lie in proof search, logic programming, and logical frameworks based…
- Cited by 19 (4 self) – Add To MetaCart
-
Linear Higher-Order Pre-Unification
- … (?). Applications lie in proof search, logic programming, and logical frameworks based on linear type theories. We…
- Cited by 11 (5 self) – Add To MetaCart
-
Non-monotonic Extensions of Logic Programming: Theory, Implementation and Applications
- … logical framework for Logic Programming based on a four-valued inference. The formalism employs Belnap…
- Add To MetaCart
-
Computing Preferred Safe Beliefs
- … that is used to provide a logical framework for logic programming and nonmonotonic reasoning. 2.1 Propositional…
- Add To MetaCart
-
Natural Deduction for Intuitionistic Non-Commutative Linear Logic
- … framework and logic programming language along the lines of Lolli [HM94] and linear LF [CP96]. In related…
- Cited by 29 (13 self) – Add To MetaCart
-
Horn Logic Denotations and Their Applications
- … order functions, which do not fit logically in the framework of logic programming. However, it should…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
