Copertina

Branching Path Planning with Modal Logics

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Everardo Bárcenas
Natura:	Artículo científico
Lingua:	en
Pubblicazione:	Instituto Politécnico Nacional 2017
Soggetti:	Computación calculus modal logic plan generator model checking Branching shaped (tree) plans
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Counting Logic for Trees
di: Everardo Bárcenas
Pubblicazione: (2015)

Automated Reasoning with Analytic Tableaux and Related Methods
Pubblicazione: (2023)

Sémantique formelle: Volume 1
di: Roussarie, Laurent
Pubblicazione: (2018)

Logical derivation search with assumption traceability
di: Adomas Birštunas
Pubblicazione: (2021)

Discourse Structuring of Dynamic Content
di: Nadjet Bouayad-Agha
Pubblicazione: (2006)

Inferences Between Buridan’s Modal Propositions
di: Jonas Dagys
Pubblicazione: (2022)

Sampling-Based Motion Planning: A Survey
di: Abraham Sánchez López
Pubblicazione: (2008)

Multi-criteria analysis in the strategic environmental assessment of the sugar and alcohol sector
di: Dulce Buchala Bicca Oliveira
Pubblicazione: (2012)

The Relation Between Formal Validity and Epistemic Legitimacy in Modal Arguments with Strong Ontological Consequences
di: Kozłowski, Kornel
Pubblicazione: (2026)

Aristotle and Boethius: Two Theses and Their Possibilities
di: Miguel López-Astorga
Pubblicazione: (2021)

Virtual Assembly Rapid Prototyping of Near Net Shapes
di: Theodore Lim
Pubblicazione: (2009)

Spanish Morphological Generation with Wide-Coverage Lexicons and Decision Trees
di: Daniel Ferrés
Pubblicazione: (2017)

ON THE POSSIBILITY OF A GENERAL PURGE OF SELF-REFERENCE
di: Lucas Rosemblatt
Pubblicazione: (2012)

Formal Methods for Distributed System Development
di: AJAMI, Khalil, et al.
Pubblicazione: (2000)

El nihilismo modal frente al argumento de McFetridge a favor de la necesidad de la creencia en la necesidad
di: José Edgar González Varela
Pubblicazione: (2013)

EL CUADRADO DE OPOSICIÓN COMO INSTRUMENTO DE LA LÓGICA : SU USO Y APLICACIONES EN TOMÁS DE MERCADO
di: Juan Manuel Campos Benítez
Pubblicazione: (2008)

Hierarchical Contour Shape Analysis
di: Daniel Valdes-Amaro
Pubblicazione: (2015)

Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents
di: Jorge Luis Martínez-Valencia
Pubblicazione: (2021)

Towards decision-making and task planning modules for autonomous mini-UAV mission planning in civil applications
di: Asmaa, Idalene, et al.
Pubblicazione: (2026)

Generative Field Theory: A Unified Variational Formulation of Generativity
di: Doy, David Michael
Pubblicazione: (2026)

Contingentism about Individuals and Higher-Order Necessitism
di: MANUEL PÉREZ OTERO
Pubblicazione: (2013)

Transmission expansion planning considering multiple generation scenarios and demand uncertainty
di: Carlos Adrián Correa
Pubblicazione: (2014)

Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model
di: Hanifa Boucheneb
Pubblicazione: (2006)

Recent Trends and Practice in Spatial Planning in Mexico. The Municipal Planning and Research Institutes
di: Sergio Peña
Pubblicazione: (2012)

Action Models with Postconditions
di: Mario Benevides
Pubblicazione: (2017)

Computer Aided Verification
Pubblicazione: (2023)

Italian Journal of Planning Practice
Pubblicazione: (2012)

Plan Maestro para el mantenimiento de los caminos rurales en el Partido (Municipio) de Olavarría
di: O. Fariña
Pubblicazione: (2012)

An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
di: Eduardo Zurek
Pubblicazione: (2015)

User-generated content and travel planning: An application of the theory of planned behavior
di: Luiz Augusto Machado Mendes Filho
Pubblicazione: (2012)

Ep. 1022: Spatial Hacking: The Art of Radical Staycationing
di: Rosehill, Daniel, et al.
Pubblicazione: (2026)

Ep. 375: Firmness, Commodity, and Delight: A Guide to Architecture
di: Rosehill, Daniel, et al.
Pubblicazione: (2026)

Living in a Tin Can on Mercury, Mars, or Venus
di: Rosehill, Daniel, et al.
Pubblicazione: (2026)

Ep. 888: Infrastructure of Survival: Engineering the Modern Siren
di: Rosehill, Daniel, et al.
Pubblicazione: (2026)

Ep. 524: Beyond the Stigma: The New Science of Schizophrenia
di: Rosehill, Daniel, et al.
Pubblicazione: (2026)

Ep. 481: Steel and Stone: Engineering Jerusalem's Pilgrimage Road
di: Rosehill, Daniel, et al.
Pubblicazione: (2026)

Why Jerusalem Feels Unsteered While Its Mayor Keeps Winning
di: Rosehill, Daniel, et al.
Pubblicazione: (2026)

The Journal of Indonesia Sustainable Development Planning
Pubblicazione: (2023)

Computer Aided Verification
Pubblicazione: (2023)

Generative Calculus: A Differential Framework for Possibility, Pattern, and Emergence
di: Doy, David Michael
Pubblicazione: (2026)