Citations: for second order logic this is less so - order, the, natural...
...For first order logic, the embedding is natural, but e.g. for second order logic this is less so.....For first order logic, the embedding is natural, but e.g. for second order logic this is less so.....For first order logic, the embedding is natural, but e.g. for second order logic this is less so..
http://citeseer.ist.psu.edu/context/758316/0, score=33, date indexed=January 22, 2005, 4:46 am

Citations: Object-oriented first-order logic - Amir (ResearchIndex)
...The algorithms for the object oriented first order logic suggest that the added structure of object.....The algorithms for the object oriented first order logic suggest that the added structure of object.....Object-oriented first-order logic. Linkoping Electronic Articles in Computer and Information Science..
http://citeseer.ist.psu.edu/context/1779220/233740, score=33, date indexed=January 22, 2005, 10:42 pm

Citations: Conceptual clustering in a first order logic representation -...
...Bisson, Conceptual Clustering in a First Order Logic Representation, in Proceedings of Tenth European.....Conceptual clustering in a first-order logic representation, Proceedings of the 10 th ECAI, Vienna, pp.....is a growing interest in first order learners, however existing proposals for distances between..
http://citeseer.ist.psu.edu/context/10093/0, score=32, date indexed=December 29, 2004, 11:19 pm

first-order logic from FOLDOC
...Second-order logic can quantify over functions on propositions, and higher-order logic can.....In first-order logic quantifiers always range over ALL the elements of the domain of.....The Realm of First-Order Logic", Jon Barwise, Handbook of Mathematical Logic (Barwise, ed..
http://lgxserver.uniba.it/lei/foldop/foldoc.cgi?first-order+logic, score=32, date indexed=April 2, 2005, 3:54 am

Citations: Functional Instantiation in First Order Logic - Boyer,...
...Moore, Functional Instantiation in First Order Logic, in Artificial Intelligence and Mathematical.....The first appendix documents a macro DEFN FO built on top of DEFN SK which does some first order.....To appear in the proceedings of the 1989 Workshop on Programming Logic, Programming..
http://citeseer.ist.psu.edu/context/109121/0, score=32, date indexed=December 27, 2004, 2:06 pm

The Language of First-Order Logic (Macintosh program Tarski's World 4.0),...
...The Language of First-order Logic is available in versions for Macintosh and Microsoft.....The Language of First-order Logic presents a new approach to teaching first-order logic. Taking.....The Language of First-order Logic contains hundreds of problems and exercises. An instructor's manual..
http://csli-publications.stanford.edu/site/0937073997.html, score=32, date indexed=July 9, 2005, 9:59 am

Re: SWRL first-order logic
...The folks who brought us RDF, OWL, RuleML, and SWRL, > have now given us a version of first-order.....org/2004/11/fol/proposal > A Proposal for a SWRL Extension to First-Order Logic > > Following is an.....SWRL first-order logic.. From: "Rich Cooper" <richcooper@mindspring.com> Date: Thu, 4 Nov 2004 07:32..
http://suo.ieee.org/email/msg12757.html, score=31, date indexed=April 4, 2005, 11:05 am

first-order predicate calculus - a Whatis.com definition - see also:...
...First-order logic is symbolized reasoning in which each sentence, or statement, is broken down into a.....The Incompleteness Theorem, proven in 1930, demonstrates that first-order logic is in general.....First-order logic is also known as first-order predicate calculus or first-order functional..
http://www.whatis.com/definition/0,,sid9_gci835674,00.html, score=31, date indexed=June 30, 2005, 8:38 am

Basic Knowledge Representation in First Order Logic
...Basic Knowledge Representation in First Order Logic.. First Order Logic.. A BNF for FOL.. User.....Basic Knowledge Representation in First Order Logic.. 4/4/98.. Click here to start .. Table of.....Higher order logic.. Lambda Operator.. Expressing uniqueness.. Notational differences.. Logical..
http://www.cs.umbc.edu/471/current/lectures/7/index.htm, score=30, date indexed=February 12, 2005, 3:06 pm

SWRL first-order logic
...org/2004/11/fol/proposal A Proposal for a SWRL Extension to First-Order Logic Following is an example.....SWRL first-order logic.. To: standard-upper-ontology@listserv.ieee.org, cg@CS.UAH.EDU, cl@philebus.....SWRL first-order logic ..From: "Rich Cooper" <richcooper@mindspring.com> Prev by Date: Re: Alignment..
http://suo.ieee.org/email/msg12755.html, score=30, date indexed=March 31, 2005, 11:33 pm

Page Previous 1 2 3 Next