Bliksem
From MaRDI portal
Software:33154
swMATH21346MaRDI QIDQ33154FDOQ33154
Author name not available (Why is that?)
Cited In (15)
- Resolution-based methods for modal logics
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Octopus: combining learning and parallel search
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Computer supported mathematics with \(\Omega\)MEGA
- Combined reasoning by automated cooperation
- Title not available (Why is that?)
- Resolution in modal, description and hybrid logic
- Knowledge-based proof planning
- Automated proof construction in type theory using resolution
- Model evolution with equality -- revised and implemented
- Limited resource strategy in resolution theorem proving
- Deciding the guarded fragments by resolution
- Proof planning with multiple strategies
This page was built for software: Bliksem
