Search Sciweavers | Sciweavers

4192 search results - page 51 / 839

» Probabilistic Logic Programming

click to vote

VMCAI
2010
Springer

361views Software Engineering» more VMCAI 2010»

Advances in Probabilistic Model Checking

14 years 7 months ago

Download eprints.eemcs.utwente.nl

In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...

Joost-Pieter Katoen

claim paper

Read More »

click to vote

LPNMR
2004
Springer

170views Automated Reasoning» more LPNMR 2004»

Towards Automated Integration of Guess and Check Programs in Answer Set Programming

14 years 3 months ago

Download www.kr.tuwien.ac.at

Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reﬂects the typical “guess and check�...

Thomas Eiter, Axel Polleres

claim paper

Read More »

click to vote

ICTAI
2009
IEEE

145views Artificial Intelligence» more ICTAI 2009»

Probabilistic Neural Logic Network Learning: Taking Cues from Neuro-Cognitive Processes

14 years 4 months ago

Download www.comp.nus.edu.sg

This paper describes an attempt to devise a knowledge discovery model that is inspired from the two theoretical frameworks of selectionism and constructivism in human cognitive le...

Henry Wai Kit Chia, Chew Lim Tan, Sam Yuan Sung

claim paper

Read More »

click to vote

ISIPTA
2005
IEEE

150views Mathematics» more ISIPTA 2005»

Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLO

14 years 3 months ago