scientific article; zbMATH DE number 7440227

zbMath1483.68391arXiv1606.07528MaRDI QIDQ5015399

Yanjun Li, Yanjing Wang, Quan Yu

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1606.07528

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

A logic of goal-directed knowing how ⋮ Achieving While Maintaining:

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On axiomatizations of public announcement logic
• Conformant planning via symbolic model checking and heuristic search
• Dynamic epistemic logic
• Conformant plans and beyond: principles and complexity
• A note on the space complexity of some decision problems for finite automata
• Logics for epistemic programs
• Conformant planning via heuristic forward search: A new approach
• Model checking propositional dynamic logic with all extras
• Belief Tracking for Planning with Sensing: Width, Complexity and Approximations
• Epistemic planning for single- and multi-agent systems
• Conditional Epistemic Planning
• DEL Planning and Some Tractable Cases
• DEL-sequents for regression and epistemic planning
• Knowledge-based programs

This page was built for publication: