988 search results - page 2 / 198 » Tarski's system of geometry |
AAAI
1990
15 years 24 days ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
85
Voted
APAL
2005
14 years 11 months ago
2005
We prove that S4 is complete with respect to Boolean combinations of countable unions of convex subsets of the real line, thus strengthening a 1944 result of McKinsey and Tarski (...
CGA
2008
14 years 11 months ago
2008
172
Voted
CGA
2007
14 years 11 months ago
2007
202
click to vote
ICCSA
2011
Springer
14 years 3 months ago
2011
Springer
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...