Výsledky vyhľadávania - 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…”
Získať 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…”
Získať plný text

The intricacies of three-valued extensional semantics for higher-order logic programs Autor 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…”
Získať 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…”
Získať 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ískať plný text

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

Získať plný text

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

“…Fuzzy linguistic logic programming (FLLP) is a framework for representation and reasoning with linguistically expressed human knowledge…”
Získať plný text

Strong equivalence of logic programs under the infinite-valued semantics Autor 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…”
Získať plný text

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation Autor 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…”
Získať 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 termination…”
Získať plný text

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

“…Fuzzy linguistic logic programming (FLLP) is a framework for representation and reasoning with linguistically expressed human knowledge…”
Získať plný text

Probabilistic Logic Programming with Well-Founded Negation Autor 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…”
Získať plný text

A necessary condition for Constructive Negation in Constraint Logic Programming Autor 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…”
Získať plný text

Syntax and semantics of multi-adjoint normal logic programming Autor 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…”
Získať plný text

Defeasible logic versus Logic Programming without Negation as Failure Autor 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…”
Získať 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ískať 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ískať plný text

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

“…Almost all constraint logic programming systems include negation, yet nowhere has a sound operational model for negation in CLP been discussed…”
Získať plný text

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

“…The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs…”
Získať 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ískať plný text