Work

Simple dynamic logic with parallel composition and applications to planning

Year: 2025

Type: article

Source: Journal of Logic and Computation

DOI: 10.1093/logcom/exaf077

Authors: Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey

Institutions: Centre National de la Recherche Scientifique, Institut de Recherche en Informatique de Toulouse, Université de Toulouse, University of Bergen

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7125966938

FWCI:

Cites: 23

Cited by:

Related to: