Suchergebnisse - Negation in logic programming

An infinite-game semantics for well-founded negation in logic programming von 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 …”
Volltext

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

“… We define a novel, extensional, three-valued semantics for higher-order logic programs with negation …”
Volltext

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

“… Recently, it was demonstrated by Rondogiannis and Symeonidou that Bezem's technique can be extended to higher-order logic programs with negation, retaining its extensional properties, provided …”
Volltext

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

“… This paper looks at logic programming with three kinds of negation: default, weak and strict negations …”
Volltext

The infinite-valued semantics: overview, recent results and future directions von 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 …”
Volltext

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

Volltext

Extending Fuzzy Linguistic Logic Programming with Negation von Le, Van Hung

“… Fuzzy linguistic logic programming (FLLP) is a framework for representation and reasoning with linguistically expressed human knowledge …”
Volltext

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

“… ] of normal propositional logic programs under the infinite-valued semantics [P. Rondogiannis, W.W. Wadge, Minimum model semantics for logic programs with negation-as-failure, ACM Transactions on Computational Logic 6 …”
Volltext

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation von CHARALAMBIDIS, ANGELOS, ÉSIK, ZOLTÁN, RONDOGIANNIS, PANOS

“… In this way we obtain the first purely model-theoretic semantics for negation in extensional higher-order logic programming …”
Volltext

Proving correctness and completeness of normal programs – a declarative approach von 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 termination …”
Volltext

Extending Fuzzy Linguistic Logic Programming with Negation xref rid="fn1-mathematics-1837411" ref-type="fn">† /xref von Van Hung Le

“… Fuzzy linguistic logic programming (FLLP) is a framework for representation and reasoning with linguistically expressed human knowledge …”
Volltext

Probabilistic Logic Programming with Well-Founded Negation von Hadjichristodoulou, S., Warren, D. S.

“… However, well-founded semantics is a widely accepted three-valued-logic negation semantics scheme, which is implemented in certain Logic Programming frameworks …”
Volltext

A necessary condition for Constructive Negation in Constraint Logic Programming von Dovier, Agostino, Pontelli, Enrico, Rossi, Gianfranco

“… Stuckey (1995) has presented a sound and complete procedure for Constructive Negation in Constraint Logic Programming, together with a sufficient condition, called admissible closure, which guarantees an effective implementation …”
Volltext

Syntax and semantics of multi-adjoint normal logic programming von Cornejo, M. Eugenia, Lobo, David, Medina, Jesús

“… This paper introduces multi-adjoint normal logic programming, which is an extension of multi-adjoint logic programming including a negation operator in the underlying lattice …”
Volltext

Defeasible logic versus Logic Programming without Negation as Failure von Antoniou, G., Maher, M.J., Billington, D.

“… Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language …”
Volltext

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming von 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 …”
Volltext

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

“… Journal of Logic Programming 2, 4, 295–312) and Kunen (Kunen, K. 1987. Negation in logic programming …”
Volltext

Negation and Constraint Logic Programming von Stuckey, P.J.

“… Almost all constraint logic programming systems include negation, yet nowhere has a sound operational model for negation in CLP been discussed …”
Volltext

On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head von Rapberger, Anna, Ulbricht, Markus, Toni, Francesca

“… The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs …”
Volltext

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

“… From the practical side, the theorem has direct applications in the semantics of negation in logic programming …”
Volltext