Interlingua Mail by subject

• Messages sorted by date
• Other mail archives

• tough nuts schubert@cs.rochester.edu
  • Tough Nuts Michael R. Genesereth
• KIF version 2 review from Gruber Richard Fikes
• tough nuts, with primitives schubert@cs.rochester.edu
  • Re: tough nuts, with primitives Danny Bobrow
• On frames and logic (forwarding a message from Gruber) Richard Fikes
• Re: Minor corrections on refs to LOOM Tom Gruber
• Interlingua for kr-languages Rolf Stachowitz
• definitions David A. McAllester
• Re: Moving the Debate on Definitions Forward Robert MacGregor
  • Re: Moving the Debate on Definitions Forward Peter Norvig
  • Re: Eliminable Definitions David A. McAllester
  • Re: Moving the Debate on Definitions Forward David A. McAllester
• Regarding Implicit AND's Richard Fikes
  • Re: Regarding Implicit AND's Richard Fikes
• Agenda, Time, and Place for AAAI Meeting -- RSVP Please Richard Fikes
• definition-t vs. definition-k Robert MacGregor
• Nebel's approach to recursive definitions David A. McAllester
• news Michael Genesereth
• Recursive Defs nebel@cs.uni-sb.de
• AAAI Meeting Attendees Richard Fikes
• [Ramesh Patil <RAMESH@VAXA.ISI.EDU>: Re: Recursive Defs] Ramesh Patil
• definitions-proposal schubert@cs.rochester.edu
• Comments from Vladimir Lifschitz on the Nonmonotonic Proposal Richard Fikes
• Re: Recursive Defs nebel@cs.uni-sb.de
  • Re: Recursive Defs nebel@cs.uni-sb.de
  • Re: Recursive Defs Ramesh Patil
  • Re: Recursive Defs nebel@cs.uni-sb.de
• alternative interlingua Peter F. Patel-Schneider
  • Re: alternative interlingua Ramesh Patil
  • Re: alternative interlingua Danny Bobrow
  • alternative interlingua Peter F. Patel-Schneider
  • alternative interlingua R. V. Guha
  • Re: alternative interlingua Tom Gruber
  • Re: alternative interlingua Danny Bobrow
  • alternative interlingua Peter F. Patel-Schneider
  • alternative interlingua Peter F. Patel-Schneider
  • Re: alternative interlingua Danny Bobrow
  • alternative interlingua Peter F. Patel-Schneider
  • Re: alternative interlingua Danny Bobrow
  • using the interlingua Peter F. Patel-Schneider
  • alternative interlingua R. V. Guha
  • alternative interlingua R. V. Guha
  • alternative interlingua Peter F. Patel-Schneider
• sharing knowledge Robert MacGregor
• system = logic + control Peter F. Patel-Schneider
• Interlingua Subgroup Membership Peter F. Patel-Schneider
  • Interlingua Subgroup Membership Peter F. Patel-Schneider
• communication and representation hayes@parc.xerox.com
  • Re: communication and representation Michael Genesereth
  • communication and representation hayes@parc.xerox.com
  • communication and representation Peter F. Patel-Schneider
  • Re: communication and representation Ramesh S. Patil
  • communication and representation phayes@cs.uiuc.edu
• RCode vs CCode R. V. Guha
  • RCode vs CCode John McCarthy
• RCode vs. CCode Robert MacGregor
• On the role of quotation in an RCode Robert MacGregor
• ccodes and rcodes Michael Genesereth
• clarification Michael Genesereth
• Labelling propositions Robert MacGregor
  • Re: Labelling propositions Robert MacGregor
  • Re: Labelling propositions Matthew L. Ginsberg
  • Re: Labelling propositions Michael Genesereth
• Re: ccodes and rcodes Ramesh S. Patil
• Intensions Robert MacGregor
• [Ramesh S. Patil <ramesh@vaxa.isi.edu> : Re: ccodes and rcodes ] Michael Genesereth
  • Re: [Ramesh S. Patil <ramesh@vaxa.isi.edu> : Re: ccodes and rcodes ] Danny Bobrow
  • [Ramesh S. Patil <ramesh@vaxa.isi.edu> : Re: ccodes and rcodes ] Peter F. Patel-Schneider
• KIF counterproposal Matthew L. Ginsberg
  • Re: KIF counterproposal Ramesh S. Patil
  • Re: KIF counterproposal Matthew L. Ginsberg
• KIF and packages Tom Gruber
  • Re: KIF and packages Matthew L. Ginsberg
  • Re: KIF and packages Tom Gruber
  • Re: KIF and packages James Rice
• Importing Common Lisp into Interlingua Robert MacGregor
  • Re: Importing Common Lisp into Interlingua James Rice
• Binding Interlingua symbols Robert MacGregor
  • Re: Binding Interlingua symbols James Rice
• term yielding functions vs. predicates Tom Gruber
• A CLASSIC to KIF Exercise Richard Fikes
• MVL theorem proving system available via anonymous ftp Matthew L. Ginsberg
• Interlingua Nonmon Proposal and Meeting Agenda Items Richard Fikes
• Some thoughts on K.I.F. sowa@watson.ibm.com
  • Re: Some thoughts on K.I.F. schubert@cs.rochester.edu
  • Re: Some Thoughts on K.I.F. Jeff Van Baalen
• Proposal about logical syntax for Interlingua John McCarthy
• Some thoughts on K.I.F. requirements hewitt@ai.mit.edu
  • Re: Some thoughts on K.I.F. requirements Michael R. Genesereth
  • Re: Some thoughts on K.I.F. requirements Mark_Stefik.PARC@xerox.com
  • Some thoughts on K.I.F. requirements Marty Tenenbaum
  • K.I.F. for distributed knowledge processing hewitt@ai.mit.edu
• Generalized quantifiers & distributed KIF sowa@watson.ibm.com
• problems with quote Matthew L. Ginsberg
• ANSI X3H4 standards for information interchange sowa@watson.ibm.com
• ANSI X3H4 standards meeting sowa@watson.ibm.com
• ANSI X3H4 meeting next week sowa@watson.ibm.com
  • Re: ANSI X3H4 meeting next week Robert Neches
  • Re: ANSI X3H4 meeting next week Gio Wiederhold
  • Re: ANSI X3H4 meeting next week Robert Neches
• Shared ontologies sowa@watson.ibm.com
  • Re: Shared ontologies Gio Wiederhold
• Multiple ontologies sowa@watson.ibm.com
  • Re: Multiple ontologies Gio Wiederhold
  • Re: Multiple ontologies Gio Wiederhold
  • Re: Multiple ontologies Ramesh Patil
• ANSI IRDS Working Paper sowa@watson.ibm.com
• Coalition of logic-based standards efforts sowa@watson.ibm.com
• Languages and metalanguages sowa@watson.ibm.com
• ISO IRDS meeting in Tokyo sowa@watson.ibm.com
• KB interchange standards Gio Wiederhold
  • KB interchange standards John McCarthy
  • KB interchange standards John McCarthy
• No restraint on creativity sowa@watson.ibm.com
  • Re: No restraint on creativity Matthew L. Ginsberg
• KB interchange standards Tracy Schwartz
  • KB interchange standards Doug Lenat
  • Lenat's note (was Re: KB interchange standards) Robert Neches
  • The Seed and the Scaffold Tom Gruber
  • Consensus knowledge acquisition Randall Davis
  • consensus knowledge acquisition jbrad@atc.boeing.com
  • Re: The Seed and the Scaffold Gio Wiederhold
• Tools to Enable Knowledge Sharing sowa@watson.ibm.com
• seed ontologies jbrad@atc.boeing.com
  • Re: seed ontologies Marc Linster
  • Re: seed ontologies Robert Neches
• SQL and a logic-based standard sowa@watson.ibm.com
  • Re: SQL and a logic-based standard James Fulton
• coalition of logic-based standards Roger M. Burkhart
• Supporting SQL, EXPRESS, etc., with a logic-based standard sowa@watson.ibm.com
• definitions and analytic truth Robert MacGregor
  • Re: definitions and analytic truth Vijay Saraswat
  • Re: Interlingua Reference Manual Richard Fikes
• Definitions and analytic truth sowa@watson.ibm.com
  • definitions and analytic truth schubert@cs.rochester.edu
  • definitions and analytic truth John McCarthy
  • Definitions and analytic truth sowa@watson.ibm.com
  • Re: definitions and analytic truth Richard Fikes
  • definitions and analytic truth John McCarthy
  • Definitions and analytic truth sowa@watson.ibm.com
  • Re: Definitions and analytic truth Richard Fikes
  • Definitions and analytic truth John McCarthy
  • Definitions and analytic truth sowa@watson.ibm.com
  • definitions and analytic truth schubert@cs.rochester.edu
• Resolution of SQL debate sowa@watson.ibm.com
  • Re: Resolution of SQL debate Mark Jones
  • Re: Resolution of SQL debate Kenneth Forbus
  • Re: Resolution of SQL debate Gio Wiederhold
  • Re: Resolution of SQL debate Robert Neches
• Comments on Richard's proposal for definitions Robert MacGregor
• KIF variable syntax Robert MacGregor
• KIF syntax sowa@watson.ibm.com
• conservative definitions John McCarthy
  • conservative definitions David McAllester
• Existence proofs for defined terms sowa@watson.ibm.com
• KIF David McAllester
  • Re: KIF Ramesh Patil
  • KIF David McAllester
  • Re: KIF Ramesh Patil
  • KIF David McAllester
  • Re: KIF Ramesh Patil
  • kif Michael R. Genesereth
  • Re: kif Matthew L. Ginsberg
  • Re: kif Michael R. Genesereth
  • Re: kif Matthew L. Ginsberg
  • Evaluation [was Re: kif ] Robert Neches
  • Re: kif Giuseppe Attardi
  • Re: Evaluation [was Re: kif ] Matthew L. Ginsberg
  • Re: Evaluation [was Re: kif ] Robert Neches
• Typed KIF Robert MacGregor
  • Typed KIF Tom Gruber
• Higher-order logic, tractability, and requirements sowa@watson.ibm.com
  • Higher-order logic, tractability, and requirements sowa@watson.ibm.com
• [schubert@cs.rochester.edu: definitions and analytic truth] David McAllester
• Primitives, definitions, and metalanguage sowa@watson.ibm.com
  • Re: Primitives, definitions, and metalanguage schubert@cs.rochester.edu
  • Primitives, definitions, and metalanguage sowa@watson.ibm.com
• Need for standards sowa@watson.ibm.com
  • Re: Need for standards Mark Jones
• The magic word "definition" Robert MacGregor
• Resolution on common principles sowa@watson.ibm.com
• Report on ANSI X3H4 meeting sowa@watson.ibm.com
  • Re: Report on ANSI X3H4 meeting Matthew L. Ginsberg
  • Re: Report on ANSI X3H4 meeting Peter Karp
  • Re: Report on ANSI X3H4 meeting Ron Brachman
  • Re: Report on ANSI X3H4 meeting YOUR NAME HERE
  • Re: Report on ANSI X3H4 meeting Gio Wiederhold
• Types v. monadic relations Robert MacGregor
  • Re: Types v. monadic relations YOUR NAME HERE
• Re: Standards are coming! Standards are coming!! Matthew L. Ginsberg
  • Standards are coming! Standards are coming!! sowa@watson.ibm.com
• Re: Types v. monadic relations Robert MacGregor
• Requirements for a standard sowa@watson.ibm.com
  • Re: Requirements for a standard Matthew L. Ginsberg
• Types vs. monadic relations sowa@watson.ibm.com
  • Re: Types vs. monadic relations YOUR NAME HERE
  • Types vs. monadic relations sowa@watson.ibm.com
  • Re: sowa v. hayes Pat Hayes
• Standards sowa@watson.ibm.com
• Reply to Matt G. sowa@watson.ibm.com
• Re: Types vs. monadic relations Robert MacGregor
• A few thoughts from the trenches ... Mark Tuttle
• The meaning of "meaning" sowa@watson.ibm.com
  • Re: The meaning of "meaning" Pat Hayes
• Requirements and objectives sowa@watson.ibm.com
• Points of agreement & disagreement sowa@watson.ibm.com
  • Re: Points of agreement & disagreement Pat Hayes
• Final odds & ends sowa@watson.ibm.com
• Knowledge languages vs. programming languages sowa@watson.ibm.com
  • Re: Knowledge languages vs. programming languages Pat Hayes
  • Re: Knowledge languages vs. programming languages sowa@watson.ibm.com
• Conference on Info. and Knowledge Management (CIKM-92) Timothy Finin
• Sets, plurals, and mereology sowa@watson.ibm.com
  • Re: Sets, plurals, and mereology Pat Hayes
• Re: Reply to Pat Hayes & Chris Menzel schubert@cs.rochester.edu
  • Reply to Pat Hayes & Chris Menzel sowa@watson.ibm.com
• Mereology vs. set theory sowa@watson.ibm.com
• Summary of discussion of mereology sowa@watson.ibm.com
• Mereology and (not vs.) set theory sowa@watson.ibm.com
• New KIF Manual, Interlingua Working Group Meeting, Etc. Richard Fikes
• Comments on neww KIF Manual Robert MacGregor
• Working Group Meeting at AAAI'92 Richard Fikes
• Common semantic core sowa@watson.ibm.com
  • Common semantic core sowa@watson.ibm.com
• Response to "Common Semantic Core" Message from Sowa Tony Sarris
• Semantic Core and Ontology sowa@watson.ibm.com
• Discussions about KIF and related issues sowa@watson.ibm.com
• types/sorts, roles, etc. in KIF Tom Gruber
• Ontologies and theories sowa@watson.ibm.com
  • Ontologies and theories John McCarthy
  • Re: Ontologies and Theories Christopher P Menzel
  • Re: Ontologies and theories Tom Gruber
  • Re: Ontologies and theories macgregor@ISI.EDU
  • Re: Ontologies and theories phayes@herodotus.cs.uiuc.edu
• Types, sorts, vocabularies, theories, and ontologies sowa@watson.ibm.com
• Ontology sowa@watson.ibm.com
  • Re: Ontology Robert Neches
• Terminology sowa@watson.ibm.com
• Peirce's rules of inference for existential graphs sowa@watson.ibm.com
  • Re:Peirce's rules of inference for existential graphs phayes@herodotus.cs.uiuc.edu
• Peirce's rules of inference sowa@watson.ibm.com
  • Re: Peirce's rules of inference phayes@herodotus.cs.uiuc.edu
• Contexts sowa@watson.ibm.com
• kif doc Michael R. Genesereth
• More about contexts sowa@watson.ibm.com
  • More about contexts John McCarthy
• Contexts, lifting, and Peirce sowa@watson.ibm.com
• Non-declarative Constructors? macgregor@ISI.EDU
  • Re: Non-declarative Constructors? phayes@herodotus.cs.uiuc.edu
  • Re: Non-declarative Constructors? Tom Gruber
  • Re: Non-declarative Constructors? macgregor@ISI.EDU
  • Re: Non-declarative Constructors? phayes@herodotus.cs.uiuc.edu
• subscription request Dan Schwartz
• Collaboration of KIF, SUMM, and CG developers sowa
• Interlingua mailing list Nuno J. Mamede
• Comments on the KIF, CG, SUMM report sowa
• Joint meeting of ANSI X3H4 and X3H7 sowa
• Re: interlingua Richard Fikes
• Questions about OO models in logic sowa
• Re: Copy of note to Elizabeth Fong phayes@cs.uiuc.edu
• Re: Interoperability of O-O languages and databases Robert Neches
• Re: Interoperability of O-O languages and databases Fred Brkich
• Quantifier syntax in KIF macgregor@isi.edu
  • Re: Quantifier syntax in KIF Michael R. Genesereth
  • Re: Quantifier syntax in KIF phayes@cs.uiuc.edu
  • Re: Quantifier syntax in KIF Michael R. Genesereth
• Re: Issues about contexts and quantifiers phayes@cs.uiuc.edu
  • Re: Issues about contexts and quantifiers Jim Fulton
  • Re: Issues about contexts and quantifiers schubert@cs.rochester.edu
• Contexts and quantifiers in KIF sowa
  • Re: Contexts and quantifiers in KIF Jim Fulton
  • Re: Contexts and quantifiers in KIF sowa
  • Re: Contexts and quantifiers in KIF Chris Menzel
  • Re: Contexts and quantifiers in KIF sowa
  • Re: Contexts and quantifiers in KIF sowa
  • Re: Contexts and quantifiers in KIF Jim Fulton
  • Re: Contexts and quantifiers in KIF Jim Fulton
  • Re: Contexts and quantifiers in KIF sowa
  • Re: Contexts and quantifiers in KIF Jim Fulton
  • Re: Contexts and quantifiers in KIF Chris Menzel
  • Re: Contexts and quantifiers in KIF sowa
  • Re: Contexts and quantifiers in KIF Charles Petrie
  • Re: Contexts and quantifiers in KIF sowa
  • Re: Contexts and quantifiers in KIF Jim Fulton
  • Re: Contexts and quantifiers in KIF sowa
• Quoting and unquoting variables in KIF sowa
  • Re: Quoting and unquoting variables in KIF schubert@cs.rochester.edu
  • Re: Quoting and unquoting variables in KIF sowa
  • Re: Quoting and unquoting variables in KIF schubert@cs.rochester.edu
  • Re: Quoting and unquoting variables in KIF sowa
• Adding "believes" and propositions to KIF? macgregor@ISI.EDU
• Practical effects of all this discussion sowa
  • Re: Practical effects of all this discussion phayes@cs.uiuc.edu
  • Re: Practical effects of all this discussion sowa
  • Re: Practical effects of all this discussion phayes@cs.uiuc.edu
  • Re: Practical effects of all this discussion sowa
• Types, sets, and relations sowa
  • Re: Types, sets, and relations macgregor@ISI.EDU
  • Re: Types, sets, and relations sowa
  • Re: Types, sets, and relations macgregor@ISI.EDU
  • Re: Types, sets, and relations phayes@cs.uiuc.edu
  • Re: Types, sets, and relations phayes@cs.uiuc.edu
  • Re: Types, sets, and relations macgregor@ISI.EDU
• register mineau
• iccs93-prg Guy Mineau
• A question about translating procedural languages Jeffrey Van Baalen
• Trying again to respond sowa
  • Re: Trying again to respond phayes@cs.uiuc.edu
  • Re: Trying again to respond sowa
  • Re: Trying again to respond phayes@cs.uiuc.edu
• attacking others through their equipment Peter F. Patel-Schneider
  • Re: attacking others through their equipment phayes@cs.uiuc.edu
  • Re: attacking others through their equipment Peter F. Patel-Schneider
• 20th Century Mathematics sowa
  • Re: 20th Century Mathematics phayes@cs.uiuc.edu
  • Re: 20th Century Mathematics sowa
  • Re: 20th Century Mathematics phayes@cs.uiuc.edu
  • Re: 20th Century Mathematics sowa
• On semantics, next round phayes@cs.uiuc.edu
• Responding to msgs #68, 69, 70, 71, 88, 91, and 92 sowa
• Re: Responding to all those messages phayes@cs.uiuc.edu
  • Re: Responding to all those messages sowa
  • Re: Responding to all those messages phayes@cs.uiuc.edu
• the great model debate schubert@cs.rochester.edu
• Models and Depictions sowa
  • Re: Models and Depictions schubert@cs.rochester.edu
  • Re: Models and Depictions sowa
  • Re: Models and Depictions Robert Neches
  • Re: Models and Depictions Vijay Saraswat
  • models and depictions Dan Schwartz
  • Re: models and depictions sowa
  • models and depictions Dan Schwartz
• models etc. Dan Schwartz
• add my name Key-Sun CHOI
  • add my name Key-Sun CHOI
• Implications for KIF sowa
  • Re: Implications for KIF schubert@cs.rochester.edu
  • Re: Implications for KIF Robert Neches
  • Re: Implications for KIF sowa
• Getting back to the notes of May 10th sowa
  • Re: Getting back to the notes of May 10th Chris Menzel
  • Re: Getting back to the notes of May 10th sowa
  • Re: Getting back to the notes of May 10th phayes@cs.uiuc.edu
  • Re: Getting back to the notes of May 10th phayes@cs.uiuc.edu
  • Re: Getting back to the notes of May 10th sowa
  • Re: Getting back to the notes of May 10th phayes@cs.uiuc.edu
  • Re: Getting back to the notes of May 10th sowa
• Relation-Argument Relations Fritz Lehmann
• Models Err Fritz Lehmann
  • Re: Models Err Chris Menzel
  • Re: Models Err schubert@cs.rochester.edu
• What happened with types? Fritz Lehmann
• Uncountable sets sowa
  • Re: Uncountable sets phayes@cs.uiuc.edu
  • Re: Uncountable sets sowa
• Re[2]: 20th Century Mathematics John W Nageley
• ANSI and ISO standards activities sowa
• (biassed) summary of the argument so far. phayes@cs.uiuc.edu
  • Re: (biassed) summary of the argument so far. sowa
  • Re: (biassed) summary of the argument so far. phayes@cs.uiuc.edu
  • Re: (biassed) summary of the argument so far. sowa
  • Re: (biassed) summary of the argument so far. phayes@cs.uiuc.edu
  • Re: (biassed) summary of the argument so far. sowa
  • Re: (biassed) summary of the argument so far. phayes@cs.uiuc.edu
  • Re: (biassed) summary of the argument so far. sowa
• Model vs. World Fritz Lehmann
  • Re: Model vs. World schubert@cs.rochester.edu
  • Re: Model vs. World Chris Menzel
• First-Order Programming Theories sowa
  • Re: First-Order Programming Theories Walter G. Wilson
  • Re: First-Order Programming Theories sowa
  • Re: First-Order Programming Theories Walter G. Wilson
• Re: syntax for typed quantification sowa
• An ontology for KIF macgregor@ISI.EDU
  • Re: An ontology for KIF James A. Fulton
  • Re: An ontology for KIF pat hayes
  • Re: An ontology for KIF Tom Gruber
  • Re: An ontology for KIF macgregor@ISI.EDU
• type distinctions in KIF Matthew L. Ginsberg
• Amendment to KIF's unary-relation and binary-relation macgregor@ISI.EDU
  • Re: Amendment to KIF's unary-relation and binary-relation sowa
• KIF use for heterogeneous DBs Brad Perry
  • Re: KIF use for heterogeneous DBs Matthew L. Ginsberg
  • KIF use for heterogeneous DBs Jeffrey Van Baalen
  • Re: KIF use for heterogeneous DBs phayes@cs.uiuc.edu
• heterogeneous DBs Bill Brayman
  • Re: heterogeneous DBs sowa
  • Re: heterogeneous DBs James A. Fulton
  • Re: heterogeneous DBs Matthew L. Ginsberg
  • Re: heterogeneous DBs phayes@cs.uiuc.edu
  • Re: heterogeneous DBs phayes@cs.uiuc.edu
  • Re: heterogeneous DBs Bill Brayman
  • Re: heterogeneous DBs sowa
• blow away? Dan Schwartz
  • Re: blow away? sowa
  • blow away? Dan Schwartz
  • Re: blow away? phayes@cs.uiuc.edu
  • Re: blow away? Chris Menzel
  • Re: blow away? phayes@cs.uiuc.edu
  • Re: blow away? Chris Menzel
• What is AI and might it blow away? John McCarthy
• What is AI? Dan Schwartz
  • What is AI? Dan Schwartz
  • Re: What is AI? phayes@cs.uiuc.edu
  • What is AI? Dan Schwartz
• what's AI? Un-nameable
• Standardizing FOL sowa
  • Re: Standardizing FOL phayes@cs.uiuc.edu
  • Re: Standardizing FOL sowa
  • Re: Standardizing FOL phayes@cs.uiuc.edu
  • Re: Standardizing FOL sowa
  • Re: Standardizing FOL phayes@cs.uiuc.edu
  • Re: Standardizing FOL sowa
• Higher-order KIF & CGs Fritz Lehmann
  • Re: Higher-order KIF & CGs Fritz Lehmann
  • Re: Higher-order KIF & CGs phayes@cs.uiuc.edu
  • Re: Higher-order KIF & CGs Harold Boley
  • Re: Higher-order KIF & CGs phayes@cs.uiuc.edu
• Equality; higher order KIF/CGs Fritz Lehmann
  • Re: Equality; higher order KIF/CGs phayes@cs.uiuc.edu
  • Re: Equality; higher order KIF/CGs phayes@cs.uiuc.edu
  • Re: Equality; higher order KIF/CGs sowa
• You answered; they didn't Fritz Lehmann
• Higher-order KIF & Conceptual Graphs Fritz Lehmann
  • Re: Higher-order KIF & Conceptual Graphs Tomas Uribe
  • Higher-order KIF & Conceptual Graphs Fritz Lehmann
  • Higher-Order KIF & Conceptual Graphs Fritz Lehmann
  • Higher-Order KIF & Conceptual Graphs FWLIV@delphi.com
  • high order relations in first order KIF Tom Gruber
  • Higher-order KIF & Conceptual Graphs Fritz Lehmann
  • Re: Higher-order KIF & Conceptual Graphs Chris Menzel
  • Re: Higher-order KIF & Conceptual Graphs david l. martin
  • Re: Higher-order KIF & Conceptual Graphs sowa
  • Re: Higher-order KIF & Conceptual Graphs phayes@cs.uiuc.edu
  • Re: Higher-order KIF & Conceptual Graphs phayes@cs.uiuc.edu
• position announcement Dan Schwartz
• higher-order KIF and CG's Dan Schwartz
• Higher-Order Logic sowa
  • Higher-order logic sowa
• Higher-Order KIF and Conceptual Graphs Fritz Lehmann
  • Re: Higher-Order KIF and Conceptual Graphs phayes@cs.uiuc.edu
  • Higher-Order KIF and Conceptual Graphs Fritz Lehmann
  • Higher-order KIF and Conceptual Graphs FWLIV@delphi.com
  • what is the "all" in KIF's forall ? Tom Gruber
  • Higher-order KIF and Conceptual Graphs Fritz Lehmann
• Examples- Higher-Order KIF and Conceptual graphs Fritz Lehmann
  • Examples- Higher-Order KIF and Conceptual graphs Dan Schwartz
• ML and Logistica Tony Sarris
• Recursive Peirce Fritz Lehmann
  • Re: Recursive Peirce Chris Menzel
  • Re: Recursive Peirce sowa
• Higher-Order KIF + Conceptual graphs Fritz Lehmann
  • Re: Higher-Order KIF + Conceptual graphs phayes@cs.uiuc.edu
• Natural numbers sowa
  • Re: Natural numbers sowa
• integers Varol Akman
• attitudes to Krep phayes@cs.uiuc.edu
  • Re: attitudes to Krep FWLIV@delphi.com
• Higher-order logic in KIF and CGs sowa
• C++ KIF Parser olsen@cs.stanford.edu
• Views on Krep Tony Sarris
• Correction w.r.t 'otology' Tony Sarris
• A proposal of "sorts" Tomas Uribe
  • Re: A proposal of "sorts" phayes@cs.uiuc.edu
  • Re: A proposal of "sorts" phayes@cs.uiuc.edu
  • Re: A proposal of "sorts" phayes@cs.uiuc.edu
• Metalanguage and Higher-order language sowa
• Correction to a proposal of "sorts" Tomas Uribe
• hiher-order KIF & Conceptual graphs Fritz Lehmann
• Re: info Robert Neches
• FOL vs HOL vs MML sowa
  • Re: FOL vs HOL vs MML Matthew L. Ginsberg
  • Re: FOL vs HOL vs MML Ramesh Patil
  • Re: FOL vs HOL vs MML Giuseppe Attardi
• Reviews and Standards sowa
  • Re: Reviews and Standards Gio Wiederhold
  • Reviews and Standards sowa
• Higher Order KIF & Conceptual Graphs Fritz Lehmann
  • Re: Higher Order KIF & Conceptual Graphs phayes@cs.uiuc.edu
• Higher-order semantics and intended models Chris Menzel
  • Re: Higher-order semantics and intended models Walter G. Wilson
• Subgroup to Review Logical Foundations of KIF Richard Fikes
• political farce Matthew L. Ginsberg
  • Re: political farce Richard Fikes
  • Re: political farce Robert Neches
  • political farce Matthew L. Ginsberg
  • political farce John McCarthy
  • Re: political farce sowa
• Cognitive and Ontological Foundations of Knowledge Engineering Nicola Guarino
• ANSI and ISO activities sowa
• Hayesism vs. Lehmannism Fritz Lehmann
• Intension/Sinn Fritz Lehmann
  • Re: Intension/Sinn phayes@cs.uiuc.edu
  • Re: Intension/Sinn sowa
• Re: Intensions/Sinn Fritz Lehmann
  • Re: Intensions/Sinn phayes@cs.uiuc.edu
• Propositions macgregor@ISI.EDU
  • Propositions sowa
  • Re: Propositions sowa
  • Re: Propositions phayes@cs.uiuc.edu
  • Re: Propositions schubert@cs.rochester.edu
  • Re: Propositions phayes@cs.uiuc.edu
  • Re: Propositions sowa
  • Re: Propositions sowa
  • Re: Propositions sowa
  • Re: Propositions macgregor@ISI.EDU
  • Re: Propositions Gerard Ellis
  • propositions Michael R. Genesereth
  • Re: propositions phayes@cs.uiuc.edu
  • Re: propositions phayes@cs.uiuc.edu
  • Re: propositions Chris Menzel
  • Re: propositions Chris Menzel
  • Propositions sowa
  • Propositions John McCarthy
  • Re: propositions Stuart C. Shapiro
  • Re: propositions Stuart C. Shapiro
  • Re: propositions macgregor@ISI.EDU
  • Re: Propositions Fritz Lehmann
  • Propositions John McCarthy
  • Re: Propositions Fritz Lehmann
  • Re: Propositions Pat Hayes
  • Re: Propositions Pat Hayes
  • Re: propositions Pat Hayes
  • Re: propositions Pat Hayes
  • Re: propositions macgregor@ISI.EDU
• Propositions and Knowledge Interchange macgregor@ISI.EDU
  • Re: Propositions and Knowledge Interchange phayes@cs.uiuc.edu
  • Re: Propositions and Knowledge Interchange macgregor@ISI.EDU
• [no subject] Ramesh Patil
• "Close enough" Fritz Lehmann
• Ex-Con logic Fritz Lehmann
  • Re: Ex-Con logic schubert@cs.rochester.edu
  • Re: Ex-Con logic Giuseppe Attardi
  • Re: Ex-Con logic phayes@cs.uiuc.edu
  • Re: Ex-Con logic phayes@cs.uiuc.edu
• announcing the Knowledge Sharing library on the WWWeb Tom Gruber
• Which ontologies; how to compare them Fritz Lehmann
  • Re: Which ontologies; how to compare them Don Dwiggins
• Re: Eliminating variables sowa
  • Re: Eliminating variables sowa
• less variables Harold Boley
• wffs vs graphs schubert@cs.rochester.edu
  • wffs vs graphs John McCarthy
  • Re: wffs vs graphs phayes@cs.uiuc.edu
  • Re: wffs vs graphs Don Dwiggins
• Back to propositions sowa
  • Back to propositions John McCarthy
• KIF review Matthew L. Ginsberg
  • Re: KIF review phayes@cs.uiuc.edu
• CIKM-94: 3rd Conf on Info and Knowledge Mgmt, (papers due May 1) Timothy Finin
• Parallel standards projects for KIF and CGs sowa
  • Re: Parallel standards projects for KIF and CGs macgregor@ISI.EDU
  • Re: Parallel standards projects for KIF and CGs sowa
• KIF SD-3 Michael R. Genesereth

• Messages sorted by date
• Other mail archives