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

maintained by Schloss Dagstuhl LZI at University of Trier