Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog.
Gianluca AmatoMary DeMarcoJames LiptonPublished in: CoRR (2024)
Keyphrases
- neural network
- higher order
- multi agent
- probabilistic model
- classification models
- statistical models
- image sequences
- statistical model
- artificial intelligence
- software engineering
- mathematical models
- experimental data
- logic programs
- graphical models
- data mining
- knowledge representation
- database
- machine learning
- decision trees
- knowledge base
- decision making
- search engine