Search Results - Negation in logic programming

An infinite-game semantics for well-founded negation in logic programming by 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…”
Get full text

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

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

The intricacies of three-valued extensional semantics for higher-order logic programs by 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…”
Get full text

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

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

The infinite-valued semantics: overview, recent results and future directions by 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…”
Get full text

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

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

Strong equivalence of logic programs under the infinite-valued semantics by 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…”
Get full text

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation by 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…”
Get full text

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

Get full text

Proving correctness and completeness of normal programs – a declarative approach by 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…”
Get full text

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

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

Probabilistic Logic Programming with Well-Founded Negation by 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…”
Get full text

A necessary condition for Constructive Negation in Constraint Logic Programming by 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…”
Get full text

Syntax and semantics of multi-adjoint normal logic programming by 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…”
Get full text

Defeasible logic versus Logic Programming without Negation as Failure by 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…”
Get full text

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming by 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…”
Get full text

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

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

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

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

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

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

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

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