Goal-Conflict Detection Based on Temporal Satisfiability Checking

In this oral communication, we present a novel approach to automatically compute boundary conditions for conflicting goals expressed in LTL, using a satisfiability procedure based on tableaux.

Guardado en:

Detalles Bibliográficos
Autores principales:	Degiovanni, Renzo, Ricci, Nicolás, Castro, Pablo Francisco
Formato:	Objeto de conferencia Resumen
Lenguaje:	Inglés
Publicado:	2017
Materias:	Ciencias Informáticas Linear Temporal Logic
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/66098 http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/ASSE/asse-06.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Logical foundations and implementation of an extension of temporal logic
por: Cobo, María Laura, et al.
Publicado: (2000)

Specifying event-based systems with a counting fluent temporal logic
por: Regis, G., et al.

Specifying event-based systems with a counting fluent temporal logic
Publicado: (2015)

Fundamentos lógicos e implementación de una extensión a temporal Prolog
por: Cobo, María Laura, et al.
Publicado: (1998)

Programación en lógica temporal basada en los operadores Since y Until
por: Cobo, María Laura, et al.
Publicado: (1998)

Temporal Reasoning and MAS
por: Smith, Clara Patricia, et al.
Publicado: (2011)

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
por: Mac Donnell, Patricio, et al.
Publicado: (2005)

An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)
por: Budán, Maximiliano Celmo David, et al.
Publicado: (2012)

Using abduction and induction for operational requirements elaboration
por: Alrajeh, D., et al.

Using abduction and induction for operational requirements elaboration
Publicado: (2009)

Interpretability of first-order linear temporal logics in fork algebras
por: Frias, M.F., et al.

Interpretability of first-order linear temporal logics in fork algebras
Publicado: (2006)

EMTPL and its relation to first order logic
por: Cobo, María Laura, et al.
Publicado: (2004)

Verificación de propiedades temporales de diseños community: un caso de estudio
por: Aguirre, Nazareno Matías, et al.
Publicado: (2005)

ACoRe: Automated Goal-Conflict Resolution
por: Carvalho, Luiz, et al.
Publicado: (2023)

Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
por: Regis, Germán, et al.
Publicado: (2016)

The Linear Logical Abstract Machine
por: Bonelli, Eduardo
Publicado: (2006)

Compuertas lógicas digitales
por: Estrebou, César Armando
Publicado: (2015)

A finer grained modeling of rational coalitions using goals
por: Bulling, Nils, et al.
Publicado: (2008)

Teoría de prueba con etiquetas para lógicas modales intuicionistas
por: Morales, Marianela
Publicado: (2019)

Teoría de prueba con etiquetas para lógicas modales intuicionistas
por: Morales, Marianela
Publicado: (2019)

Satisfying safety goals by probabilistic risk assessment /
por: Kumamoto, Hiromitsu
Publicado: (2007)

Un nuevo índice métrico-temporal: el historical FHQT
por: De Battista, Anabella, et al.
Publicado: (2007)

Razonamiento temporal métrico
por: Cobo, María Laura, et al.
Publicado: (2002)

Temporal perception and delay aversion: a videogame screening tool for the early detection of ADHD
por: Méndez Oehninger, Andrés Hugo, et al.
Publicado: (2015)

Ethereum smart contracts verification : a survey and a prototype tool
por: Bogdanich Espina, Vera
Publicado: (2019)

Ethereum smart contracts verification : a survey and a prototype tool
por: Bogdanich Espina, Vera
Publicado: (2019)

Ethereum smart contracts verification : a survey and a prototype tool
por: Bogdanich Espina, Vera
Publicado: (2019)

Patterns in temporal series of meteorological variables using SOM & TDIDT
por: Cogliati, Marisa Gloria, et al.
Publicado: (2006)

On checking timed automata for linear duration invariants
por: Braberman, Victor Adrian, et al.

On checking timed automata for linear duration invariants
por: Braberman, Víctor Adrián
Publicado: (1998)

Modelización y verificación automática de un proceso software
por: Sosa, Mabel, et al.
Publicado: (2005)

About the use of time on argumentative systems
por: Cobo, María Laura, et al.
Publicado: (2005)

Game-based approach for modeling dialectical analysis
por: Cecchi, Laura, et al.
Publicado: (2001)

An experimental tool for checking probabilistic program refinement
por: Gonzalía, Carlos José
Publicado: (2012)

Argumentación temporal utilizando Labeled-DeLP
por: Budán, Maximiliano Celmo David, et al.
Publicado: (2011)

Hacia una teoría de revisión temporal
por: Cobo, María Laura, et al.
Publicado: (2003)

Procesamiento de join espacio-temporal
por: Diaz, Anibal Jorge, et al.
Publicado: (2005)

Tableaux and model checking for memory logics
por: Areces, C., et al.

Tableaux and model checking for memory logics
Publicado: (2009)