Výsledky vyhledávání - "Foundations of Logic Programming"

A Theoretical Perspective of Coinductive Logic Programming

Autoři: ANCONA, DAVIDE Dovier, Agostino

Zdroj: Fundamenta Informaticae. 140:221-246

Témata: 2. Zero hunger, Coinduction, Denotational Semantics, Foundations of Logic Programming, Information Systems, Computational Theory and Mathematics, Theoretical Computer Science, Algebra and Number Theory, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://www.infona.pl/resource/bwmeta1.element.baztech-c645d091-78a1-438c-a68c-9297aa99a34c
https://iris.unige.it/handle/11567/824554?mode=full.1
https://content.iospress.com/articles/fundamenta-informaticae/fi1252
https://dblp.uni-trier.de/db/journals/fuin/fuin140.html#AnconaD15
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-c645d091-78a1-438c-a68c-9297aa99a34c
https://www.dimi.uniud.it/dovier/PAPERS/FUIN15rid.pdf
https://hdl.handle.net/11390/1070102
https://doi.org/10.3233/FI-2015-1252
https://hdl.handle.net/11567/824554
https://doi.org/10.3233/FI-2015-1252

A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion

Autoři: Alexander Bochman

Zdroj: The Journal of Logic Programming. 35:151-170

Témata: Semantics for logic programs, logic programming, Logic, Nonmonotonic reasoning, 0202 electrical engineering, electronic engineering, information engineering, Negation as failure, 0102 computer and information sciences, 02 engineering and technology, Foundations of logic programming, Logic programming, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1205558
https://doi.org/10.1016/s0743-1066(97)10005-x
https://www.sciencedirect.com/science/article/pii/S074310669710005X
http://www.sciencedirect.com/science/article/pii/S074310669710005X
https://dblp.uni-trier.de/db/journals/jlp/jlp35.html#Bochman98

A logical foundation for logic programming II: Semantics of general logic programs: A logical foundation for logic programming. II: Semantics of general logic programs

Autoři: Alexander Bochman

Zdroj: The Journal of Logic Programming. 35:171-194

Témata: Semantics for logic programs, logic programming, Logic, Nonmonotonic reasoning, 0202 electrical engineering, electronic engineering, information engineering, Negation as failure, 0102 computer and information sciences, 02 engineering and technology, Foundations of logic programming, Logic programming, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1205559
https://doi.org/10.1016/s0743-1066(97)10006-1
https://dblp.uni-trier.de/db/journals/jlp/jlp35.html#Bochman98a
https://www.sciencedirect.com/science/article/pii/S0743106697100061
https://doi.org/10.1016/S0743-1066(97)10006-1
https://www.sciencedirect.com/science/article/pii/S0743106697100061#!
https://www.sciencedirect.com/science/article/abs/pii/S0743106697100061

Modal Logic and Negation as Failure

Autoři: Balbiani, Philippe Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) a další

Přispěvatelé: Balbiani, Philippe Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) a další

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

Témata: 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

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/logcom/logcom1.html#Balbiani91
https://academic.oup.com/logcom/article/1/3/331/1036723

True Equality Constraints Over An Open Universe Of Terms

Autoři: Jan A. Plaza The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jan A. Plaza The Pennsylvania State University CiteSeerX Archives

Zdroj: http://faculty.plattsburgh.edu/jan.plaza/research/lp/papers/06A-equality.ps.

Témata: Area, Foundations of Logic Programming. Keywords, constraint logic programming, Herbrand models, equality, completeness, decidability

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7116
http://faculty.plattsburgh.edu/jan.plaza/research/lp/papers/06A-equality.ps