Search Sciweavers | Sciweavers

10622 search results - page 223 / 2125

» Python Programming Language

143

IJCAI
2007

152views Artificial Intelligence» more IJCAI 2007»

Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning

15 years 4 months ago

Download www.ijcai.org

P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...

Chitta Baral, Matt Hunsaker

claim paper

Read More »

217

Voted

ICFP
2009
ACM

106views Programming Languages» more ICFP 2009»

Generic programming with fixed points for mutually recursive datatypes

16 years 4 months ago

Download sneezy.cs.nott.ac.uk

Alexey Rodriguez Yakushev, Andres Löh, Johan ...

claim paper

Read More »

220

click to vote

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

16 years 4 months ago

Download www.irit.fr

Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...

claim paper

Read More »

207

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

The size-change principle for program termination

16 years 3 months ago

Download www.ccs.neu.edu

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram

claim paper

Read More »

click to vote

POPL
2010
ACM

176views Programming Languages» more POPL 2010»

Automatic Numeric Abstractions for Heap-Manipulating Programs

16 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers