## Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR91), Volume 2The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms, comparative analysis of competing algorithms and formalisms, and ana |

### What people are saying - Write a review

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

### Contents

3 | |

15 | |

22 | |

32 | |

40 | |

50 | |

61 | |

70 | |

230 | |

250 | |

269 | |

289 | |

313 | |

335 | |

357 | |

376 | |

78 | |

89 | |

99 | |

111 | |

118 | |

128 | |

139 | |

151 | |

163 | |

175 | |

186 | |

208 | |

395 | |

417 | |

441 | |

461 | |

485 | |

507 | |

526 | |

547 | |

570 | |

585 | |

599 | |

### Other editions - View all

### Common terms and phrases

action agent algorithm applied approach arguments Artificial Intelligence assume assumptions axioms belief revision causal clauses complete concept condition consider consistent constraint system contains corresponding database deduction default logic default theory defeasible reasoning defined definition denote derivable diagnosis disjunctive domain epistemic equivalent example expression extension finite first-order first-order logic formal formula function Gardenfors given goal graph Horn clauses inconsistent inference rules interpretation Intuitively Kleer knowledge base knowledge representation language Lemma literals logic program Makinson mapping minimal modal logic modal operators monotonic negation negation as failure nodes notion object operator partial order partial program polynomial postulates predicate prioritization probabilistic probability problem procedure proof properties propositional prove qualitative query reasoning refer relation represent restrictions result satisfies semantics sentences sequence situation sorted atoms specific stable model structure subset subsumption symbols temporal temporal logic Theorem tion true update values variables