Sciweavers

3385 search results - page 67 / 677

» Language, Logic, and the Brain

27

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

14 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 »

29

PPDP
2007
Springer

90views Programming Languages» more PPDP 2007»

Nonmonotonic inductive logic programming by instance patterns

14 years 4 months ago

Nonmonotonic inductive logic programming by instance patterns

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

16

ICLP
2005
Springer

74views Automated Reasoning» more ICLP 2005»

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

14 years 3 months ago

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

Download www.cs.bris.ac.uk

Oliver Ray

claim paper

Read More »

21

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

14 years 3 months ago

Denotational Semantics Using Horn Concurrent Transaction Logic

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

29

ICLP
2003
Springer

122views Automated Reasoning» more ICLP 2003»

A Logic Programming View of Authorization in Distributed Systems

14 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 »

« Prev « First page 67 / 677 Last » Next »