Sciweavers

1663 search results - page 7 / 333
» Description Logics for Interoperability
Sort
View
88
Voted
CADE
1998
Springer
15 years 3 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
81
Voted
CADE
2006
Springer
15 years 3 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma
104
Voted
DLOG
1998
15 years 1 months ago
DLP System Description
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
Peter F. Patel-Schneider
IIWAS
2008
15 years 1 months ago
Cross-domain information and service interoperability
The growing trends towards integrating legacy applications with new systems in a network-centric environment has introduced yet another level of complexity beyond those we witness...
Kamran Sartipi, Azin Dehmoobad
86
Voted
SIGSOFT
2003
ACM
16 years 12 days ago
Ontology support for web service processes
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
Claus Pahl, Michael Casey