yusuke1997/dblp-id-title huggingface dataset:
Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings
Extracting Decision Model Components from Natural Language Text for Automated Business Decision Modelling
Competitive Proving for Fun
Monitoring BPMN-Processes with Rules in a Distributed Environment
Situational Handling of Events for Industrial Production Environments
Choreographic Compilation of Decentralized Comprehension Patterns
Integrating Written Policies in Business Rule Management Systems
Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
Legal Rules, Text and Ontologies Over Time
Meta-analysis for Validation and Strategic Planning
Distribution and Uncertainty in Complex Event Recognition
iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data
The Rule Responder Distributed Reputation Management System for the Semantic Web
Well-Founded Semantics for Description Logic Programs in the Semantic Web
The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering
The Making of SPINdle
Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019
Multi-valued Argumentation Frameworks
Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks
Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Towards Supporting Multiple Semantics of Named Graphs Using N3 Rules
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach
Multidimensional Ontologies for Contextual Quality Data Specification and Extraction
Advances in Rule Interchange and Applications, International Symposium, RuleML 2007, Orlando, Florida, USA, October 25-26, 2007, Proceedings
How to reason with OWL in a logic programming system
Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications
Experiences Using Deliberation RuleML 1.01 as Rule Interchange Language
Meta-Interpretive Learning: Achievements and Challenges (Invited Paper)
Rule Definition for Managing Ontology Development
Rule-Based Data Transformations in Electricity Smart Grids
SWEETInfo: a Web-Based System for Visualizing and Querying Temporal Data
Reasoning about Ingredient Substitutions with Ontologies and Rules
An SBVR Editor with Highlighting and Auto-completion
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees
Sound Logic without Paradox
Transformation of Graphical ECA Policies into Executable PonderTalk Code
Rule-Based Trust Assessment on the Semantic Web
From Standards and Regulations to Executable Rules: A Case Study in the Building Accessibility Domain
Vadalog: A Language and System for Knowledge Graphs
An Approach for Bridging the Gap Between Business Rules and the Semantic Web
Formalization of Natural Language Regulations through SBVR Structured English - (Tutorial)
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners
Semi-automatic Composition of Geospatial Web Services Using JBoss Rules
A Rule-Based Contextual Reasoning Platform for Ambient Intelligence Environments
SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments
Interpreting Spatiotemporal Expressions from English to Fuzzy Logic
Reaction RuleML 1.0 for Rules, Events and Actions in Semantic Complex Event Processing
Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization
Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic
Combining Ontology and Rules to Model Judicial Interpretation
R-CoRe: A Rule-based Contextual Reasoning Platform for AmI
Eliminating Harmful Joins in Warded Datalog+/-
Role Assignment in Institutional Clouds for Rule-Based Enterprise Management
A Rule-Based Approach to Prioritization of IT Work Requests Maximizing Net Benefit to the Business
A common interface for multi-rule-engine distributed systems
Connecting Legacy Code, Business Rules and Documentation
Learning Association Rules from Data through Domain Knowledge and Automation
Specifying Process-Aware Access Control Rules in SBVR
Proceedings of the RuleML2012@ECAI Challenge, at the 6th International Symposium on Rules, Montpellier, France, August 27th-29th, 2012
Structuring Rule Sets Using Binary Decision Diagrams
Importation Closure that is Robust to Circular Dependencies
Algorithms for Rule Inference in Modularized Rule Bases
On Horn Conjunctive Queries
Combining Sub-symbolic and Symbolic Methods for Explainability
Using Rules for Assessing and Improving Data Quality: A Case Study for the Norwegian State of Estate Report
One-Shot Rule Learning for Challenging Character Recognition
JSON towards a simple Ontology and Rule Language
LegalRuleML: From Metamodel to Use Cases - (A Tutorial)
Proceedings of the 3rd International RuleML-2009 Challenge, collocated with the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009), Las Vegas, Nevada, USA, November 5-7, 2009
A Framework Enhancing the User Search Activity Through Data Posting
Toward a Transparent Recommender System
Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences
Application of the SDL Library to Reveal Legal Sanctions for Crime Perpetrators in Selected Economic Crimes: Fraudulent Disbursement and Money Laundering
Clinical Decision Support Based on OWL Queries in a Knowledge-as-a-Service Architecture
Link Traversal with Distributed Subweb Specifications
Detecting "Slippery Slope" and Other Argumentative Stances of Opposition Using Tree Kernels in Monologic Discourse
Rewriting Queries with Negated Atoms
Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API
Automatic Generation of Intelligent Chatbots from DMN Decision Models
Generating Rewrite Rules by Browsing RDF Data
K-Site Rules at the RuleML Challenge 2009
Semantic Rule-Based Complex Event Processing
A Defeasible Logic Reasoner for the Semantic Web
Advanced Syntax and Compilation for Probabilistic Production Rules with PRM
Probabilistic Event Calculus Based on Markov Logic Networks
Rule-Based High-Level Situation Recognition from Incomplete Tracking Data
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes
Principles of the SymposiumPlanner Instantiations of Rule Responder
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core
Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
Translating Higher-Order Modal Logic from RuleML to TPTP
The Effectiveness of DMN Portability
KISS - Knowledge-Intensive Service Support: An Approach for Agile Process Management
A Semantic Web Based Architecture for e-Contracts in Defeasible Logic
Correlating Business Events for Event-Triggered Rules
Authoring Business Rules Grounded in OWL Ontologies
Rewrite Rules as Service Integrators
An Extension to OWL with General Rules
Abductive Workflow Mining Using Binary Resolution on Task Successor Rules
Probabilistic Event Pattern Discovery
A Realistic Architecture for the Semantic Web
An Approach to the Intelligent Monitoring of Anomalous Human Behaviour Based on the Actor Prolog Object-Oriented Logic Language
Semantic-ontological Combination of Business Rules and Business Processes in IT Service Management
Understanding Misinformation: Perspectives on Emerging Issues
Building and Analyzing Goal-Oriented Decision Models
Generation of Rules from Ontologies for High-Level Scene Interpretation
Explainable Game Strategy Rule Learning from Video
Overview of Knowledge Formalization with XTT2 Rules
Semantic Web Reasoning with Conceptual Logic Programs
Translating Ontologies from Predicate-based to Frame-based Languages
Using Data-to-Knowledge Exchange for Transforming Relational Databases to Knowledge Bases
A Practical Management of Fuzzy Truth-Degrees Using FLOPER
Fine Tuning Run Parameter Values in Rule-Based Machine Learning
Using PSL to Extend and Evaluate Event Ontologies
Bossam: An Extended Rule Engine for OWL Inferencing
Constructing Controlled English for Both Human Usage and Machine Processing
First Approaches on Knowledge Representation of Elementary (Patent) Pragmatics
Ontology Reasoning Using Rules in an eHealth Context
Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings
Offshore Holdings Analytics Using Datalog+ RuleML Rules
Formalizing Object-Ontological Mapping Using F-logic
Hybrid ASP-Based Approach to Pattern Mining
Entity-Based State Management for Complex Event Processing Applications
Event Processing in an Object-Oriented Rule-Based System
Conflict-Free Access Rules for Sharing Smart Patient Health Records
A Rule Management and Elicitation Tool for SWRL Rule Bases
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems
A Case for Learning Simpler Rule Sets with Multiobjective Evolutionary Algorithms
An Editor for Micro-Concept Rules Design
High-Utility Action Rules Mining
Reducing Probabilistic Logic Programs
RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
Integrating Rule-Based AI Tools into Mainstream Game Development
Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
An ASP-Based Approach to Counterfactual Explanations for Classification
Blockchain Temporality: Smart Contract Time Specifiability with Blocktime
How Ontologies and Rules Help to Advance Automobile Development
Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs
A Rule-Based Language for Integrating Business Process and Business Rules
Uncertain Reasoning for Business Rules
On the Use of Provalets in a Predictive Maintenance Use Case
Developing Situation-Aware Applications for Disaster Management with a Distributed Rule-Based platform
A Demo for Smart City Operation Center
Diamond Debugger Demo: Rete-Based Processing of Linked Data
R-DEVICE: A Deductive RDF Rule Language
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi
Browsing Case-law: an Application of the Carneades Argumentation System
Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language
Compact Representation of Conditional Probability for Rule-Based Mobile Context-Aware Systems
PyIDS - Python Implementation of Interpretable Decision Sets Algorithm by Lakkaraju et al, 2016
Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG
Combining Rules and Ontologies with Carneades
Distributed Rule-based Agents with Rule Responder and Reaction RuleML 1.0
Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables - (Abstract of Keynote Talk)
Automatically Linking Concepts in Distributed, Cloud-Based Manufacturing Environments
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification
Rule-Based Contextual Reasoning in Ambient Intelligence
BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules
Ontology Patterns for Complex Activity Modelling
PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes
Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning
A System for Nonmonotonic Rules on the Web
Handling Complex Process Models Conditions Using First-Order Horn Clauses
A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-
Using Rule-Based Reasoning for RDF Validation
AIM: An XML-Based ECA Rule Language for Supporting a Framework for Managing Complex Information
EasyMiner/R Preview: Towards a Web Interface for Association Rule Learning and Classification in R
Rule-Based Distributed and Agent Systems
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
Multiple Revision in Description Logics
A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
Verifying Controllability of Time-Aware Business Processes
Programming in Picat
Querying the Semantic Web with SWRL
Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying
RuleML 1.02: Deliberation, Reaction and Consumer Families
Inducing Schema.org markup from Natural Language Context
Personal Agents in the Rule Responder Architecture
Modal Rules: Extending Defeasible Logic with Modal Operators
SBVR to OWL 2 Mapping in the Domain of Legal Rules
Query Answering in Fuzzy DL-Lite with Graded Axioms
Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design
Business Rules Uncertainty Management with Probabilistic Relational Models
An ASP-based Solution for Operating Room Scheduling with Beds Management
Rule-Based Complex Event Processing for Food Safety and Public Health
Relaxed Safeness in Datalog-Based Policies
An Overview of the Ciao System
Enabling Knowledge-Based Complex Event Processing
Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26 - 28 September, 2022
Adapting the Rete-Algorithm to Evaluate F-Logic Rules
Deep Learning for the Identification of Decision Modelling Components from Text
Seminaïve Materialisation in DatalogMTL
The Use of Ontologies and Rules to Assist in Academic Advising
Dischargeable Obligations in Abductive Logic Programming
SWRL2SPIN: Converting SWRL to SPIN
XET as a Rule Language for Consistency Maintenance in UML
Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems
SymposiumPlanner-2011: Querying Two Virtual Organization Committees
Fill the Gap in the Legal Knowledge Modelling
Proposal for Using NLP Interchange Format for Question Answering in Organizations
Extending SWRL to Express Fully-Quantified Constraints
Bringing OWL Ontologies to the Business Rules Users
Semantic Characterizations of AGM Revision for Tarskian Logics
Reasoning over Health Records with Vadalog: a Rule-based Approach to Patient Pathways
Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Please Pass the Rules: A Rule Interchange Demonstration
Rule Learning for Feature Values Extraction from HTML Product Information Sheets
Cardinality Restrictions Within Description Logic Connection Calculi
Minimal Objectification and Maximal Unnesting in PSOA RuleML
BIOQUERY-ASP: Querying Biomedical Ontologies using Answer Set Programming
Action Rules: Counterfactual Explanations in Python
Rule-Enhanced Domain Models for Cloud Security Governance, Risk and Compliance Management
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling
Why Rules Matter in Complex Event Processing...and Vice Versa
NIEM Canonical XML Dictionaries and Rule Engine Systems
Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario
Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web
A Logical Characterization of a Reactive System Language
The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice
Existential Rules and Bayesian Networks for Probabilistic Ontological Data Exchange
Visualization of Proofs in Defeasible Logic
Specifying PSOA RuleML/XML 1.03: MYNG-modularized Schemas for the RNC & XSD Validation of XSLT-normalized Data and Knowledge
SBVR based Business Contract and Business Rule IDE
Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder
Photorealistic Semantic Web Service Groundings: Unifying RESTful and XML-RPC Groundings Using Rules, with an Application to Flickr
Realizing Integrated Service Delivery through a Language for Collective Understanding of Business Rules
The SDL Library: Querying a Relational Database with an Ontology, Rules and the Jess Engine
Correctness of Automatically Generated Choreography Specifications
Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
On the Creation of Structural FaceBook using Rule-Based Methods to Build and Exchange Ontology for Drug Design
An SBVR Framework for RESTful Web Applications
Superiority Based Revision of Defeasible Theories
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18 - 20 September, 2023
Understanding NIEM and Rules Needs
Detection of Suspicious Activity Using Different Rule Engines - Comparison of BaseVISor, Jena and Jess Rule Engines
Leibniz on Reasoning about Impossible Concepts
A Framework for the Automatic Extraction of Rules from Online Text
Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web
Concurrent Task Programming of Robotic Agents in TeleoR
Graph-based Rule Editor
Knowledge-based Highly-specialized Terrorist Event Extraction
A Production Rule-Based Framework for Causal and Epistemic Reasoning
FOWLA, A Federated Architecture for Ontologies
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
Rewriting Queries for Web Searches That Use Local Expressions
Classification based on Associations (CBA) - A Performance Analysis
Representing and executing a Medical Guideline using Prova
Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents
Requirement Compound Mining and Analysis
SWRLp: An XML-Based SWRL Presentation Syntax
Combining Acquisition and Debugging of Business Rule Models
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF
A Rule-Based eCommerce Methodology for the IoT Using Trustworthy Intelligent Agents and Microservices
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic
On the k-Boundedness for Existential Rules
Rule-Based Framework for Automated Negotiation: Initial Implementation
Rules and Policy Based Handling of XML in Government Contexts Including NIEM - (Abstract of Tutorial)
Combining Rule and Ontology Reasoners for the Semantic Web
Rule-Based Exploration of Structured Data in the Browser
Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information
EASE: Enabling Hardware Assertion Synthesis from English
Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs
On the Chase for All Provenance Paths with Existential Rules
Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Error-Tolerant Reasoning in the Description Logic E ℒ Based on Optimal Repairs
Efficient Rule and Query Execution with CLIF++
Using Rules to Animate Prolog Programs
Using Rule Technology for Fraud Prevention in Government Insurance
SWRL-Based Context Awareness for Application Servers Hosting Digital Services
Semantic Web Rules: Covering the Use Cases
Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers
RuleML - DMN Translator
Fast ABox Consistency Checking Using Incomplete Reasoning and Caching
Augmenting a Feature Set of Movies Using Linked Open Data
Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings
Standards, Data Models, Ontologies, Rules: Prerequisites for Comprehensive Clinical Practice Guidelines
Rule-based Reasoning in Semantic Text Analysis
On Extending RuleML for Modal Defeasible Logic
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models
RuleML 1.0: The Overarching Specification of Web Rules
Computing Temporal Defeasible Logic
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog
VRule - A Rule-Based Pixel Rewriting System for End-User Modeling
A Few English Words Can Help Improve Your Russian
Sensitivity of Multi-dimensional Bayesian Classifiers
Vector Valued Markov Decision Process for robot platooning
Towards Argumentation-based Multiagent Induction
DeepDFA: Automata Learning through Neural Probabilistic Relaxations
Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction
Counterfactual Reasoning for Bias Evaluation and Detection in a Fairness Under Unawareness Setting
Constrained LLM-Based Query Generation for Question Answering on Official Statistics
Label Aggregation with Self-Supervision Enhanced Graph Transformer
Learning to Ground Fact Symbols in Behavior-Based Robots
Efficient Policy Iteration for Periodic Markov Decision Processes
An Equilibrium Analysis of Competing Double Auction Marketplaces Using Fictitious Play
Symmetry Breaking in Constraint Programming
On the Manipulability of Maximum Vertex-Weighted Bipartite b-Matching Mechanisms
More (Enough) Is Better: Towards Few-Shot Illegal Landfill Waste Segmentation
Base Revision Operations and Schemes: Semantics, Representation and Complexity
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern
Understanding the Impact of Human Oversight on Discriminatory Outcomes in AI-Supported Decision-Making
Automatic Generation of Typicality Measures for Spatial Language in Grounded Settings
Retraction in Terminological Knowledge Bases
Possibilistic Influence Diagrams
Heuristics for Dynamically Adapting Propagation
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge - Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
Modelling Temporal Relationships in Pseudomonas Aeruginosa Antimicrobial Resistance Prediction in Intensive Care Unit
A Collision Avoiding Six Legged Walking Machine Based on Kohonen Feature Maps
GOSU: computing GOal SUpport with commitments in multiagent systems
How to center AI on humans
Verifying Properties of Infinite Sequences of Description Logic Actions
An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization
Belief-Goal Relationships in Possibilistic Goal Generation
MCAHNN: Multi-Channel EEG Emotion Recognition Using Attention Mechanism Based on Householder Reflection
Uncertainty Propagation for Efficient Exploration in Reinforcement Learning
Generalised Subsumption and its Applications to Induction and Redundancy
Multilayer Collaborative Low-Rank Coding Network for Robust Deep Subspace Discovery
Cooperatives for Demand Side Management
From Eigentrust to a Trust-Measuring Algorithm in the Max-Plus Algebra
Event Processing for Intelligent Resource Management
Finding Social Network for Trust Calculation