Amanote Research

Amanote Research

    RegisterSign In

Reasoning About Actions Meets Strategic Logics

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-40948-6_13
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2013

Authors
Andreas HerzigEmiliano LoriniDirk Walther
Publisher

Springer Berlin Heidelberg


Related search

Reasoning About Cooperation, Actions and Preferences

Synthese
PhilosophySocial Sciences
2009English

Reasoning About Plausible Scenarios in Description Logics of Typicality

Intelligenza Artificiale
Artificial Intelligence
2017English

Reasoning About Actions and Change in Argumentation

Argument and Computation
LinguisticsComputer Science ApplicationsArtificial IntelligenceLanguageComputational Mathematics
2015English

PDL-based Framework for Reasoning About Actions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Modal Logics for Qualitative Spatial Reasoning

Logic Journal of the IGPL
Philosophy
1996English

The Complexity of Reasoning With Boolean Modal Logics

2002English

Tailoring Temporal Description Logics for Reasoning Over Temporal Conceptual Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Reasoning About Justified Belief

2011English

Causal Reasoning About Quantities

1990English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy