Assuring safety in an air traffic control system with defeasible logic programming
Assuring safety in complex technical systems is a crucial issue in several critical applications like air traffic control or medical devices. We present a preliminary framework based on argumentation for assisting flight controllers to reach a decision related to safety constraints in an ever chang...
Guardado en:
| Autores principales: | Gómez, Sergio Alejandro, Goron, Anca, Groza, Adrian |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/41664 http://43jaiio.sadio.org.ar/proceedings/ASAI/3.pdf |
| Aporte de: |
Ejemplares similares
-
Translating a subset of english to defeasible logic programs
por: García, Alejandro Javier, et al.
Publicado: (2000) -
Logical properties in defeasible logic programming -a preliminary report
por: Stankevicius, Alejandro G., et al.
Publicado: (2002) -
Parallel construction of dialectical trees for defeasible logic programming
por: García, Alejandro Javier, et al.
Publicado: (1999) -
Characterizing defeat in observation-based defeasible logic programming
por: Capobianco, Marcela, et al.
Publicado: (2004) -
Formalizing defeasible argumentation using a labeled deductive system
por: Chesñevar, Carlos Iván, et al.
Publicado: (2001)