Stop the war!
Остановите войну!
for scientists:
default search action
2nd ARCADE 2019
- Martin Suda, Sarah Winkler:
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019. EPTCS 311, 2019 - Christoph Weidenbach:
The Challenge of Unifying Semantic and Syntactic Inference Restrictions. 5-10 - Claudia Schon, Sophie Siebert, Frieder Stolzenburg:
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. 19-24 - Sarah Winkler, Georg Moser:
Smarter Features, Simpler Learning? 25-31 - Giles Reger:
Boldly Going Where No Prover Has Gone Before. 37-41 - Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler:
On Quantified Modal Theorem Proving for Modeling Ethics. 43-49
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.