It ain't necessarily so: Basic sequent systems for negative modalities.
Ori LahavJoão MarcosYoni ZoharPublished in: Advances in Modal Logic (2016)
Keyphrases
- knowledge based systems
- positive and negative
- expert systems
- artificial neural networks
- neural network
- distributed systems
- mobile robot
- learning systems
- computer systems
- intelligent systems
- software development
- management system
- relational databases
- search algorithm
- multi agent
- computer vision
- artificial intelligence
- learning algorithm