Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Simon Cruanes
Logtk : A Logic ToolKit for Automated Reasoning and Its Implementation
Related publications
A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation
Cognitive Science
Cognitive Psychology
Experimental
Artificial Intelligence
Cognitive Neuroscience
Separating Representation, Reasoning, and Implementation for Interaction Management: Lessons From Automated Planning
Lecture Notes in Electrical Engineering
Industrial
Manufacturing Engineering
A Logic for Reasoning About Counterfactual Emotions
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Patterns and Logic for Reasoning With Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Modal Logic for Reasoning About Economic Policies
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Logic-Based Reasoning Support for SBVR
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Toolkit for Automated and Rapid Discovery of Structural Variants
Methods
Biochemistry
Genetics
Molecular Biology
A Modal Temporal Logic for Reasoning About Change
Goals and Benchmarks for Automated Map Reasoning
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
