MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "First Order Meta Theories." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

System Description: Proof Planning in Higher-Order Logic with
by Julian Richardson, Alan Smaill, Ian Green — 1998 — 15th International Conference on Automated Deduction, volume 1421 of Lecture Notes in Artificial Intelligence
…) is naturally higher-order, and although it is possible to reason about such objects in a first-order meta-theory…
Cited by 51 (8 self) – Add To MetaCart

A KADS/(ML)² Model of a Scheduling Task
by Ellis Horwood, John Balder, Frank Van Harmelen, Manfred Aben — 1993
… of the inferencelayer. We moved to a qdl formalism because we found first order meta-theories an insufficient device…
Add To MetaCart

First-Order, Curry-Typed Logic for Natural Language Semantics
by Chris Fox, Shalom Lappin, Carl Pollard — 2002 — In Proc. of the Workshop on Natuaral Language Understanding and Logic Programming
… logical constants. A first-order meta-theory then allows us to evaluate the truth conditions of terms…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB