Výsledky vyhledávání - "Negation in logic programming"

An infinite-game semantics for well-founded negation in logic programming Autor Galanaki, Chrysida, Rondogiannis, Panos, Wadge, William W.

“…We present an infinite-game characterization of the well-founded semantics for function-free logic programs with negation. Our game is a simple generalization…”
Získat plný text

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs Autor CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“…We define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of…”
Získat plný text

The intricacies of three-valued extensional semantics for higher-order logic programs Autor RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“…M. Bezem defined an extensional semantics for positive higher-order logic programs. Recently, it was demonstrated by Rondogiannis and Symeonidou that Bezem's…”
Získat plný text

The infinite-valued semantics: overview, recent results and future directions Autor Rondogiannis, Panos, Troumpoukis, Antonis

“…The infinite-valued semantics was introduced in Rondogiannis and Wadge (2005) as a purely logical way for capturing the meaning of well-founded negation in logic programming…”
Získat plný text

Strong equivalence of logic programs under the infinite-valued semantics Autor Nomikos, Christos, Rondogiannis, Panos, Wadge, William W.

“…We consider the notion of strong equivalence [V. Lifschitz, D. Pearce, A. Valverde, Strongly equivalent logic programs, ACM Transactions on Computational Logic…”
Získat plný text

Proving correctness and completeness of normal programs – a declarative approach Autor DRABENT, WŁODZIMIERZ, MIŁKOWSKA, MIROSŁAWA

“…We advocate a declarative approach to proving properties of logic programs. Total correctness can be separated into correctness, completeness and clean…”
Získat plný text

Logic programming with default, weak and strict negations Autor YAMASAKI, SUSUMU

“…This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic…”
Získat plný text

Logic programming with default, weak and strict negations Autor Yamasaki, Susumu

Získat plný text

A fixed point theorem for non-monotonic functions Autor Ésik, Zoltán, Rondogiannis, Panos

“… From the practical side, the theorem has direct applications in the semantics of negation in logic programming…”
Získat plný text

Truth versus information in logic programming Autor NAISH, LEE, SØNDERGAARD, HARALD

“… Journal of Logic Programming 2, 4, 295–312) and Kunen (Kunen, K. 1987. Negation in logic programming…”
Získat plný text

Well-founded semantics for Boolean grammars Autor Kountouriotis, Vassilis, Nomikos, Christos, Rondogiannis, Panos

“… The key idea of our proposal comes from the area of negation in logic programming, and in particular from the so-called well-founded semantics which is widely accepted in this area to be the “correct…”
Získat plný text

Epistemic foundation of stable model semantics Autor LOYER, YANN, STRACCIA, UMBERTO

“…Stable model semantics has become a very popular approach for the management of negation in logic programming…”
Získat plný text

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming Autor Alferes, José Júlio, Pereira, Luís Moniz, Przymusinski, Teodor C.

“…Gelfond and Lifschitz were the first to point out the need for a symmetric negation in logic programming and they also proposed a specific semantics for such negation for logic programs…”
Získat plný text

Failure and Equality in Functional Logic Programming Autor López-Fraguas, F.J., Sánchez-Hernández, J.

“…Constructive failure has been proposed recently as a programming construct useful for functional logic programming, playing a role similar to that of constructive negation in logic programming…”
Získat plný text

A Fixed Point Theorem for Non-Monotonic Functions Autor Ésik, Zoltán, Rondogiannis, Panos

“… From the practical side, the theorem has direct applications in the semantics of negation in logic programming…”
Získat plný text

Constructive Provability Logic Autor Simmons, Robert J, Toninho, Bernardo

“… In addition, we discuss the use of constructive provability logic to justify stratified negation in logic programming within an intuitionstic and structural proof theory…”
Získat plný text

Epistemic Foundation of Stable Model Semantics Autor Loyer, Y, Straccia, U

“…Stable model semantics has become a very popular approach for the management of negation in logic programming…”
Získat plný text

Analysis and application of Logic-based computation Autor Lee, Dae Yong

“… Various proposed declarative semantics for negation in logic programming and deductive databases are discussed and analyzed…”
Získat plný text

What is failure? or: constructive negation by fail answers Autor Drabent, W.

“…A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer substitutions to negated queries…”
Získat plný text