Sciweavers

392 search results - page 5 / 79
» APROL: a Hybrid Language
Sort
View
125
Voted
ERCIMDL
2005
Springer
124views Education» more  ERCIMDL 2005»
15 years 7 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
127
Voted
SEMWEB
2009
Springer
15 years 8 months 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, ...
99
Voted
VMCAI
2007
Springer
15 years 8 months ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She
ICCBR
2001
Springer
15 years 6 months ago
A Hybrid Approach for the Management of FAQ Documents in Latin Languages
Christiane Gresse von Wangenheim, Andre Bortolon, ...