Search Sciweavers | Sciweavers

3573 search results - page 17 / 715

» Reasoning about Codata

click to vote

PADL
2004
Springer

171views Programming Languages» more PADL 2004»

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

14 years 4 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 »

click to vote

UAI
1994

118views Artificial Intelligence» more UAI 1994»

A Logic for Default Reasoning About Probabilities

14 years 7 days 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 »

click to vote

TARK
2009
Springer

243views Automated Reasoning» more TARK 2009»

Reasoning about knowledge of unawareness revisited

14 years 5 months ago

Download www.de.ufpe.br

Joseph Y. Halpern, Leandro Chaves Rêgo

claim paper

Read More »