Category:LNCS 1050
From BibNetWiki
Jump to:
navigation
,
search
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
Category
:
LNCS
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related