IJCAI: Proceedings of the Conference, Volume 2IJCAI, 1993 - Artificial intelligence |
Contents
A Formal Theory of | 845 |
On the Acceptability of Arguments and its Fundamen | 852 |
A Metalogic Programming Approach to Reasoning | 860 |
Copyright | |
65 other sections not shown
Other editions - View all
Common terms and phrases
abductive Abstract accuracy action applied approach argumentation framework arguments Artificial Intelligence attributes causal clause complete Computer concept connectionist constraints construct context corresponding cross-validation data set decision trees defined definition denotes described domain theory error evaluation Figure FOIL framework function given goal heuristic Horn clauses hypothesis implemented induction Inductive Logic Programming inference influence diagram initial input instance interaction interpretation knowledge base knowledge representation learning algorithm linguistic literal Logic Programming Machine Learning method module Morgan Kaufmann multiple neural network newp nodes operator optimal output paper parameters partition patterns performance planner possible predicate problem Proc pruning Quinlan reasoning recursive References relations representation represented retrieval rule induction rules Rumelhart salience search space selection semantic sentence sequence serializable solution specific strategy structure subgoal symbolic syntactic techniques temporal tion TopGen training set translation variables verb