Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content.
Steven O. KimbroughPublished in: ICAIL (2001)
Keyphrases
- multi valued
- formal theory
- digital objects
- theoretical framework
- spatial relations
- object representation
- object representations
- data objects
- representation scheme
- propositional logic
- causal reasoning
- d objects
- multimedia
- object model
- semantic information
- image representation
- relative position
- deductive reasoning
- information systems
- qualitative reasoning
- multiple objects
- web content
- first order logic
- moving objects