Search Sciweavers | Sciweavers

967 search results - page 12 / 194

» Probabilistic Predicative Programming

133

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

Using predicate abstraction to reduce object-oriented programs for model checking

15 years 8 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

101

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 8 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

104

click to vote

SPDP
1992
IEEE

91views Distributed And Parallel Com...» more SPDP 1992»

Debugging Dynamic Distributed Programs Using Global Predicates

15 years 8 months ago

Download www.brl.ntt.co.jp

Yoshifumi Manabe, Shigemi Aoyagi

claim paper

Read More »

114

click to vote

AMAI
2007
Springer

95views Artificial Intelligence» more AMAI 2007»

Complexity results for answer set programming with bounded predicate arities and implications

15 years 4 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan...

claim paper

Read More »

132

click to vote

FUIN
2007

220views more FUIN 2007»

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers