Výsledky vyhľadávania - "Negation in logic programming"
-
1
Autori:
Zdroj: Information Processing Letters. 109:576-581
Predmety: formal semantics, strong equivalence, negation in logic programming, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences
Prístupová URL adresa: 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 -
2
Autori:
Zdroj: Annals of Pure and Applied Logic. 151:70-88
Predmety: Logic, Semantics of logic programming, Negation in logic programming, Infinite games, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences
Prístupová URL adresa: https://pergamos.lib.uoa.gr/uoa/dl/object/3065107
-
3
Autori: Yamasaki, Susumu
Zdroj: Theory and Practice of Logic Programming. 6:737-749
Predmety: 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
Prístupová URL adresa: 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 -
4
Autori: a ďalší
Prispievatelia: a ďalší
Popis súboru: application/pdf
Relation: Is Part Of Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008); https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.5
-
5
Autori: Mark Wallace
Zdroj: The Journal of Logic Programming. 15:243-273
Predmety: Logic, Semantics in the theory of computing, Clark's program completion, 0202 electrical engineering, electronic engineering, information engineering, negation in logic programming, first-order semantics for logic programs, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences
Popis súboru: application/xml
Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/jlp/jlp15.html#Wallace93
https://doi.org/10.1016/0743-1066(93)90041-E
https://www.sciencedirect.com/science/article/pii/074310669390041E
https://research.monash.edu/en/publications/tight-consistent-and-computable-completions-for-unrestricted-logi
http://www.sciencedirect.com/science/article/pii/074310669390041E -
6
Autori:
Prispievatelia:
Predmety: declarative programming, negation in logic programming, specications, program correctness and completeness, teaching logic programming
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.5955; http://www.ipipan.waw.pl/~drabent/DrabentMilkowska.2002.ps.gz
-
7
Autori:
Prispievatelia:
Predmety: Negation in logic programming, 3-valued logic
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7031; http://arxiv.org/pdf/cs/0511041v1.pdf
-
8
Autori:
Zdroj: Procredings. of the AGP'2000 Joint Conference on Declarative Programming | AGP'2000 Joint Conference on Declarative Programming | 4-7 December, 2000 | La Habana, Cuba
Archivo Digital UPM
instnamePredmety: Informática, Interpretación de resúmenes, Constraint Logic Programming, Implementaciones de programación lógica, Análisis de programas, Program analysis, Negation in Logic Programming, Abstract interpretation, Programación lógica restringida, Negación en programación lógica, Implementations of logic Programming
Popis súboru: application/pdf
Prístupová URL adresa: https://oa.upm.es/14619/
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://lml.ls.fi.upm.es/~jjmoreno/jjpapers/imp-negation.ps.
Predmety: Negation in Logic Programming, Constraint Logic Programming, Program Analysis, Implementations of Logic Programming, Abstract Interpretation
Popis súboru: application/postscript
-
10
Autori: Yamasaki, Susumu
Zdroj: Theory and Practice of Logic Programming
Predmety: negation in logic programming, 3-valued logic
-
11
Autori:
Zdroj: Theory and Practice of Logic Programming. 5(6):669-711
Predmety: Declarative programming, Negation in logic programming, Program correctness and completeness, Specifications, Teaching logic programming, Termination, TECHNOLOGY, TEKNIKVETENSKAP
Popis súboru: print
Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-50388
-
12
Autori:
Prispievatelia:
Predmety: Routley semantics, negation as modality, negation in logic programming, algebraic semantics
Popis súboru: application/pdf
-
13
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://clip.dia.fi.upm.es/papers/negation-gulp.pdf.
Predmety: Negation in Logic Programming, Constraint Logic Programming, Program Analysis, Implementations of Logic Programming, Abstract Interpretation
Popis súboru: application/pdf
Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4564
http://clip.dia.fi.upm.es/papers/negation-gulp.pdf -
14
Autori:
Predmety: Λογικός προγραμματισμός ανώτερης τάξης, Άρνηση στον λογικό προγραμματισμό, Εκτατική σημασιολογία, Higher-order logic programming, Negation in logic programming, Extensional semantics, Φυσικές Επιστήμες, Επιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική, Natural Sciences, Computer and Information Sciences
Relation: https://hdl.handle.net/10442/hedi/44199
-
15
Full Text Finder 
Nájsť tento článok vo Web of Science