Search Sciweavers | Sciweavers

3573 search results - page 17 / 715

» Reasoning about Codata

189

click to vote

PADL
2004
Springer

171views Programming Languages» more PADL 2004»

ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog

15 years 11 months ago

Download www.cs.nmsu.edu

We present a system (ASP − PROLOG) which provides a tight and well-deﬁned integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

claim paper

Read More »

165

click to vote

UAI
1994

118views Artificial Intelligence» more UAI 1994»

A Logic for Default Reasoning About Probabilities

15 years 7 months ago

Download folli.loria.fr

A logic is de ned that allows to express information about statistical probabilities and about degrees of belief in speci c propositions. By interpreting the twotypes of probabili...

Manfred Jaeger

claim paper

Read More »

143

click to vote

TARK
2009
Springer

243views Automated Reasoning» more TARK 2009»

Reasoning about knowledge of unawareness revisited

16 years 12 days ago

Download www.de.ufpe.br

Joseph Y. Halpern, Leandro Chaves Rêgo

claim paper