A new probabilistic constraint logic programming language based on a generalised distribution semantics

, , &
Artificial Intelligence 228 (C):1-44 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.06.008

Links

PhilArchive



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

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

Category-based Semantics for Equational and Constraint Logic Programming.Răzvan Diaconescu - 1994
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.
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : Selected Papers.B. O'sullivan - 2003
Extended semantics and inference for the Independent Choice Logic.Fabrizio Riguzzi - 2009 - Logic Journal of the IGPL 17 (6):589-629.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budapest, Hungary, June 30 - July 2, 2003 : Selected Papers.Krzysztof Apt, Francois Fages, Francesca Rossi, Peter Szeredi & Josef Váncza - 2004 - Springer Verlag.
An Absolute Probabilistic Semantics for Free Logic with Identity.Lisa Anne O'neill - 1998 - Dissertation, Temple University
CP-logic: A Language of Probabilistic Causal Laws and Its Relation to Logic Programming.J. Vennekens, M. Denecker & M. Bruynooghe - 2009 - Theory and Practice of Logic Programming 9 (3):245-308.
Tableaus for Logic Programming.Melvin Fitting - unknown
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language.Klaus Keimel, A. Rosenbusch & Thomas Streicher - 2009 - Annals of Pure and Applied Logic 159 (3):307-317.
From worlds to probabilities: A probabilistic semantics for modal logic.Charles B. Cross - 1993 - Journal of Philosophical Logic 22 (2):169 - 192.
Well-Founded Semantics, Generalized.Melvin C. Fitting - unknown
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz & Giuseppe Sanfilippo - 2002 - Journal of Applied Non-Classical Logics 12 (2):189-213.
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,351,854)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Lucas
University of Central Lancashire

Citations of this work

Add more citations

References found in this work

Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
Credal networks.Fabio G. Cozman - 2000 - Artificial Intelligence 120 (2):199-233.
On probabilistic inference by weighted model counting.Mark Chavira & Adnan Darwiche - 2008 - Artificial Intelligence 172 (6-7):772-799.
Recursive conditioning.Adnan Darwiche - 2001 - Artificial Intelligence 126 (1-2):5-41.

Add more references