Search Sciweavers | Sciweavers

967 search results - page 12 / 194

» Probabilistic Predicative Programming

109

Voted

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

15 years 6 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 6 months ago

Download www.cs.uky.edu

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

claim paper

Read More »

click to vote

SPDP
1992
IEEE

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

Debugging Dynamic Distributed Programs Using Global Predicates

15 years 6 months ago

Download www.brl.ntt.co.jp

Yoshifumi Manabe, Shigemi Aoyagi

claim paper

Read More »

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 2 months ago

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

107

Voted

FUIN
2007

220views more FUIN 2007»

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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers