Searching for authors named "Konstantinos Sirlantzis" – sorted by Relevance.
1 documents found, showing 1 through 1.
-
A Framework for the Merger and Practical Exploitation of Formal Logic and Artificial Neural Networks
- …Abstract—The assimilation of formal logic into the domain of Software Engineering offers the possibility of enormous benefits in terms of software reliability and verifiability. To date, however, the integration of such techniques has proved difficult since they involve a significantly increased bur…
- Add To MetaCart
Showing 1 through 1.
