Search Results - Negation in Logic Programming

An infinite-game semantics for well-founded negation in logic programming

Authors: Galanaki, C. Rondogiannis, P. Wadge, W.W.

Source: Annals of Pure and Applied Logic. 151:70-88

Subject Terms: Logic, Semantics of logic programming, Negation in logic programming, Infinite games, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Access URL: https://pergamos.lib.uoa.gr/uoa/dl/object/3065107

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic

Authors: Alexander V. Gheorghiu David J. Pym

Source: Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 239-266 (2023)

Subject Terms: logic programming, proof-theoretic semantics, bilateralism, negationas-failure, Logic, BC1-199

File Description: electronic resource

Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14153; https://doaj.org/toc/0138-0680; https://doaj.org/toc/2449-836X

Access URL: https://doaj.org/article/e5f5ca43b33a4dfeab0075c8ab70d229

Logic programming with default, weak and strict negations

Authors: Yamasaki, Susumu

Source: Theory and Practice of Logic Programming. 6:737-749

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, negation in logic programming, 3-valued logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), 0202 electrical engineering, electronic engineering, information engineering, F.3.2, F.4.1

Access URL: http://arxiv.org/pdf/cs/0511041
http://arxiv.org/abs/cs/0511041
https://ousar.lib.okayama-u.ac.jp/30031
https://dblp.uni-trier.de/db/journals/tplp/tplp6.html#Yamasaki06
https://ci.nii.ac.jp/naid/120002305054
https://arxiv.org/abs/cs/0511041
https://ousar.lib.okayama-u.ac.jp/files/public/3/30031/20160528021745218933/fulltext.pdf
https://arxiv.org/pdf/cs/0511041v1

Extending Fuzzy Linguistic Logic Programming with Negation †

Authors: Van Hung Le

Source: Mathematics, Vol 10, Iss 17, p 3105 (2022)

Subject Terms: fuzzy logic programming, stable model semantics, well-founded semantics, linguistic truth value, hedge algebra, linguistic hedge, Mathematics, QA1-939

File Description: electronic resource

Relation: https://www.mdpi.com/2227-7390/10/17/3105; https://doaj.org/toc/2227-7390

Access URL: https://doaj.org/article/c501fdcd1ac44f70813aeee3b63458fd

A Modal Semantics of Negation in Logic Programming: A modal semantics of negation in logic programming

Authors: Balbiani, Philippe Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) et al.

Contributors: Balbiani, Philippe Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) et al.

Source: Fundamenta Informaticae. 16:231-262

Subject Terms: Semantics in the theory of computing, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], provability, semantics of logic programming with negation, 0102 computer and information sciences, 16. Peace & justice, Logic programming, Modal logic (including the logic of norms), 01 natural sciences

File Description: application/xml

Access URL: https://zbmath.org/92602
https://content.iospress.com/articles/fundamenta-informaticae/fi16-3-4-03
https://dblp.uni-trier.de/db/journals/fuin/fuin16.html#Balbiani92

A transformational approach to negation in logic programming

Authors: BARBUTI, ROBERTO MANCARELLA, PAOLO MARIA PEDRESCHI, DINO et al.

Source: The Journal of Logic Programming. 8:201-228

Subject Terms: SLDN refutation, Logic, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, soundness, Logic programming, 01 natural sciences, logic programming, completeness, negative information, 0202 electrical engineering, electronic engineering, information engineering, negation as failure, Theorem proving (deduction, resolution, etc.)

File Description: application/xml

Access URL: https://zbmath.org/5520
https://doi.org/10.1016/0743-1066(90)90023-x
https://www.sciencedirect.com/science/article/pii/074310669090023X
https://dblp.uni-trier.de/db/journals/jlp/jlp8.html#BarbutiMPT90
https://arpi.unipi.it/handle/11568/173361
https://doi.org/10.1016/0743-1066(90)90023-X

Negation in logic programming

Authors: Kenneth Kunen

Source: The Journal of Logic Programming. 4:289-308

Subject Terms: Specification and verification (program logics, model checking, etc.), PROLOG, Logic, decidability, 0102 computer and information sciences, 02 engineering and technology, interpreters, 01 natural sciences, equational theory, logic programming, quantifier elimination, negation, 0202 electrical engineering, electronic engineering, information engineering, 3-valued semantics, Abstract data types, algebraic specification, Theorem proving (deduction, resolution, etc.)

File Description: application/xml

Access URL: http://www.sciencedirect.com/science/article/pii/0743106687900070
https://core.ac.uk/display/82258225
https://www.sciencedirect.com/science/article/pii/0743106687900070
https://dblp.uni-trier.de/db/journals/jlp/jlp4.html#Kunen87

On quantitative measurement of negation in logic programming

Authors: Howard C. Wasserman Keitaro Yukawa Zhizhang Shen

Source: Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96. :58-62

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0101 mathematics, 01 natural sciences

Access URL: https://dl.acm.org/doi/10.1145/331119.331145
https://dblp.uni-trier.de/db/conf/sac/sac1996.html#WassermanYS96

Not is Not 'Not' Comparisons of Negation in SQL and Negation in Logic Programming

Authors: James D. Jones

Source: Intelligent Support Systems Technology ISBN: 9781931777001

An infinite-game semantics for well-founded negation in logic programming

Authors: Galanaki, C. Rondogiannis, P. Wadge, W.W.

Index Terms: scientific_publication_article, Scientific publication - Journal Article

URL: https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3065107

Logic programming with default weak and strict negations.

Authors: Yamasaki, Susumu

Index Terms: negation in logic programming, 3-valued logic, Journal Article., NA.

URL: https://ousar.lib.okayama-u.ac.jp/30031
https://doi.org/10.1017/S1471068406002791
https://ousar.lib.okayama-u.ac.jp/files/public/3/30031/20160528021745218933/fulltext.pdf

Modal Logic and Negation as Failure

Authors: Balbiani, Philippe Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) et al.

Contributors: Balbiani, Philippe Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) et al.

Source: Journal of Logic and Computation. 1:331-356

Subject Terms: foundations of logic programming, modal systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], negation as failure, 16. Peace & justice, declarative semantics

Access URL: https://dblp.uni-trier.de/db/journals/logcom/logcom1.html#Balbiani91
https://academic.oup.com/logcom/article/1/3/331/1036723

From Here to There: Stable Negation in Logic Programming

Authors: David Pearce

Source: Applied Logic Series ISBN: 9789048151691

Access URL: https://link.springer.com/chapter/10.1007/978-94-015-9309-0_8
https://rd.springer.com/chapter/10.1007/978-94-015-9309-0_8
https://link.springer.com/content/pdf/10.1007%2F978-94-015-9309-0_8.pdf

Logic Programming with Default, Weak and Strict Negations

Authors: Susumu Yamasaki The Pennsylvania State University CiteSeerX Archives

Contributors: Susumu Yamasaki The Pennsylvania State University CiteSeerX Archives

Source: http://arxiv.org/pdf/cs/0511041v1.pdf.

Subject Terms: Negation in logic programming, 3-valued logic

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7031; http://arxiv.org/pdf/cs/0511041v1.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7031
http://arxiv.org/pdf/cs/0511041v1.pdf

Negation in logic programming: A formalization in constructive logic

Authors: François Bry

Source: Lecture Notes in Computer Science ISBN: 9783540535577

Access URL: https://link.springer.com/chapter/10.1007%2F3-540-53557-8_20
https://rd.springer.com/chapter/10.1007/3-540-53557-8_20
https://link.springer.com/content/pdf/10.1007/3-540-53557-8_20.pdf
https://dblp.uni-trier.de/db/conf/iski/iski90.html#Bry90
https://epub.ub.uni-muenchen.de/8505/1/8505.pdf

Comparing negation in logic programming and in Prolog

Authors: Apt, K.R. (Krzysztof) Teusink, F. J. M. (Frank)

Index Terms: info:eu-repo/semantics/other

URL: http://ir.cwi.nl/pub/5076

Comparing negation in logic programming and in Prolog

Authors: Apt, K.R. Teusink, F. Turini, F.

Contributors: Apt, K.R. Teusink, F. Turini, F.

Access URL: https://dare.uva.nl/personal/pure/en/publications/comparing-negation-in-logic-programming-and-in-prolog(0c27171e-64a3-4970-a4b0-d9a2d260f7bc).html
https://hdl.handle.net/11245/1.117758

Comparing Negation in Logic Programming and in Prolog

Authors: Krzysztof R. Apt Frank Teusink The Pennsylvania State University CiteSeerX Archives

Contributors: Krzysztof R. Apt Frank Teusink The Pennsylvania State University CiteSeerX Archives

Source: http://www.cwi.nl/~apt/at.ps.Z.

Subject Terms: Meta-variables, negation, logic programming, Prolog

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.9432; http://www.cwi.nl/~apt/at.ps.Z

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.9432
http://www.cwi.nl/~apt/at.ps.Z

Negation in Logic Programming

Authors: Bry, François

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://epub.ub.uni-muenchen.de/8505/

Default negation as explicit negation plus update

Authors: Kahle, Reinhard CMA - Centro de Matemática e Aplicações

Contributors: Kahle, Reinhard CMA - Centro de Matemática e Aplicações

Subject Terms: Default Negation, Explicit Negation, Logic Programming Update, Philosophy, Logic

Relation: PURE: 35844490; Scopus: 85121128102; http://hdl.handle.net/10362/131327

Availability: http://hdl.handle.net/10362/131327
https://doi.org/10.21146/2074-1472-2021-27-1-64-81