Sciweavers

2694 search results - page 75 / 539
» A Description Logic of Change
Sort
View
JELIA
2004
Springer
14 years 2 months ago
Abductive Logic Programming with CIFF: System Description
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
KR
2004
Springer
14 years 2 months ago
Combining Answer Set Programming with Description Logics for the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...
MKM
2004
Springer
14 years 2 months ago
Mathematical Service Matching Using Description Logic and OWL
Olga Caprotti, Mike Dewar, Daniele Turi
RULEML
2004
Springer
14 years 2 months ago
Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...
LICS
2002
IEEE
14 years 2 months ago
Description Logics: Foundations for Class-based Knowledge Representation
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...