Learning to act and observe in partially observable domains
From MaRDI portal
Publication:6612817
DOI10.1007/978-3-031-47921-2_11MaRDI QIDQ6612817
Andrés Occhipinti Liberman, Nina Gierasimczuk, Thomas Bolander
Publication date: 1 October 2024
artificial intelligencepartial observabilitydynamic epistemic logiclearnabilityaction model learningbehavioural correctness
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Comparison of identification criteria for machine inductive inference
- Introduction to concurrency theory. Transition systems and CCS
- Learning action models from plan examples using weighted MAX-SAT
- Bridging learning theory and dynamic epistemic logic
- Learning regular sets from queries and counterexamples
- Counting extensional differences in BC-learning
- Truth-tracking by belief revision
- Dynamic term-modal logics for first-order epistemic planning
- Learning action models with minimal observability
- Logics for epistemic programs
- STRIPS: A new approach to the application of theorem proving to problem solving
- Modal logic
- A Concise Introduction to Models and Methods for Automated Planning
- Epistemic planning for single- and multi-agent systems
- Learning Actions Models: Qualitative Approach
- Learning by erasing
- The Problem of Learning the Semantics of Quantifiers
- Learning by Erasing in Dynamic Epistemic Logic
- Dynamic logic for belief revision
- Inductive inference of formal languages from positive data
- Learning to act: qualitative learning of deterministic action models
- Exploring an unknown graph
- Action Knowledge Acquisition with Opmaker2
- Exploring Unknown Undirected Graphs
- Exploring Unknown Environments
- Limiting recursion
- Language identification in the limit
- A dynamic logic for learning theory
This page was built for publication: Learning to act and observe in partially observable domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612817)
