Search Results - "Semantics of logic programming"

Dualities between alternative semantics for logic programming and nonmonotonic reasoning

Authors: V. S. Subrahmanian Chitta Baral

Source: Journal of Automated Reasoning. 10:399-420

Subject Terms: Hoare's power domain ordering, stable class semantics, Smyth's power-domain ordering, Semantics in the theory of computing, default theories, 16. Peace & justice, Logic programming, semantics for logic programming with nonmonotonic modes of negation, well-founded semantics

File Description: application/xml

Access URL: https://zbmath.org/484772
https://doi.org/10.1007/bf00881799
https://dblp.uni-trier.de/db/journals/jar/jar10.html#BaralS93
https://asu.pure.elsevier.com/en/publications/dualities-between-alternative-semantics-for-logic-programming-and
https://link.springer.com/article/10.1007/BF00881799

A Coalgebraic Approach to Unification Semantics of Logic Programming

Authors: Bruni R. Montanari U. Mossa G.

Source: Lecture Notes in Computer Science ISBN: 9783030311742

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

File Description: application/pdf

Access URL: https://arpi.unipi.it/bitstream/11568/1029374/1/main.pdf
https://link.springer.com/chapter/10.1007%2F978-3-030-31175-9_13
https://arpi.unipi.it/handle/11568/1029374
https://dblp.uni-trier.de/db/conf/birthday/palamidessi2019.html#BruniMM19
https://link.springer.com/chapter/10.1007/978-3-030-31175-9_13
https://doi.org/10.1007/978-3-030-31175-9_13
https://hdl.handle.net/11568/1029374

Category Theoretic Semantics for Logic Programming:Laxness and Saturation

Authors: Power, Anthony

Source: Power, A 2017, ' Category Theoretic Semantics for Logic Programming : Laxness and Saturation ' Paper presented at Workshop on Coalgbera, Horn Clause Logic Programming and Types, Edinburgh, UK United Kingdom, 28/11/16-29/11/16, .

Subject Terms: saturation, laxness, 0102 computer and information sciences, 01 natural sciences, Lawvere theories, right Kan extension

File Description: application/pdf

Access URL: https://purehost.bath.ac.uk/ws/files/147818824/laxandsat.pdf

On Greatest Fixpoint Semantics of Logic Programming: On greatest fixpoint semantics of logic programming

Authors: Jaume, Mathieu Publications, Lip6

Contributors: Jaume, Mathieu Publications, Lip6

Source: Journal of Logic and Computation. 12:321-342

Subject Terms: SLD-derivations, co-inductive definitions, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, fixpoint semantics, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Logic programming, 01 natural sciences

File Description: application/xml

Access URL: https://hal.science/hal-01195857v1
https://doi.org/10.1093/logcom/12.2.321
https://zbmath.org/1775131
https://doi.org/10.1093/logcom/12.2.321
https://academic.oup.com/logcom/article-lookup/doi/10.1093/logcom/12.2.321
https://hal.archives-ouvertes.fr/hal-01195857
http://academic.oup.com/logcom/article-abstract/12/2/321/1032006
https://academic.oup.com/logcom/article-abstract/12/2/321/1032006
https://dblp.uni-trier.de/db/journals/logcom/logcom12.html#Jaume02

Studying Ideal Semantics via Logic Programming Semantics

Authors: Juan Carlos Nieves Mauricio Osorio

Source: 2011 10th Mexican International Conference on Artificial Intelligence. :3-8

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

Access URL: http://www8.cs.umu.se/%7Ejcnieves/JCNieves-Publications/Conference/MICAI2011.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006118990
https://ieeexplore.ieee.org/document/6118990/

S-semantics for logic programming: A retrospective look

Authors: Annalisa Bossi

Source: Theoretical Computer Science. 410:4692-4703

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Semantics, Theoretical Computer Science, Computer Science(all)

An interactive semantics of logic programming

Authors: BRUNI, ROBERTO MONTANARI, UGO GIOVANNI ERASMO ROSSI F.

Source: Theory and Practice of Logic Programming. 1:647-690

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.1.6, D.3.2, Semantics in the theory of computing, D.3.3, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Logic in Computer Science (cs.LO), tile decomposition property, 0202 electrical engineering, electronic engineering, information engineering, F.3.2, Tile logic, logic programming, Open systems, Programming Languages (cs.PL)

File Description: application/xml

Access URL: http://arxiv.org/abs/cs/0107022
https://zbmath.org/2048622
https://doi.org/10.1017/s1471068401000035
https://arxiv.org/abs/cs/0107022
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/an-interactive-semantics-of-logic-programming/8918A2B1459D84DFACEC8FD99E3A367D
https://arpi.unipi.it/handle/11568/177203
https://ui.adsabs.harvard.edu/abs/2001cs........7022B/abstract
https://www.research.unipd.it/handle/11577/1366384
https://dblp.uni-trier.de/db/journals/corr/corr0107.html#cs-LO-0107022
https://hdl.handle.net/11577/1366384

Fixpoint semantics for logic programming a survey

Authors: Melvin Fitting

Source: Theoretical Computer Science. 278:25-51

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, logic programs, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

File Description: application/xml

Access URL: https://zbmath.org/1768074
https://doi.org/10.1016/s0304-3975(00)00330-3

A casual semantics for Logic Programming

Thesis Advisors: Cabalar Fernández, José Pedro, Universidade da Coruña. Departamento de Computación|

Subject Terms: Lenguajes de programación-Semántica, Programación lógica, Inteligencia artificial

Access URL: http://hdl.handle.net/2183/14935

A casual semantics for Logic Programming

Authors: Fandiño García, Jorge

Thesis Advisors: Cabalar Fernández, José Pedro, Universidade da Coruña. Departamento de Computación|

Subject Terms: Lenguajes de programación-Semántica, Programación lógica, Inteligencia artificial

Access URL: http://hdl.handle.net/2183/14935

Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301

Authors: Melvin Fitting

Source: Journal of Symbolic Logic. 57:274-277

Subject Terms: 0101 mathematics, 01 natural sciences

Implementing denotational semantics with logic programming

Authors: Ken Slonneger

Source: Proceedings of the 1992 ACM annual conference on Communications - CSC '92. :337-344

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dl.acm.org/doi/10.1145/131214.131257
https://doi.org/10.1145/131214.131257
https://dblp.uni-trier.de/db/conf/acm/csc92.html#Slonneger92
http://portal.acm.org/citation.cfm?doid=131214.131257

Bilattices and the semantics of logic programming

Authors: Melvin Fitting

Source: The Journal of Logic Programming. 11:91-116

Subject Terms: fix-point semantics, Logic, Many-valued logic, bilattices, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Belnap four-valued logic, 16. Peace & justice, Logic programming, 01 natural sciences, Logical aspects of lattices and related structures

File Description: application/xml

Access URL: https://zbmath.org/25322
https://doi.org/10.1016/0743-1066(91)90014-g

Bialgebraic Semantics for Logic Programming

Authors: Bonchi, Filippo Zanasi, Fabio

Index Terms: Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/1502.06095

Bialgebraic Semantics for Logic Programming

Authors: Filippo Bonchi Fabio Zanasi

Source: Logical Methods in Computer Science, Vol 11, Issue 1 (2015)

Subject Terms: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/1155/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/4fbf0655b7a3490886ff069b7b42f01b

Extension-based argumentation semantics via logic programming semantics with negation as failure

Authors: Nieves Sánchez, Juan Carlos Gómez Sebastià, Ignasi Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics et al.

Contributors: Nieves Sánchez, Juan Carlos Gómez Sebastià, Ignasi Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics et al.

Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: Programació lògica, Sistemes multiagent (Informàtica), Multiagent systems, Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial, Informàtica::Intel·ligència artificial [Àrees temàtiques de la UPC], Logic programming (Computer science)

File Description: application/pdf

Access URL: http://hdl.handle.net/2117/14243
https://hdl.handle.net/2117/14243

Extending the Grounded Semantics by Logic Programming Semantics

Authors: null Nieves Juan Carlos null Osorio Mauricio null Cortés Ulises

Incorporating Inductions and Game Semantics into Logic Programming

Authors: Kwon, Keehang

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/1508.01927

Combining Fixed-Point Definitions and Game Semantics in Logic Programming

Authors: Kwon, Keehang

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/1507.07228

Theoretical Foundations and Semantics of Logic Programming

Authors: Bossi Annalisa MEO, MARIA CHIARA

Source: Lecture Notes in Computer Science ISBN: 9783642143083

Access URL: https://dblp.uni-trier.de/db/conf/agp/gulp2010.html#BossiM10
https://link.springer.com/chapter/10.1007/978-3-642-14309-0_2
https://link.springer.com/content/pdf/10.1007%2F978-3-642-14309-0_2.pdf
https://rd.springer.com/chapter/10.1007%2F978-3-642-14309-0_2
https://hdl.handle.net/11564/176140