Search Sciweavers | Sciweavers

3691 search results - page 36 / 739

» Bayesian Logic Programs

144

click to vote

AMAI
2008
Springer

175views Artificial Intelligence» more AMAI 2008»

Integrating answer set programming and constraint logic programming

15 years 2 months ago

Download www.krlab.cs.ttu.edu

We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...

Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang

claim paper

Read More »

119

Voted

AMAI
2006
Springer

135views Artificial Intelligence» more AMAI 2006»

Strong and uniform equivalence of nonmonotonic theories - an algebraic approach

15 years 2 months ago

Download www.cs.uky.edu

We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...

Miroslaw Truszczynski

claim paper

Read More »

151

click to vote

ESOP
2006
Springer

139views Programming Languages» more ESOP 2006»

ILC: A Foundation for Automated Reasoning About Pointer Programs

15 years 5 months ago

Download www.cs.princeton.edu

This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...

Limin Jia, David Walker

claim paper

Read More »

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 8 months ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »