Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
отрицание
Связанные издания:
Abduction over 3-valued Extended Logic Programs
A Bottom-up Semantics for Constructive Negation
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
Adding Negation-as-Failure to Intuitionistic Logic Programming
A mixed Approach to Negation in General Datalog Programs
Characterization of Some Semantics for Logic Programs with Negation and Application to Program Validation
Compilative Constructive Negation in Constraint Logic Programs
Computing 3-valued Stable Models by using the ATMS
Conditional Narrowing with Constructive Negation
Construction of Belief Sets for Logic Programs and Default Theories
Constructive Negation Based on the Completed Database
Constructive Negation by Pruning and Optimization Higher-Order Predicates for CLP and CC Languages
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure
Deduced Relevant Types and Constractive Negation
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages
Effective Implementation of Negation in Database Logic Query Languages
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages
How to Incorporate Negation in a Prolog Compiler
Magic Sets and Bottom-Up Evaluation of Well-Founded Models
Negation as a Specializing Operator
Negation as Failure in Intuitionistic Logic Programming
Negative Logic Programs
On Constructive Negation for Disjunctive Logic Programs
On Logic Program Semantics with Two Kinds of Negation
On the Extension of Logic Programming with Negation through Uniform Proofs
Proof-theory for Extensions of Logic Programming
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter
Representing Actions in Extended Logic Programming
SLDNF, Constructive Negation and Grounding
What is Failure? An Approach to Cognitive Negation