A semantics for Hybrid Probabilistic Logic programs with function symbols

, &
Artificial Intelligence 294 (C):103452 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103452

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113-138.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
From worlds to probabilities: A probabilistic semantics for modal logic.Charles B. Cross - 1993 - Journal of Philosophical Logic 22 (2):169 - 192.
An Absolute Probabilistic Semantics for Free Logic with Identity.Lisa Anne O'neill - 1998 - Dissertation, Temple University
Extended semantics and inference for the Independent Choice Logic.Fabrizio Riguzzi - 2009 - Logic Journal of the IGPL 17 (6):589-629.
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.
Exposing the Causal Structure of Processes by Learning CP-Logic Programs.Hendrik Blockeel - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 2--2.
An alternative linear semantics for allowed logic programs.John Jeavons - 1997 - Annals of Pure and Applied Logic 84 (1):3-16.
Probabilistic Semantics, Identity and Belief.William Seager - 1983 - Canadian Journal of Philosophy 13 (3):353 - 364.
Probabilistic Semantics for a Discussive Temporal Logic.Carlo Proietti & Roberto Ciuni - forthcoming - The Logica Yearbook.
Hybrid logic meets if modal logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.
The Refined Extension Principle for Semantics of Dynamic Logic Programming.José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown

Analytics

Added to PP
2021-01-13

Downloads
20 (#754,879)

6 months
8 (#347,703)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.

Add more references