Sciweavers

Share
20 search results - page 1 / 4
» cade 2015
Sort
View
CADE
2015
Springer
4 years 7 months ago
There is no one Logic to Model Human Reasoning: the Case from Interpretation
Alexandra Varga, Keith Stenning, Laura Martignon
CADE
2015
Springer
4 years 7 months ago
Termination Competition (termCOMP 2015)
Abstract. The termination competition focuses on automated termination analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programm...
Jürgen Giesl, Frédéric Mesnard,...
CADE
2015
Springer
4 years 7 months ago
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., “xn ∈ Q” and “xn ∈ Z.” Our decision procedure combines ...
Grant Olney Passmore
CADE
2015
Springer
4 years 7 months ago
A Formalisation of Finite Automata Using Hereditarily Finite Sets
Abstract. Hereditarily finite (HF) set theory provides a standard universe of sets, but with no infinite sets. Its utility is demonstrated through a formalisation of the theory o...
Lawrence C. Paulson
CADE
2015
Springer
4 years 7 months ago
A Computational Logic Approach to Syllogisms in Human Reasoning
Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show tha...
Emanuelle-Anna Dietz
books