1.
|
A graphic tool for ontology viewing based on graph theory Stradiotto, César - Pacheco, Everton - Bortolon, Andre - Hoeschl, Hugo Cesar
|
2.
|
Autonomous search and rescue rotorcraft mission stochastic planning with generic DBNs Fabiani, Patrick - Teichteil-Königsbuch, Florent
|
3.
|
Reusing optimal TSP solutions for locally modified input instances Hromkovič, Juraj - Böckenhauer, Hans-Joachim - Forlizzi, Luca - Kneis, Joachim - Kupke, Joachim - Proietti, Guido - Widmayer, Peter
|
4.
|
Revisions of orders in dynamic systems Falappa, Marcelo Alejandro - Simari, Patricio D.
|
5.
|
Actions and arguments: preliminaries and examples Simari, Guillermo Ricardo - García, Alejandro Javier
|
6.
|
An argumentative formalism for implementing rational agents Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
7.
|
Formalizando algoritmos concorrentes Diverio, Tiarajú A. - Alves, Rodrigo S. - Ferreira, Simone
|
8.
|
A taxonomy for argumentative frameworks based on labelled deduction Chesñevar, Carlos Iván
|
9.
|
Modeling argumentation with labeled deduction: formalization and theoretical considerations Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
10.
|
Consequence operators for defeasible argumentation: characterization and logical properties Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|