Semirings, automata, languages
Semirings, automata, languages
The blackboard model of problem solving
AI Magazine
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Computing in Horn clause theories
Computing in Horn clause theories
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
Knowledge Processing in Control Systems
IEEE Transactions on Knowledge and Data Engineering
A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems
IEEE Transactions on Knowledge and Data Engineering
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems
Hybrid Systems V
Hi-index | 48.22 |