Sciweavers

3926 search results - page 170 / 786

» A Logic of Object-Oriented Programs

139

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

16 years 19 days 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 »

133

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

16 years 19 days ago

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

137

PPDP
2007
Springer

90views Programming Languages» more PPDP 2007»

Nonmonotonic inductive logic programming by instance patterns

16 years 17 days ago

Nonmonotonic inductive logic programming by instance patterns

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

168

ICLP
2003
Springer

122views Automated Reasoning» more ICLP 2003»

A Logic Programming View of Authorization in Distributed Systems

15 years 11 months ago

A Logic Programming View of Authorization in Distributed Systems

Download www.cs.utsa.edu

William H. Winsborough

claim paper

Read More »

172

PRICAI
2000
Springer

133views Artificial Intelligence» more PRICAI 2000»

Argumentation Semantics for Defeasible Logics

15 years 10 months ago

Argumentation Semantics for Defeasible Logics

Download espace.uq.edu.au

Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...

Guido Governatori, Michael J. Maher, Grigoris Anto...

claim paper

Read More »

« Prev « First page 170 / 786 Last » Next »