Search Sciweavers | Sciweavers

967 search results - page 12 / 194

» Probabilistic Predicative Programming

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 7 months ago

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

click to vote

FUIN
2007

220views more FUIN 2007»

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

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers