Sciweavers

526 search results - page 6 / 106

» Co-Logic Programming: Extending Logic Programming with Coind...

19

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

13 years 12 months ago

A Monotonicity Theorem for Extended Logic Programs

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

20

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

13 years 12 months ago

Complexity of Computing with Extended Propositional Logic Programs

Download www.cs.uky.edu

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...

claim paper

Read More »

26

AMW
2009

154views Knowledge Management» more AMW 2009»

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

13 years 9 months ago

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

Download sunsite.informatik.rwth-aachen.de

Leopoldo E. Bertossi

claim paper

Read More »

22

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

13 years 7 months ago

Paraconsistent Declarative Semantics for Extended Logic Programs

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

71

ECOOP
2009
Springer

153views Programming Languages» more ECOOP 2009»

Coinductive Type Systems for Object-Oriented Languages

14 years 8 months ago

Coinductive Type Systems for Object-Oriented Languages

Download ftp.disi.unige.it

We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...

Davide Ancona, Giovanni Lagorio

claim paper

Read More »

« Prev « First page 6 / 106 Last » Next »