`Travelled to:`

1 × France

1 × Israel

1 × USA

`Collaborated with:`

S.Abbas T.Minami T.Takeshima T.Ohtani K.Yocota K.Ohashi

`Talks about:`

argument (2) logic (2) base (2) determinaci (1) construct (1) euodhilo (1) determin (1) approach (1) specifi (1) solvabl (1)

## Person: Hajime Sawamura

### DBLP: Sawamura:Hajime

### Contributed to:

### Wrote 5 papers:

- EDM-2009-AbbasS #learning #using
- an Argument Learning Environment Using Agent-Based ITS (ALES) (SA, HS), pp. 200–209.
- EDM-2008-AbbasS #database #mining #relational #towards
- Towards Argument Mining from Relational DataBase (SA, HS), pp. 202–209.
- CADE-1994-OhtaniSM
- EUODHILOS-II on Top of GNU Epoch (TO, HS, TM), pp. 816–820.
- CLP-1990-SawamuraMYO90 #approach #logic #logic programming #proving #specification
- A Logic Programming Approach to Specifying Logics and Constructing Proofs (HS, TM, KY, KO), pp. 405–424.
- SLP-1985-SawamuraT85 #optimisation #prolog #recursion
- Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization (HS, TT), pp. 200–207.