RuleML 2013: Seattle, WA, USA

Invited Talks

Tutorials

Technical Papers, Main Track

Technical Papers, Human Language Technology Track: Translating between Human-Created Regulations and Formal Rules

a service of Schloss Dagstuhl - Leibniz Center for Informatics