CAKE: an implemented hybrid knowledge representation and limited reasoning system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Simulating reactive systems by deduction
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |