Rasiowa-Sikorski deduction systems in computer science applications
Theoretical Computer Science
Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Simultaneous Rigid Sorted Unification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Extending the resolution method with sorts
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
PLINI: a probabilistic logic program framework for inconsistent news information
Logic programming, knowledge representation, and nonmonotonic reasoning
| Hi-index | 0.00 |