A Logic for Veracity: Development and Implementation.
Daniel BrittenSteve ReevesPublished in: CoRR (2024)
Keyphrases
- current status
- case study
- software engineering
- design considerations
- neural network
- object oriented
- future development
- efficient implementation
- experimental verification
- core components
- rapid prototyping
- classical logic
- implementation issues
- multi valued
- implementation details
- database
- information processing
- logic programming
- website
- learning algorithm
- real world
- databases