Suchergebnisse - Negation in logic programming

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

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

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

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

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

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

Autoren: Alexander V. Gheorghiu David J. Pym

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

Schlagwörter: logic programming, proof-theoretic semantics, bilateralism, negationas-failure, Logic, BC1-199

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/e5f5ca43b33a4dfeab0075c8ab70d229

Logic programming with default, weak and strict negations

Autoren: Yamasaki, Susumu

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

Schlagwörter: 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

Zugangs-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 †

Autoren: Van Hung Le

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

Schlagwörter: fuzzy logic programming, stable model semantics, well-founded semantics, linguistic truth value, hedge algebra, linguistic hedge, Mathematics, QA1-939

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/c501fdcd1ac44f70813aeee3b63458fd

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

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

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

Quelle: Fundamenta Informaticae. 16:231-262

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

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

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

Schlagwörter: 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.)

Dateibeschreibung: application/xml

Zugangs-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

Autoren: Kenneth Kunen

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

Schlagwörter: 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.)

Dateibeschreibung: application/xml

Zugangs-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

Autoren: Howard C. Wasserman Keitaro Yukawa Zhizhang Shen

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0101 mathematics, 01 natural sciences

Zugangs-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

Autoren: James D. Jones

Quelle: Intelligent Support Systems Technology ISBN: 9781931777001

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

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

Index Begriffe: 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.

Autoren: Yamasaki, Susumu

Index Begriffe: 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

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

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

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

Schlagwörter: 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

Zugangs-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

Autoren: David Pearce

Quelle: Applied Logic Series ISBN: 9789048151691

Zugangs-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

Autoren: Susumu Yamasaki The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Susumu Yamasaki The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Negation in logic programming, 3-valued logic

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: François Bry

Quelle: Lecture Notes in Computer Science ISBN: 9783540535577

Zugangs-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

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

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

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

Comparing negation in logic programming and in Prolog

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

Weitere Verfasser: Apt, K.R. Teusink, F. Turini, F.

Zugangs-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

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

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

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

Schlagwörter: Meta-variables, negation, logic programming, Prolog

Dateibeschreibung: application/postscript

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

Verfügbarkeit: 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

Autoren: Bry, François

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

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

Default negation as explicit negation plus update

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

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

Schlagwörter: Default Negation, Explicit Negation, Logic Programming Update, Philosophy, Logic

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

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