Abstract is missing.
- The Herbrand Manifesto - Thinking Inside the BoxMichael R. Genesereth, Eric Jui-Yi Kao. 3-12 [doi]
- Constraint Handling Rules - What Else?Thom W. Frühwirth. 13-34 [doi]
- Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-Georg Gottlob, Giorgio Orsi, Andreas Pieris. 35-53 [doi]
- A Brief Overview of Rule LearningJohannes Fürnkranz, Tomás Kliegr. 54-69 [doi]
- Distribution and Uncertainty in Complex Event RecognitionAlexander Artikis, Matthias Weidlich. 70-80 [doi]
- Compact Representation of Conditional Probability for Rule-Based Mobile Context-Aware SystemsSzymon Bobek, Grzegorz J. Nalepa. 83-96 [doi]
- FOWLA, A Federated Architecture for OntologiesTarcisio M. Farias, Ana Roxin, Christophe Nicolle. 97-111 [doi]
- User Extensible System to Identify Problems in OWL Ontologies and SWRL RulesJoão Paulo Orlando, Mark A. Musen, Dilvan A. Moreira. 112-126 [doi]
- Semantics of Notation3 Logic: A Solution for Implicit QuantificationDörthe Arndt, Ruben Verborgh, Jos De Roo, Hong Sun, Erik Mannens, Rik Van de Walle. 127-143 [doi]
- API4KP Metamodel: A Meta-API for Heterogeneous Knowledge PlatformsTara Athan, Roy Bell, Elisa F. Kendall, Adrian Paschke, Davide Sottara. 144-160 [doi]
- Rule-Based Exploration of Structured Data in the BrowserSudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley. 161-175 [doi]
- PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO PrologGen Zou, Harold Boley. 176-192 [doi]
- Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic LanguagePascual Julián Iranzo, Ginés Moreno, Carlos Vázquez. 193-207 [doi]
- Building a Hybrid Reactive Rule Engine for Relational and Graph ReasoningMario Fusco, Davide Sottara, István Ráth, Mark Proctor. 208-222 [doi]
- Using PSL to Extend and Evaluate Event OntologiesMegan Katsumi, Michael Grüninger. 225-240 [doi]
- Probabilistic Event Pattern DiscoveryAhmad Hasan, Kia Teymourian, Adrian Paschke. 241-257 [doi]
- How to Combine Event Stream Reasoning with Transactions for the Semantic WebAna Sofia Gomes, José Júlio Alferes. 258-273 [doi]
- Ontology-Based Multidimensional Contexts with Applications to Quality Data Specification and ExtractionMostafa Milani, Leopoldo E. Bertossi. 277-293 [doi]
- Existential Rules and Bayesian Networks for Probabilistic Ontological Data ExchangeThomas Lukasiewicz, Maria Vanina Martinez, Livia Predoiu, Gerardo I. Simari. 294-310 [doi]
- Binary Frontier-Guarded ASP with Function SymbolsMantas Simkus. 311-327 [doi]
- Graal: A Toolkit for Query Answering with Existential RulesJean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter. 328-344 [doi]
- Input/Output STIT Logic for Normative SystemsXin Sun. 347-359 [doi]
- Towards Formal Semantics for ODRL PoliciesSimon Steyskal, Axel Polleres. 360-375 [doi]
- Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible ReasoningReza Basseda, Tiantian Gao, Michael Kifer, Steven Greenspan, Charley Chell. 376-387 [doi]
- Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic VocabulariesSagar Sunkle, Deepali Kholkar, Vinay Kulkarni. 388-403 [doi]
- Rule Generalization Strategies in Incremental Learning of Disjunctive ConceptsStefano Ferilli, Andrea Pazienza, Floriana Esposito. 407-421 [doi]
- Using Substitutive Itemset Mining Framework for Finding Synonymous Properties in Linked DataMikolaj Morzy, Agnieszka Lawrynowicz, Mateusz Zozulinski. 422-430 [doi]
- Learning Characteristic Rules in Geographic Information SystemsAnsaf Salleb-Aouissi, Christel Vrain, Daniel Cassard. 431-444 [doi]
- Rule-Based Data Transformations in Electricity Smart GridsRafael Santodomingo, Mathias Uslar, José Antonio Rodríguez-Mondéjar, Miguel Angel Sanz-Bobi. 447-455 [doi]
- Norwegian State of Estate: A Reporting Service for the State-Owned Properties in NorwayLing Shi, Bjørg E. Pettersen, Ivar Østhassel, Nikolay Nikolov, Arash Khorramhonarnama, Arne-Jørgen Berre, Dumitru Roman. 456-464 [doi]
- Ontology Reasoning Using Rules in an eHealth ContextDörthe Arndt, Ben De Meester, Pieter Bonte, Jeroen Schaballie, Jabran Bhatti, Wim Dereuddre, Ruben Verborgh, Femke Ongenae, Filip De Turck, Rik Van de Walle, Erik Mannens. 465-472 [doi]