Sciweavers

3845 search results - page 127 / 769

» Belief Logic Programming

47

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

15 years 4 months ago

Ontology Based Information Integration Using Logic Programming

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

61

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

15 years 4 months ago

Visual Logic Programming Method Based on Structural Analysis and Design Technique

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

63

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 »

« Prev « First page 127 / 769 Last » Next »