Search Sciweavers | Sciweavers

3032 search results - page 95 / 607

» Description Logic Rules

130

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

15 years 10 months ago

Download staff.science.uva.nl

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...

claim paper

Read More »

117

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 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

127

click to vote

MKM
2004
Springer

92views Information Technology» more MKM 2004»

Mathematical Service Matching Using Description Logic and OWL

15 years 10 months ago

Download monet.nag.co.uk

Olga Caprotti, Mike Dewar, Daniele Turi

claim paper

Read More »

127

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 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

115

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers