Search Sciweavers | Sciweavers

5198 search results - page 269 / 1040

» A Logic of Agent Programs

125

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 11 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

166

Voted

KR
2004
Springer

136views Automated Reasoning» more KR 2004»

Condensed Representations for Inductive Logic Programming

15 years 11 months ago

Download dtai.cs.kuleuven.be

When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...

Luc De Raedt, Jan Ramon

claim paper

Read More »

155

Voted

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

15 years 11 months ago

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

123

click to vote

LPNMR
2004
Springer

69views Automated Reasoning» more LPNMR 2004»

Verifying the Equivalence of Logic Programs in the Disjunctive Case

15 years 11 months ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

135

click to vote

RULEML
2004
Springer

104views Internet Technology» more RULEML 2004»

Well-Founded Semantics for Description Logic Programs in the Semantic Web

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers