Interlingua Mail by subject
Messages from Thu, 7 Jun 90 15:08:27 -0400 to Thu, 12 May 1994 14:55:36 -0800
- tough nuts schubert@cs.rochester.edu
- KIF version 2 review from Gruber Richard Fikes
- tough nuts, with primitives schubert@cs.rochester.edu
- 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
- 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
- alternative interlingua Peter F. Patel-Schneider
- sharing knowledge Robert MacGregor
- system = logic + control Peter F. Patel-Schneider
- Interlingua Subgroup Membership Peter F. Patel-Schneider
- communication and representation hayes@parc.xerox.com
- RCode vs CCode R. V. Guha
- 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: ccodes and rcodes Ramesh S. Patil
- Intensions Robert MacGregor
- [Ramesh S. Patil <ramesh@vaxa.isi.edu> : Re: ccodes and rcodes ] Michael Genesereth
- KIF counterproposal Matthew L. Ginsberg
- KIF and packages Tom Gruber
- Importing Common Lisp into Interlingua Robert MacGregor
- Binding Interlingua symbols Robert MacGregor
- 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
- Proposal about logical syntax for Interlingua John McCarthy
- Some thoughts on K.I.F. requirements 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
- Shared ontologies sowa@watson.ibm.com
- Multiple ontologies sowa@watson.ibm.com
- 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
- No restraint on creativity sowa@watson.ibm.com
- KB interchange standards Tracy Schwartz
- Tools to Enable Knowledge Sharing sowa@watson.ibm.com
- seed ontologies jbrad@atc.boeing.com
- SQL and a logic-based standard sowa@watson.ibm.com
- 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
- Definitions and analytic truth sowa@watson.ibm.com
- Resolution of SQL debate sowa@watson.ibm.com
- Comments on Richard's proposal for definitions Robert MacGregor
- KIF variable syntax Robert MacGregor
- KIF syntax sowa@watson.ibm.com
- conservative definitions John McCarthy
- Existence proofs for defined terms sowa@watson.ibm.com
- KIF David McAllester
- kif Michael R. Genesereth
- Typed KIF Robert MacGregor
- 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
- Need for standards sowa@watson.ibm.com
- The magic word "definition" Robert MacGregor
- Resolution on common principles sowa@watson.ibm.com
- Report on ANSI X3H4 meeting sowa@watson.ibm.com
- Types v. monadic relations Robert MacGregor
- Re: Standards are coming! Standards are coming!! Matthew L. Ginsberg
- Re: Types v. monadic relations Robert MacGregor
- Requirements for a standard sowa@watson.ibm.com
- Types vs. monadic relations sowa@watson.ibm.com
- 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
- Requirements and objectives sowa@watson.ibm.com
- Points of agreement & disagreement sowa@watson.ibm.com
- Final odds & ends sowa@watson.ibm.com
- 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: Reply to Pat Hayes & Chris Menzel schubert@cs.rochester.edu
- 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
- 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
- Types, sorts, vocabularies, theories, and ontologies sowa@watson.ibm.com
- Ontology sowa@watson.ibm.com
- Terminology sowa@watson.ibm.com
- Peirce's rules of inference for existential graphs sowa@watson.ibm.com
- Peirce's rules of inference sowa@watson.ibm.com
- Contexts sowa@watson.ibm.com
- kif doc Michael R. Genesereth
- More about contexts sowa@watson.ibm.com
- Contexts, lifting, and Peirce sowa@watson.ibm.com
- Non-declarative Constructors? macgregor@ISI.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: Issues about contexts and quantifiers phayes@cs.uiuc.edu
- Contexts and quantifiers in KIF sowa
- Quoting and unquoting variables in KIF sowa
- Adding "believes" and propositions to KIF? macgregor@ISI.EDU
- Practical effects of all this discussion sowa
- Types, sets, and relations sowa
- register mineau
- iccs93-prg Guy Mineau
- A question about translating procedural languages Jeffrey Van Baalen
- Trying again to respond sowa
- attacking others through their equipment Peter F. Patel-Schneider
- 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
- the great model debate schubert@cs.rochester.edu
- Models and Depictions sowa
- models etc. Dan Schwartz
- add my name Key-Sun CHOI
- Implications for KIF sowa
- Getting back to the notes of May 10th sowa
- Relation-Argument Relations Fritz Lehmann
- Models Err Fritz Lehmann
- What happened with types? Fritz Lehmann
- 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
- Model vs. World Fritz Lehmann
- First-Order Programming Theories sowa
- Re: syntax for typed quantification sowa
- 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
- KIF use for heterogeneous DBs Brad Perry
- heterogeneous DBs Bill Brayman
- blow away? Dan Schwartz
- What is AI and might it blow away? John McCarthy
- What is AI? Dan Schwartz
- what's AI? Un-nameable
- Standardizing FOL sowa
- Higher-order KIF & CGs Fritz Lehmann
- Equality; higher order KIF/CGs Fritz Lehmann
- You answered; they didn't Fritz Lehmann
- Higher-order KIF & Conceptual Graphs Fritz Lehmann
- position announcement Dan Schwartz
- higher-order KIF and CG's Dan Schwartz
- Higher-Order Logic sowa
- Higher-Order KIF and Conceptual Graphs Fritz Lehmann
- Examples- Higher-Order KIF and Conceptual graphs Fritz Lehmann
- ML and Logistica Tony Sarris
- Recursive Peirce Fritz Lehmann
- Higher-Order KIF + Conceptual graphs Fritz Lehmann
- Natural numbers sowa
- integers Varol Akman
- attitudes to Krep phayes@cs.uiuc.edu
- 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
- 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
- Reviews and Standards sowa
- Higher Order KIF & Conceptual Graphs Fritz Lehmann
- Higher-order semantics and intended models Chris Menzel
- Subgroup to Review Logical Foundations of KIF Richard Fikes
- political farce Matthew L. Ginsberg
- Cognitive and Ontological Foundations of Knowledge Engineering Nicola Guarino
- ANSI and ISO activities sowa
- Hayesism vs. Lehmannism Fritz Lehmann
- Intension/Sinn Fritz Lehmann
- Re: Intensions/Sinn Fritz Lehmann
- Propositions macgregor@ISI.EDU
- Propositions and Knowledge Interchange macgregor@ISI.EDU
- [no subject] Ramesh Patil
- "Close enough" Fritz Lehmann
- Ex-Con logic Fritz Lehmann
- announcing the Knowledge Sharing library on the WWWeb Tom Gruber
- Which ontologies; how to compare them Fritz Lehmann
- Re: Eliminating variables sowa
- less variables Harold Boley
- wffs vs graphs schubert@cs.rochester.edu
- Back to propositions sowa
- KIF review Matthew L. Ginsberg
- CIKM-94: 3rd Conf on Info and Knowledge Mgmt, (papers due May 1) Timothy Finin
- Parallel standards projects for KIF and CGs sowa
- KIF SD-3 Michael R. Genesereth
Last message date: Thu, 12 May 1994 14:55:36 -0800