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

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

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

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

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

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

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

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

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/

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

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

Comparing negation in logic programming and in Prolog

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

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

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

Implicit and explicit negation in logic programming

Autoren: Jonker, C.M.

URL: http://hdl.handle.net/1874/27765
http://dspace.library.uu.nl/handle/1874/27765
Logic Group Preprint Series
91

Negation in Logic Programming

Autoren: J. C. Shepherdson

Quelle: Foundations of Deductive Databases and Logic Programming ISBN: 9780934613408

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

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/ftp/CWIreports/AP/CS-R9468.ps.Z.

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.9147

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.9147
http://www.cwi.nl/ftp/CWIreports/AP/CS-R9468.ps.Z

On Constructive Negation in Logic Programming

Autoren: Teodor Przymusinski The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Teodor Przymusinski The Pennsylvania State University CiteSeerX Archives

Quelle: ftp://ftp.cs.ucr.edu/pub/teodor/constneg.ps.gz

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.5163

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.5163

An Infinite-Game Semantics for Well-Founded Negation in Logic Programming

Autoren: Chrysida Galanaki Panos Rondogiannis William W. Wadge et al.

Weitere Verfasser: Chrysida Galanaki Panos Rondogiannis William W. Wadge et al.

Quelle: http://www.di.uoa.gr/~prondo/papers/game.pdf.

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.73; http://www.di.uoa.gr/~prondo/papers/game.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.73
http://www.di.uoa.gr/~prondo/papers/game.pdf

Strong equivalence of logic programs under the infinite-valued semantics

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

Quelle: Information Processing Letters. 109:576-581

Schlagwörter: formal semantics, strong equivalence, negation in logic programming, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Zugangs-URL: http://www.di.uoa.gr/~prondo/papers/strong-IPL.pdf
https://www.sciencedirect.com/science/article/pii/S0020019009000477
https://core.ac.uk/display/21077782
https://dblp.uni-trier.de/db/journals/ipl/ipl109.html#NomikosRW09
http://cgi.di.uoa.gr/~prondo/papers/strong-IPL.pdf
http://olympias.lib.uoi.gr/jspui/handle/123456789/11019
https://pergamos.lib.uoa.gr/uoa/dl/object/3064970