Theory, Practice, and Applications of Rules on the Web

7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

  • Leora Morgenstern
  • Petros Stefaneas
  • François Lévy
  • Adam Wyner
  • Adrian Paschke

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8035)

Table of contents

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

    1. William R. Murray, Philip Harrison, Tomas Singliar
      Pages 226-233
    2. Adeline Nazarenko, François Lévy
      Pages 234-248
  2. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.


contextual reasoning defeasible logic ontologies proactive management spatiotemporal reasoning

Editors and affiliations

  • Leora Morgenstern
    • 1
  • Petros Stefaneas
    • 2
  • François Lévy
    • 3
  • Adam Wyner
    • 4
  • Adrian Paschke
    • 5
  1. 1.SAIC / LeidosArlingtonUSA
  2. 2.School of Applied Mathematics and PhysicsNational Technical University of AthensAthensGreece
  3. 3.Université Paris 13ParisFrance
  4. 4.Department of Computing ScienceUniversity of AberdeenAberdeenUK
  5. 5.Corporate Semantic WebFreie Universität, Institut für InformatikBerlinGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39616-8
  • Online ISBN 978-3-642-39617-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book