yusuke1997/dblp-id-title huggingface dataset:
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
Declarative Traces into Fuzzy Computed Answers
Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
A Java Implementation of Temporal Defeasible Logic
Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings
The MET: The Art of Flexible Reasoning with Modalities
Development and Verification of Rule Based Systems - A Survey of Developers
Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules
Validation and Verification of Business Rules
A Functional Spreadsheet Framework for Authoring Logic Implication Rules
Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems
Knowledgebase Representation Language Interoperation Tool
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Inconsistency-Tolerant Instance Checking in Tractable Description Logics
Towards Scalable Ontological Reasoning using Machine Learning
COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices
An Online Tool for Tuning Fuzzy Logic Programs
Translation of Cognitive Models from ACT-R to Constraint Handling Rules
An XML Format for Association Rule Models Based on the GUHA Method
KLM-Style Defeasibility for Restricted First-Order Logic
Ontology-Based Query Answering with Existential Rules
Magic Sets in Interpolation-Based Rule Driven Query Optimization
GROOLS: Reactive Graph Reasoning for Genome Annotation
CHR.js: A CHR Implementation in JavaScript
On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011
Advancing Multi-Context Systems by Inconsistency Management
Implementing General Purpose Applications with the Rule-Based Approach
An Executable Logic-Based Model for Cutter Suction Dredging Using LPS
Event Detection and Diagnosis for Intelligent Transport Systems
OO-logic: a Successor of F-logic
The OO jDREW Reference Implementation of RuleML
SweetProlog: A System to Integrate Ontologies and Rules
Towards Knowledge-Based Integration and Visualization of Geospatial Data using Semantic Web Technologies
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules
Business Process Data Compliance
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN
RBDT-1: A New Rule-Based Decision Tree Generation Technique
Distributed Medical Rule Engine (DMRE)-Project
Complex Reactivity with Preferences in Rule-Based Agents
Self-sustained Routing for Event Diffusion in Wireless Sensor Networks
Reasoning Under Uncertainty in Knowledge Graphs
Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems
A Rule-Based Framework Using Role Patterns for Business Process Compliance
Ontology-Based Multidimensional Contexts with Applications to Quality Data Specification and Extraction
A Numerical Optimisation Based Characterisation of Spatial Reasoning
On the Semantics of "null" in DMN: Undefined is not Unknown
Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015
Modeling Obligations with Event-Calculus
RUBEN: A Rule Engine Benchmarking Framework
Event-Driven Rules: Experiences in CEP
Supporting Metamodeling in Ontologies Using Rules
Deception-aware Pragmatic Inference
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning
A Study on Translating Regulatory Rules from Natural Language to Defeasible Logics
Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
Interpreting Regulations with SBVR
Representing Financial Reports on the Semantic Web: - A Faithful Translation from XBRL to OWL
Establishing a Procedure Model for Combining and Synergistically Aligning Business Rules and Processes within Ontologies
HARM: A Hybrid Rule-Based Agent Reputation Model Based on Temporal Defeasible Logic
Learning Condition-Action Rules for Personalised Journey Recommendations
Using PROVA-Rule Engine as Dispatching-Service for FHIR-Observation-Resources
Formalizing Air Traffic Control Regulations in PSOA RuleML
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Combining Rule Learning and Nonmonotonic Reasoning for Link Prediction in Knowledge Graphs
Local and Distributed Defeasible Reasoning in Multi-Context Systems
Checking the Compliance of Business Process in Business Process Life Cycle
Object (B)logging: Semantic Self-Description for Cyber-Physical Systems
Rule-based Anti-Money Laundering in Financial Intelligence Units: Experience and Vision
Advanced Knowledge Base Debugging for Rulelog
Combining Description Logic and Defeasible Logic for the Semantic Web
Rule-based Query Answering Method for a Knowledge Base of Economic Crimes
Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities
Faceted Answer-Set Navigation
GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning
Towards Knowledge Extraction from Weblogs and Rule-Based Semantic Querying
A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming
Transforming Association Rules to Business Rules: EasyMiner meets Drools
Active Rules in the Semantic Web: Dealing with Language Heterogeneity
Enhancing a Smart Space with Answer Set Programming
Learning Business Rules with Association Rule Classifiers
Using Rules to generate and execute Workflows in Smart Factories
Retractable Complex Event Processing and Stream Reasoning
Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules
Query Rewriting for DL Ontologies Under the ICAR Semantics
Introduction to "Rule Transformation and Extraction" Track
Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
New Rule Induction Method by Use of a Co-occurrence Set from the Decision Table
Rules, Tables and Decisions: A Family History Tale
PSOA RuleML Integration of Relational and Object-Centered Geospatial Data
A Decidable Confluence Test for Cognitive Models in ACT-R
Recent Advances in the SILK Knowledge Representation and Its Usage
SBVR as a Semantic Hub for Integration of Heterogeneous Systems
Incomplete and Uncertain Data Handling in Context-Aware Rule-Based Systems with Modified Certainty Factors Algebra
Defining Access Control Rules with Conditions
Reaction RuleML 1.0: Standardized Semantic Reaction Rules
Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator
From Guidelines to Practice: Improving Clinical Care through Rule-Based Clinical Decision Support at the Point of Care
An SBVR to SQL Compiler
Business Rule Learning with Interactive Selection of Association Rules
Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium hosted by the 8th International Web Rule Symposium, Challenge+DC@RuleML 2014, Prague, Czech Republic, August 18-20, 2014
Setting Standards for Altering and Undoing Smart Contracts
Combining ECA Rules with Process Algebras for the Semantic Web
Usage of the Jess Engine, Rules and Ontology to Query a Relational Database
Emergency Services: Process, Rules and Events
Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk)
The Herbrand Manifesto - Thinking Inside the Box
Are Your Rules Online? Four Web Rule Essentials
Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment
Contestable Black Boxes
OWL Web Ontology Language as a Scripting Language for Smart Space Applications
Binary Frontier-Guarded ASP with Function Symbols
HalVA - Rule Analysis Framework for XTT2 Rules
Personalizing Location Information through Rule-Based Policies
On Inductive Verification and Synthesis
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints
TomML: A Rule Language for Structured Data
A Loose Coupling Approach for Combining OWL Ontologies and Business Rules
A Rule-Based Implementation of Fuzzy Tableau Reasoning
The Health eDecisions Authoring Environment for Shareable Clinical Decision Support Artifacts
Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach
GPT-3 for Decision Logic Modeling
CAPAS: A Service for Improving the Assignments of Common Agriculture Policy Funds to Farmers and Land Owners
A RuleML Study on Integrating Geographical and Health Information
Managing Diabetes: Counselling Supported by User Data in a Mobile Platform
Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
The Hardness of Revising Defeasible Preferences
Input/Output STIT Logic for Normative Systems
Demonstration of XML Validation Framework using OASIS CAM approach
Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems
Towards Semantically Grounded Decision Rules Using ORM +
RAWE: An Editor for Rule Markup of Legal Texts
Conceptual Model Interoperability: A Metamodel-driven Approach
Interpreting Web Shop User's Behavioral Patterns as Fictitious Explicit Rating for Preference Learning
Generating SQL Queries from SBVR Rules
Restricted Chase Termination: A Hierarchical Approach and Experimentation
Modularity in the Rule Interchange Format
Rule Based Business Process Compliance
An Answer Set Programming Based Framework for High-Utility Pattern Mining Extended with Facets and Advanced Utility Functions
Data Integration using Semantic Technology: A use case
An Evaluation of Meta-reasoning over OWL 2 QL
An Ontology for Transportation System
The Temporal Vadalog System
Rule-Based Semantic Sensing
Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic Vocabularies
Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology
Basics for a Grammar Engine to Verbalize Logical Theories in isiZulu
SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0
Fuzzy Logic Programming for Tuning Neural Networks
A model Driven Approach for Bridging ILOG Rule Language and RIF
Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling
A Brief Overview of Rule Learning
Rule-based intelligence in the Semantic Web-or-"I'll settle for a web that's just not so dumb!"
Rule-Based Event Processing and Reaction Rules
Rule-Based Multi-label Classification: Challenges and Opportunities
Seamless Cooperation of Java and Prolog for Rule-Based Software Development
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning
Graph-based Editor for SWRL Rule Bases
Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents
A Rule Based System for Semantical Enrichment of Building Information Exchange
How to Combine Event Stream Reasoning with Transactions for the Semantic Web
API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms
Declarative Smart Contract Testing by Domain Experts
A Process for Knowledge Transformation and Knowledge Representation of Patent Law
PLIS+: A Rule-Based Personalized Location Information System
A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web
Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment
User Extensible System to Identify Problems in OWL Ontologies and SWRL Rules
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation
Modeling Stable Matching Problems with Answer Set Programming
An Empirical Study of Unsupervised Rule Set Extraction of Clustered Categorical Data Using a Simulated Bee Colony Algorithm
Visualizing Logical Dependencies in SWRL Rule Bases
Building a Hybrid Reactive Rule Engine for Relational and Graph Reasoning
A Set-Theoretic Approach to ABox Reasoning Services
Norm Compliance in Business Process Modeling
Towards Formal Semantics for ODRL Policies
Process Representation Using Transaction Logic
Question Answering over Knowledge Graphs
Computational Regulation of Medical Devices in PSOA RuleML
Constraint Handling Rules - What Else?
Multi-agent Activity Modeling with the Brahms Environment - (Abstract of Tutorial)
RIF-BLD Reasoning with IRIS
A Rule-Based Notation to Specify Executable Electronic Contracts
On Applying Temporal Database Concepts to Event Queries
Development of the Rule Based Approach to Traffic Management by the Dutch Road Authorities
Merging and Aligning Ontologies in dl-Programs
Semantic DMN: Formalizing Decision Models with Domain Knowledge
Towards an Event-Driven Architecture: An Infrastructure for Event Processing Position Paper
Rule Learning from Time-Dependent Data Applied to Fraud Detection
Extend Commitment Protocols with Temporal Regulations: Why and How
Verifying Resource Requirements for Distributed Rule-Based Systems
Fuzzy Reasoning with a Rete-OO Rule Engine
Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages
Using Substitutive Itemset Mining Framework for Finding Synonymous Properties in Linked Data
Mining, Representation and Reasoning with Temporal Expressions in the Legal Domain
Challenges for Rule Systems on the Web
Cloud Computing: Combining Governance, Compliance, and Trust Standards with Declarative Rule-Based Frameworks
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling
A Semantic Web Framework for Interleaving Policy Reasoning and External Service Discovery
Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments
Enabling Reasoning with LegalRuleML
Logic-based Rule Learning for the Web of Data
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
WellnessRules: The Activity Rule Responder
Learning Characteristic Rules in Geographic Information Systems
Commonsense Reasoning with Argumentation for Cognitive Robotics
A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules
A Translator of Actor Prolog to Java
Terminology: The Semantic Foundation for an Organizations Executable Rules
Consistency and Provenance in Rule Processing
Distributed ECA Rules for Data Management Policies
RECON - A Controlled English for Business Rules
Semantics of Notation3 Logic: A Solution for Implicit Quantification
Process Materialization Using Templates and Rules to Design Flexible Process Models
Whispering Interactions to the End User Using Rules
Digital Marketing knowledge transfer to a rule-based reasoning system for massive optimization of campaigns
A Model Driven Reverse Engineering Framework for Extracting Business Rules Out of a Java Application
Semantic Web of Things for Industry 4.0
Event and Process Semantics Will Rule
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML
Bridge Rules for Reasoning in Component-Based Heterogeneous Environments
Picking Up the Best Goal - An Analytical Study in Defeasible Logic
From Defeasible Logic to Counterfactual Reasoning
Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk)
RoboCIM: Towards a Domain Model for Industrial Robot System Configurators
Monotonic Aggregation for Temporal Datalog
ODRL Policy Modelling and Compliance Checking
Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems
Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018
Expressing Biological Problems with Logical Reasoning Languages
What-If Analyzer for DMN-based Decision Models
Towards Directly Applied Ontological Constraints in a Semantic Decision Table
Benchmark for Performance Evaluation of SHACL Implementations in Graph Databases
Visual Interfaces for the Development of Event-based Web Agents in the IRobot System
An XML-Based Manipulation and Query Language for Rule-Based Information
On the Formal Representation of the Australian Spent Conviction Scheme
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021
Omni-directional Hyper Logic Programs in SILK and RIF
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog
Implementation of Production Rules for a RIF Dialect: A MISMO Proof-of-Concept for Loan Rates
Towards Techniques for Updating Virtual Knowledge Graphs
Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, Seattle, USA, July 11 -13, 2013
PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP
Nested Rules in Defeasible Logic
Representing and Solving Rule-Based Decision Models with Constraint Solvers
ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements
OBDA Constraints for Effective Query Answering
Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages
Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings
Towards Discovery of Frequent Patterns in Description Logics with Rules
A New Approach to Conceive ASP Solvers
A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management
A Dynamic Metalogic Argumentation Framework Implementation
Answer Set Programming Modulo 'Space-Time'
R2E: Rule-based Event Extractor
Complex Information Management Using a Framework Supported by ECA Rules in XML
Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Programming with Fuzzy Logic Rules by Using the FLOPER Tool
Rule-Based Real-Time ADL Recognition in a Smart Home Environment
OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations
Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
A Generic Module System for Web Rule Languages: Divide and Rule
An Approach to Parallel Class Expression Learning
MYNG: Validation with RuleML 1.0 Parameterized Relax NG Schemas
Dialogue Games for Explaining Medication Choices
The RuleML Knowledge-Interoperation Hub
Norwegian State of Estate: A Reporting Service for the State-Owned Properties in Norway
Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings
An Ontology-based Approach for Detecting and Classifying Inappropriate Prescribing
Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions
SEWEBAR-CMS: A System for Postprocessing Data Mining Models
In the Head of the Beholder: Comparing Different Proof Representations
How to do it with LPS (Logic-Based Production System)
Extended Rules in Knowledge-Based Data Access
Using $\mathcal{SOIQ}$ (D) to Formalize Semantics within a Semantic Decision Table
Complementing Logical Reasoning with Sub-symbolic Commonsense
Policy-Based Automated Compliance Checking
On Complex Event Processing for Real-Time Situational Awareness
Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations
Rules and OMG Standards
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization
Designing for Compliance: Norms and Goals
Towards Ontological Commitments with Omega -RIDL Markup Language
Proceedings of the RuleML-2010 Challenge, at the 4th International Web Rule Symposium, Washington, DC, USA, October, 21-23, 2010
A Rule-Based Calculus and Processing of Complex Events
Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts
Managing High Disease Risk Factors: a use case in the KMR-II Healthcare Infrastructure
Rule-Based Supervisor and Checker of Deep Learning Perception Modules in Cognitive Robotics
Exchanging Data and Ontological Definitions in Multi-Agent-Contexts Systems
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$
Prudens: An Argumentation-Based Language for Cognitive Assistants
Applying Semantic Rules to Achieve Dynamic Service Oriented Architectures
A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Supplementary Proceedings of the RuleML 2016 Challenge, Doctoral Consortium and Industry Track hosted by the 10th International Web Rule Symposium, RuleML 2016, New York, USA, July 6-9, 2016
D2R2: Disk-Oriented Deductive Reasoning in a RISC-Style RDF Engine
Validation of Autonomous Vehicle Overtaking under Queensland Road Rules
Rule-based Approach to Text Generation in Natural Language - Automated Text Markup Language (ATML3)
Rule-Based Modeling and Computing on the Semantic Web, 5th International Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings
A Rule-Based Behaviour Planner for Autonomous Driving
DeRool: A rule-based dialog engine
Defeasible Description Logics
(Linked) Data Quality Assessment: An Ontological Approach
Geosocial SPLIS: A Rule-Based Service for Context-aware Point of Interest Exploration
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach
Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
Anonymization of the University Information System Log Data: a Case Study
A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report
Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines
Integrating Rules and Description Logics with Circumscription for the Semantic Web
Outlier (Anomaly) Detection Modelling in PMML
The Pragmatic Web: Putting Rules in Context
Rule-Based Activity Recognition in Ambient Intelligence
Towards an Improvement of Software Development Processes through Standard Business Rules
The limits and possibilities of combining Description Logics and Datalog
Towards Time-Aware Semantic Enriched Recommender Systems for Movies
Take - A Rule Compiler for Derivation Rules
Cognitive System for Knowledge Representation of Elementary Pragmatics
Multi-agent Online Planning Architecture for Real-time Compliance
Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June - 1 July, 2020
Extending the ArgQL Specification
Assessing Elements of Crime Based on an Agent Simulation of a Street Robbery
Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges
Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
Decision Modeling with DMN and OpenRules
Classification Rule Mining for a Stream of Perennial Objects
Using EasyMiner API for Financial Data Analysis in the OpenBudgets.eu Project
LegalRuleML: XML-Based Rules and Norms