Reasoning with Actions in Transaction Logic

2011 ◽  
pp. 201-216 ◽  
Author(s):  
Martín Rezk ◽  
Michael Kifer
Keyword(s):  
Transaction Logic

scholarly journals Research on Innovation of Design Education Based on Artificial Intelligence Technology

2021 ◽  
Vol 2136 (1) ◽  
pp. 012055
Author(s):  
Yan Yang ◽  
Zijian Sha
Keyword(s):  
Information Exchange ◽  
Design Education ◽  
Teaching Quality ◽  
Network Teaching ◽  
Server Side ◽  
Experimental Teaching ◽  
Artificial Intelligence Technology ◽  
Innovative Thinking ◽  
Teaching Efficiency ◽  
Transaction Logic

Abstract The network teaching assistance system uses the form of dialogue to discuss the teaching content with students, the course schedule arrangement, the way and technology of teaching and training, which can effectively improve the teaching quality, shorten the teaching time and increase the teaching efficiency to achieve the established optimization of teaching purposes. In this paper, a forum system for experimental teaching is proposed, which aims to establish a public communication platform to serve the experimental teaching process, and to apply it to the exchange and study between the experimental instructors and students. Through text multimedia technology, the quality of experimental teaching is improved, and students’ practical ability and innovative thinking are cultivated. The experimental teaching forum uses B/S structure to design the interactive platform of information exchange, and presents the information to the user through the browser. The transaction logic is processed by the server side, and the front-end represents the exchange of information.

Sign in / Sign up

Export Citation Format

Share Document