Reasoning with PCP-Nets.
Cristina CornelioJudy GoldsmithUmberto GrandiNicholas MatteiFrancesca RossiKristen Brent VenablePublished in: J. Artif. Intell. Res. (2021)
Keyphrases
- reasoning systems
- reasoning process
- knowledge base
- knowledge representation and reasoning
- knowledge representation
- analogical reasoning
- qualitative reasoning
- reasoning tasks
- automated reasoning
- proof theory
- knowledge processing
- consistency checking
- computational properties
- database
- meta level
- bayesian networks
- image sequences
- artificial intelligence
- information retrieval
- databases