Syntactical Treatments of Propositional Attitudes.
Michael MorreauSarit KrausPublished in: Artif. Intell. (1998)
Keyphrases
- propositional logic
- first order logic
- attitudes toward
- default logic
- information systems
- probabilistic logic
- multi valued
- modus ponens
- machine learning
- satisfiability testing
- strips planning
- disjunctive logic programming
- deductive reasoning
- information technology
- search algorithm
- search engine
- artificial intelligence