Preface empirically successful first order reasoning

Stephan Schulz, Geoffrey Sutcliffe, Tanel Tammet

Research output: Contribution to journal › Article

Original languageEnglish (US)
Pages (from-to)1-2
Number of pages2
JournalInternational Journal on Artificial Intelligence Tools
Volume15
Issue number1
DOIs
StatePublished - Feb 2006

Fingerprint

Theorem proving

Keywords

  • Empirical
  • First-order
  • Reasoning
  • Theorem proving

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Preface empirically successful first order reasoning. / Schulz, Stephan; Sutcliffe, Geoffrey; Tammet, Tanel.

In: International Journal on Artificial Intelligence Tools, Vol. 15, No. 1, 02.2006, p. 1-2.

Research output: Contribution to journal › Article

Schulz, S, Sutcliffe, G & Tammet, T 2006, 'Preface empirically successful first order reasoning', International Journal on Artificial Intelligence Tools, vol. 15, no. 1, pp. 1-2. https://doi.org/10.1142/S0218213006002539
Schulz S, Sutcliffe G, Tammet T. Preface empirically successful first order reasoning. International Journal on Artificial Intelligence Tools. 2006 Feb;15(1):1-2. https://doi.org/10.1142/S0218213006002539
Schulz, Stephan ; Sutcliffe, Geoffrey ; Tammet, Tanel. / Preface empirically successful first order reasoning. In: International Journal on Artificial Intelligence Tools. 2006 ; Vol. 15, No. 1. pp. 1-2.
@article{75aad09635e14eb6968ebdfc30fe72f4,
title = "Preface empirically successful first order reasoning",
keywords = "Empirical, First-order, Reasoning, Theorem proving",
author = "Stephan Schulz and Geoffrey Sutcliffe and Tanel Tammet",
year = "2006",
month = "2",
doi = "10.1142/S0218213006002539",
language = "English (US)",
volume = "15",
pages = "1--2",
journal = "International Journal on Artificial Intelligence Tools",
issn = "0218-2130",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "1",

}

TY - JOUR

T1 - Preface empirically successful first order reasoning

AU - Schulz, Stephan

AU - Sutcliffe, Geoffrey

AU - Tammet, Tanel

PY - 2006/2

Y1 - 2006/2

KW - Empirical

KW - First-order

KW - Reasoning

KW - Theorem proving

UR - http://www.scopus.com/inward/record.url?scp=33746227628&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33746227628&partnerID=8YFLogxK

U2 - 10.1142/S0218213006002539

DO - 10.1142/S0218213006002539

M3 - Article

AN - SCOPUS:33746227628

VL - 15

SP - 1

EP - 2

JO - International Journal on Artificial Intelligence Tools

JF - International Journal on Artificial Intelligence Tools

SN - 0218-2130

IS - 1

ER -

Access to Document