Automated reasoning
Top View
- Lecture Notes in Computer Science 4785 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
- Automated Reasoning and Robotics
- SPASS-XDB Automated Reasoning with World Knowledge
- Trust in ICT 2017
- Polarities & Focussing: a Journey from Realisability to Automated Reasoning
- The Automated-Reasoning Revolution: from Theory to Practice and Back
- Accessible Automated Reasoning for Human Robot Collaboration
- Cognitive Systems and Question Answering
- Argumentation: Reconciling Human and Automated Reasoning
- Draft Revised Technical Paper TP.FNTP
- Machine Learning for Automated Reasoning
- Automated Reasoning Lecture 1: Introduction
- Natural Language Understanding Using Temporal Action Logic
- Research Challenges and Opportunities in Knowledge Representation
- Open Domain Question Answering and Commonsense Reasoning
- Large Formal Wikis: Issues and Solutions?
- An Introduction to Ontology Engineering
- Automating Automated Reasoning the Case of Two Generic Automated Reasoning Tools