ARGOS/V: A System for Verification of Prolog Programs.
Tadashi KanamoriHiroshi FujitaHirohisa SekiKenji HoriuchiMachi MaejiPublished in: FJCC (1986)
Keyphrases
- software engineering
- prolog programs
- logic programs
- formal methods
- artificial intelligence
- development process
- programming language
- model checking
- machine learning
- answer set programming
- database
- open source
- face verification
- logic programming
- computer vision
- real time
- decision trees
- web services
- website
- data mining
- formal verification
- cryptographic protocols
- asynchronous circuits