Applying the Mu-Calculus in Planning and Reasoning About Action

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/8.3.425
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Propositional Mu-Calculus Is Elementary

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1984English

Automata for the Mu-Calculus and Related Results

BRICS Report Series
1995English

Probabilistic Temporal Logics via the Modal Mu-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Event Calculus Reasoning Through Satisfiability

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

A Simple Distributed Reasoning System for the Connection Calculus

Vietnam Journal of Computer Science
2014English

Reasoning About Skills and Competencies

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Reasoning About Actions and Change in Argumentation

Argument and Computation
LinguisticsComputer Science ApplicationsArtificial IntelligenceLanguageComputational Mathematics
2015English

Learning and Reasoning About Interruption

2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy