Search Sciweavers | Sciweavers

3358 search results - page 73 / 672

» Dynamic Description Logics

105

click to vote

ECAI
2004
Springer

118views Artificial Intelligence» more ECAI 2004»

Description Logics with Concrete Domains and Functional Dependencies

15 years 11 months ago

Download lat.inf.tu-dresden.de

Carsten Lutz, Maja Milicic

claim paper

Read More »

132

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 »

129

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers