[BOOK][B] Commonsense reasoning: an event calculus based approach

ET Mueller - 2014 - books.google.com
To endow computers with common sense is one of the major long-term goals of artificial
intelligence research. One approach to this problem is to formalize commonsense reasoning …

[HTML][HTML] Limited resource strategy in resolution theorem proving

A Riazanov, A Voronkov - Journal of Symbolic Computation, 2003 - Elsevier
For most applications of first-order theorem provers a proof should be found within a fixed
time limit. When the time limit is set, systems can perform much better by using algorithms …

Term indexing

R Sekar, IV Ramakrishnan, A Voronkov - Handbook of automated …, 2001 - dl.acm.org
Term indexing | Handbook of automated reasoning skip to main content ACM Digital Library
home ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register …

[HTML][HTML] Computer supported mathematics with ΩMEGA

J Siekmann, C Benzmüller, S Autexier - Journal of Applied Logic, 2006 - Elsevier
Classical automated theorem proving of today is based on ingenious search techniques to
find a proof for a given theorem in very large search spaces—often in the range of several …

[BOOK][B] Implementing an efficient theorem prover

A Riazanov - 2003 - search.proquest.com
Since the invention of resolution and paramodulation calculi, theoretical re-search in the
area of resolution-based theorem proving has achieved a remarkable progress in …

Proof Development with Ωmega: The Irrationality of

J Siekmann, C Benzmüller, A Fiedler, A Meier… - Thirty five years of …, 2003 - Springer
The well-known theorem asserting the irrationality of\sqrt 2 was proposed as a case study for
a comparison of fifteen (interactive) theorem proving systems Wiedijk, 2002. This represents …

Algorithms, datastructures, and other issues in efficient automated deduction

A Voronkov - International Joint Conference on Automated …, 2001 - Springer
Algorithms and data structures form the kernel of any efficient theorem prover. In this abstract
we discuss research on algorithms and data structures for efficient theorem proving based …

[PDF][PDF] Automated reasoning: Past story and new trends

A Voronkov - IJCAI, 2003 - cs.nott.ac.uk
We overview the development of first-order automated reasoning systems starting from their
early years. Based on the analysis of current and potential applications of such systems, we …

ΩMEGA: Resource-adaptive processes in an automated reasoning system

S Autexier, C Benzmüller, D Dietrich… - Resource-adaptive …, 2010 - Springer
ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System Page 1 ΩMEGA:
Resource-Adaptive Processes in an Automated Reasoning System Serge Autexier, Christoph …

Ωmega: Computer Supported Mathematics

J Siekmann, C Benzmüller - KI 2004: Advances in Artificial Intelligence …, 2004 - Springer
The year 2004 marks the fiftieth birthday of the first computer generated proof of a
mathematical theorem:“the sum of two even numbers is again an even number”(with Martin …