Sciweavers

392 search results - page 5 / 79
» APROL: a Hybrid Language
Sort
View
ERCIMDL
2005
Springer
124views Education» more  ERCIMDL 2005»
15 years 11 months ago
A Hybrid Declarative/Procedural Metadata Mapping Language Based on Python
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
Greg Janee, James Frew
SEMWEB
2009
Springer
16 years 14 days ago
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
José Júlio Alferes, Matthias Knorr, ...
VMCAI
2007
Springer
16 years 1 days ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She
ICCBR
2001
Springer
15 years 10 months ago
A Hybrid Approach for the Management of FAQ Documents in Latin Languages
Christiane Gresse von Wangenheim, Andre Bortolon, ...