| Autor: |
RUBINO, ROSSELLA, ROTOLO, ANTONINO |
| Přispěvatelé: |
G. GOVERNATORI, J. HALL, A. PASCHKE, R. Rubino, A. Rotolo |
| Jazyk: |
angličtina |
| Rok vydání: |
2009 |
| Předmět: |
|
| Popis: |
In this paper we report on a Java implementation of a variant of Temporal Defeasible Logic, an extension of Defeasible Logic developed to capture the concept of temporal persistence. The system consists of three elements: a graphical user interface for selecting defeasible theories, and for visualizing conclusions; a parser, which translates sets of rules in TXT or XML formats; and the inference engine to compute conclusions. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
