Extensiones no justificadas en lógica default
Se retoma la problemática de extensiones no justificadas en lógica default explorando las posibilidades de debilitar transitividad a fin de que tales extensiones no sean obtenidas por el sistema evitando la necesidad de recurrir a default semi-normales o al uso de preferencias explícitas.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | conferenceObject |
| Lenguaje: | Español |
| Publicado: |
Pío García
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/3902 |
| Aporte de: |
| Sumario: | Se retoma la problemática de extensiones no justificadas en lógica default explorando las
posibilidades de debilitar transitividad a fin de que tales extensiones no sean obtenidas por
el sistema evitando la necesidad de recurrir a default semi-normales o al uso de preferencias
explícitas. |
|---|