Theme One is a computer program with a dual objective — to perform tasks of inductive and deductive problem-solving that arise in research and to explore the integration of these reasoning types in human and computer information processing.

Publication Date: Aug 9, 1989

Research Interests:
Semiotics, Model Theory, Computer Science, Automata Theory (Formal Languages), Artificial Intelligence, and 28 moreLogic, Machine Learning, Logic Programming, Peirce, Intelligent Systems, Charles S. Peirce, Constraint Programming, Knowledge Representation, Charles Sanders Peirce, Peircean Semiotics, Learning, Programming, C. S. Peirce, Reasoning, Constraint Satisfaction Problems, Formal languages, Inquiry, Learning Theory, Knowledge Representation and Reasoning, Logical Graphs, Differential Logic, Inquiry Driven Systems, Abduction, Deduction, Induction, Multi-Level Formal Languages, Propositional Calculus, Rational Empirical Integration, Turbo Pascal, and Logic of Inquiry

Download (.doc)

Publication Date: Aug 9, 1989

Research Interests:
Artificial Intelligence, Learning, Programming, Reasoning, Inquiry, and 2 moreInquiry Driven Systems and Turbo Pascal

Related Authors

Maria Regina Brioschi

Marc Champagne

Francesco Bellucci

Jon Awbrey

Publication Date: Aug 9, 1989

Publication Date: Aug 9, 1989

Log In