Overview of the workshop
Aim of the workshopOur aim is to investigate whether logical methods are applicable to analysis of descriptions in, for instance, In these areas, we have descriptions of some objects and relations between them. These descriptions are either formal or informal (in English or some graph language without precise semantics). We want to conduct logical, computational and mathematical studies that clarify the structure of such descriptions. Aspects of this has been studied in discourse representation theory, constructive type theory and informal logic. Results of earlier studies include object role modelling (ORM), state charts, Toulmin diagrams, goal structuring notation (GSN), grammatical frameworks (GF) and proof assistants. Some applications may be found in the above areas
|
All participants are asked to give a talk. For detailed list of abstracts and speakers/participants please click here.
Organizers- Yoshiki Kinoshita, Kanagawa University, Japan
- Bengt Nordström, Chalmers University of Technology, Sweden
Schedule Logical Analysis of DescriptionsLogical Analysis of Descriptions You can subscribe to the calendar by clicking on the button in the right corner.
|
|