Browsing W&L Dept. of Computer Science by Title
Now showing items 9-10 of 10
-
Robot Socrates: Contradiction Identification with Minimum Questioning (thesis)
I develop a concept of computer-assisted Socratic dialogue, aimed to enable productive and efficient argumentation. The goal is a framework for argumentation that is as rigorous as a formal debate, yet as convenient as an ... -
Steinhaus Graph Connectivity: Initial Data and Analysis (thesis)
The goal of this thesis is to obtain and analyze data on the connectivity of Steinhaus graphs.