AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)
A Logic of Probability with Decidable Model-Checking
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Weakly complete axiomatization of exogenous quantum propositional logic
Information and Computation
Reasoning about probabilistic sequential programs
Theoretical Computer Science
Learning to assign degrees of belief in relational domains
Machine Learning
Probabilistic Logic over Paths
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Weakly complete axiomatization of exogenous quantum propositional logic
Information and Computation
Rewriting logic and probabilities
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Reasoning about states of probabilistic sequential programs
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
A note on definability in fragments of arithmetic with free unary predicates
Archive for Mathematical Logic
Hi-index | 0.00 |