Search Sciweavers | Sciweavers

1582 search results - page 89 / 317

» On Higher-Order Description Logics

click to vote

CAISE
2004
Springer

157views Information Technology» more CAISE 2004»

Description Logics for Interoperability

15 years 3 months ago

Download ftp.informatik.rwth-aachen.de

tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...

Enrico Franconi

claim paper

Read More »

click to vote

ECAI
2004
Springer

118views Artificial Intelligence» more ECAI 2004»

Description Logics with Concrete Domains and Functional Dependencies

15 years 3 months ago

Download lat.inf.tu-dresden.de

Carsten Lutz, Maja Milicic

claim paper

Read More »

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

15 years 3 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

15 years 3 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers