ERD

Learning a Symbolic Planning Domain through the Interaction with Continuous Environments

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Efficient PAC Reinforcement Learning in Regular Decision Processes

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Extending DL-LiteR TBoxes with View Definitions

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Restraining Bolts for Reinforcement Learning Agents

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

On-the-fly Synthesis for LTL over Finite Traces

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Temporal Logic Monitoring Rewards via Transducers

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Multi-Model Monitoring Framework for Hybrid Process Specifications

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Ontology mediated information extraction in financial domain with Mastro System-T

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

LTLƒ Synthesis with Fairness and Stability Assumptions

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Domain-Independent Reward Machines for Modular Integration of Planning and Learning

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

A Temporal Logic-Based Measurement Framework for Process Mining

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

ElGolog: A High-Level Programming Language with Memory of the Execution History

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Controlled Query Evaluation in Ontology-Based Data Access

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

The Delay and Window Size Problems in Rule-Based Stream Reasoning

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Rational Verification: A Progress Report

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Non-terminating processes in the situation calculus

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

A Reinforcement Learning Environment for Multi-Service UAV-enabled Wireless Systems

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Exploiting Different Levels of Abstractions for Sample Efficient Reinforcement Learning

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

A Survey on Goal Recognition as Planning

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

CQE in Description Logics Through Instance Indistinguishability

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Resources

Selected filters:

Learning a Symbolic Planning Domain through the Interaction with Continuous Environments

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes

Efficient PAC Reinforcement Learning in Regular Decision Processes

Extending DL-LiteR TBoxes with View Definitions

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

Restraining Bolts for Reinforcement Learning Agents

On-the-fly Synthesis for LTL over Finite Traces

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up

Temporal Logic Monitoring Rewards via Transducers

Multi-Model Monitoring Framework for Hybrid Process Specifications

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

Ontology mediated information extraction in financial domain with Mastro System-T

LTLƒ Synthesis with Fairness and Stability Assumptions

Domain-Independent Reward Machines for Modular Integration of Planning and Learning

A Temporal Logic-Based Measurement Framework for Process Mining

ElGolog: A High-Level Programming Language with Memory of the Execution History

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

Controlled Query Evaluation in Ontology-Based Data Access

The Delay and Window Size Problems in Rule-Based Stream Reasoning

Rational Verification: A Progress Report

Non-terminating processes in the situation calculus

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments

A Reinforcement Learning Environment for Multi-Service UAV-enabled Wireless Systems

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models

Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science

Exploiting Different Levels of Abstractions for Sample Efficient Reinforcement Learning

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

A Survey on Goal Recognition as Planning

CQE in Description Logics Through Instance Indistinguishability