default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRuleML 2013: Seattle, WA, USA
- Leora Morgenstern, Petros S. Stefaneas, François Lévy, Adam Z. Wyner, Adrian Paschke:
Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings. Lecture Notes in Computer Science 8035, Springer 2013, ISBN 978-3-642-39616-8
Invited Talks
- Lise Getoor:
Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables - (Abstract of Keynote Talk). 1 - Benjamin N. Grosof:
Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk). 2-11 - Michael Grüninger:
Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk). 12
Tutorials
- Tara Athan, Harold Boley, Guido Governatori
, Monica Palmirani, Adrian Paschke, Adam Z. Wyner:
LegalRuleML: From Metamodel to Use Cases - (A Tutorial). 13-18 - François Lévy, Adeline Nazarenko:
Formalization of Natural Language Regulations through SBVR Structured English - (Tutorial). 19-33 - Maarten Sierhuis:
Multi-agent Activity Modeling with the Brahms Environment - (Abstract of Tutorial). 34-35 - David Webber:
Rules and Policy Based Handling of XML in Government Contexts Including NIEM - (Abstract of Tutorial). 36
Technical Papers, Main Track
- Sotiris Batsakis:
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach. 37-51 - Harold Boley:
Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. 52-67 - Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé:
Modeling Stable Matching Problems with Answer Set Programming. 68-83 - Christoph Frenzel, Henning Sanneck, Bernhard Bauer:
A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management. 84-98 - Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Matteo Cristani:
Picking Up the Best Goal - An Analytical Study in Defeasible Logic. 99-113 - Guido Governatori, Antonino Rotolo:
Computing Temporal Defeasible Logic. 114-128 - Philipp Herzig, Bernhard Wolf, Svenja Brunstein, Alexander Schill:
Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems. 129-143 - Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou, Ioannis Kompatsiaris:
Ontology Patterns for Complex Activity Modelling. 144-157 - Assaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain, Yves Le Traon:
A Rule-Based Contextual Reasoning Platform for Ambient Intelligence Environments. 158-172 - Mark Proctor, Mario Fusco, Davide Sottara:
Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications. 173-187 - Ilias Tachmazidis, Grigoris Antoniou:
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization. 188-202 - Hao Xu, Arcot Rajasekar, Reagan W. Moore, Mike Wan:
Distributed ECA Rules for Data Management Policies. 203-217
Technical Papers, Human Language Technology Track: Translating between Human-Created Regulations and Formal Rules
- Guido Boella, Luigi Di Caro, Livio Robaldo:
Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines. 218-225 - William R. Murray, Philip Harrison, Tomás Singliar:
Interpreting Spatiotemporal Expressions from English to Fuzzy Logic. 226-233 - Adeline Nazarenko, François Lévy:
Combining Acquisition and Debugging of Business Rule Models. 234-248
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
