Preface empirically successful first order reasoning

Stephan Schulz, Geoff Sutcliffe, Tanel Tammet

Research output: Contribution to journalEditorial

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

Keywords

  • Empirical
  • First-order
  • Reasoning
  • Theorem proving

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this