Preface empirically successful first order reasoning

Stephan Schulz; Geoff Sutcliffe; Tanel Tammet

doi:10.1142/S0218213006002539

Preface empirically successful first order reasoning

Stephan Schulz, Geoff Sutcliffe, Tanel Tammet

Computer Science

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	1-2
Number of pages	2
Journal	International Journal on Artificial Intelligence Tools
Volume	15
Issue number	1
DOIs	https://doi.org/10.1142/S0218213006002539
State	Published - Feb 1 2006

Keywords

Empirical
First-order
Reasoning
Theorem proving

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.1142/S0218213006002539

Cite this

@article{75aad09635e14eb6968ebdfc30fe72f4,

title = "Preface empirically successful first order reasoning",

keywords = "Empirical, First-order, Reasoning, Theorem proving",

author = "Stephan Schulz and Geoff Sutcliffe and Tanel Tammet",

year = "2006",

month = feb,

day = "1",

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, Geoff

AU - Tammet, Tanel

PY - 2006/2/1

Y1 - 2006/2/1

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 - Editorial

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 -