On logical specifications of the Argument Interchange Format.
Floris BexSanjay ModgilHenry PrakkenChris ReedPublished in: J. Log. Comput. (2013)
Keyphrases
- interchange format
- semantic web
- file formats
- high level
- delay insensitive
- written in natural language
- control flow
- neural network
- logical representation
- reactive systems
- supreme court
- legal cases
- hypothetical reasoning
- logical reasoning
- operational semantics
- functional requirements
- graphical representation
- data mining