Category:LNCS 1050

From BibNetWiki

Lecture Notes in Computer Science, Volume 1050

Articles in category "LNCS 1050"

There are 21 articles in this category.

A A Declarative Semantics for the Prolog Cut Operator (Invited paper) A Definitional Approach to Functional Logic Programming A Fibrational Semantics for Logic Programs A Logic Language Based on GAMMA-like Multiset Rewriting A New Framework for Declarative Programming: Categorical Perspectives (Invited paper) A Significant Extension of Logic Programming by Adapting Model Building Rules An Abstract Machine for Reasoning about Situations, Actions, and Causality

D Default Negated Conclusions: why not? E Efficient Resource Management for Linear Logic Proof Search Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages H Handling Equality in Logic Programming via Basic Folding Higher Order Babel: Language and Implementation O On the Computational Complexity of Propositional Logic Programs with Nested Implications P Proof-theory for Extensions of Logic Programming Pruning the Search Space of Logic Programs

S Semantics of Constraint Logic Programs with Bounded Quantifiers Some Postulates for Nonmonotonic Theory Revision Applied to Logic Programming Soundness and Completeness of Non-classical Extended SLD-resolution Super Logic Programs and Negation as Belief (Invited paper) T Total Correctness of Logic Programs: A Formal Approach Translating a Modal Language with Embedded Implication into Horn Clause Logic