Search Sciweavers | Sciweavers

1545 search results - page 87 / 309

» Defeasible Description Logics

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

14 years 1 months ago

Download staff.science.uva.nl

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

claim paper

Read More »

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

14 years 1 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

click to vote

MKM
2004
Springer

92views Information Technology» more MKM 2004»

Mathematical Service Matching Using Description Logic and OWL

14 years 1 months ago

Download monet.nag.co.uk

Olga Caprotti, Mike Dewar, Daniele Turi

claim paper

Read More »

click to vote

RULEML
2004
Springer

104views Internet Technology» more RULEML 2004»

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

14 years 1 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

14 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers