Algorithms to detect chained-inference faults in information distribution systems
Proceedings of the 2001 ACM symposium on Applied computing
A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
Labelled Modal Logics: Quantifiers
Journal of Logic, Language and Information
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann
Journal of Logic, Language and Information
Coordination of a Parallel Proposition Solver
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
CL '00 Proceedings of the First International Conference on Computational Logic
A relevance restriction strategy for automated deduction
Artificial Intelligence
Prolog query interface: a set-of-mappings approach with optional segmentation
International Journal of Computers and Applications
Journal of Automated Reasoning
On constructive cut admissibility in deduction modulo
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Characterizing an extended fuzzy logic system with temporal attributes for real-time expert systems
ISTASC'10 Proceedings of the 10th WSEAS international conference on Systems theory and scientific computation
Fundamenta Informaticae
| Hi-index | 0.00 |