TY - CONF A1 - Giurca, Adrian A1 - Wagner, Gerd A2 - Adi, Asaf A2 - Stoutenburg, Suzette T1 - Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML T2 - Rules and rule markup languages for the semantic web, first international conference, proceedings, RuleML 2005, Galway, Ireland, November 10 - 12, 2005 Y1 - 2006 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/3066 SN - 3-540-29922-X SP - 45 EP - 55 PB - Springer CY - Berlin [u.a.] ER -