Paul Fodor
Original record- Institution
- State University of New York at Stony Brook
- Year
- 2011
- Country
- United States
- MGP identifier
- 154887
Dissertation: Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Michael KiferHebrew University of Jerusalem · 1984
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Tiantian Gao | State University of New York at Stony Brook | 2019 | 0 |
| Yuheng Wang | State University of New York at Stony Brook | 2023 | 0 |