Search Sciweavers | Sciweavers

10575 search results - page 198 / 2115

» T2Script Programming Language

150

Voted

EPIA
2009
Springer

152views Artificial Intelligence» more EPIA 2009»

A Logic Programming System for Evolving Programs with Temporal Operators

15 years 10 months ago

Download centria.di.fct.unl.pt

Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...

José Júlio Alferes, Alfredo Gabaldon...

claim paper

Read More »

click to vote

ECOOP
1999
Springer

59views Programming Languages» more ECOOP 1999»

A Trace Model for Pointers and Objects

15 years 7 months ago

Download research.microsoft.com

: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking

C. A. R. Hoare, Jifeng He

claim paper

Read More »

144

Voted

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 »

218

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