Sciweavers

3481 search results - page 140 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

62

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

15 years 4 months ago

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

61

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

15 years 4 months ago

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

70

PPDP
2007
Springer

90views Programming Languages» more PPDP 2007»

Nonmonotonic inductive logic programming by instance patterns

15 years 4 months ago

Nonmonotonic inductive logic programming by instance patterns

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

85

ICLP
2003
Springer

122views Automated Reasoning» more ICLP 2003»

A Logic Programming View of Authorization in Distributed Systems

15 years 3 months ago

A Logic Programming View of Authorization in Distributed Systems

Download www.cs.utsa.edu

William H. Winsborough

claim paper

Read More »

99

DLOG
2008

140views Automated Reasoning» more DLOG 2008»

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

15 years 8 days ago

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

Download sunsite.informatik.rwth-aachen.de

Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...

Andrea Calì, Georg Gottlob, Michael Kifer

claim paper

Read More »

« Prev « First page 140 / 697 Last » Next »