## Declarative knowledge |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

An occurrencebased model of word categorization | 1 |

P A Bensch and W J Savitch | 17 |

S Costantini G A Lanzarone and L Sbarbaro | 37 |

Copyright | |

2 other sections not shown

### Common terms and phrases

Action Description Language action descriptions action(C admissible w.r.t. algorithm analogical reasoning analogical reflection analogy application approach Artificial Intelligence assumption atom attack body(r Broken Item computed consistent constraints corpus correspondence database datalog defined definition denoted derivation Editors Elman EMAG equational logic programs equational theory example fact finitely failed fluent formal fragile frame problem ground terms Herbrand Herbrand universe holds(P Horn clause hypothesis initial situation intact interpretation introduce language lemma linear loaded metalogic method minimal support multisets MWFI negation as failure negative literal non_specific(a nondeterministic occur Persist(T persistence principle Post(A predicate symbol primitive theory problem Proc procedure Prolog proposition pure models reflection axioms reflection principle self-consistent shared contexts Shoham situation calculus SLDENF-tree specificity stable models subgoals support dag target domain temporal projection temporal reasoning THEOREM unfounded unifiers variables well-founded hypotheses well-founded semantics Yale shooting Yale shooting problem