Interlingua Mail

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
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
Regarding Implicit AND's Richard Fikes
Re: Regarding Implicit AND's Richard Fikes
Agenda, Time, and Place for AAAI Meeting -- RSVP Please Richard Fikes
Re: Eliminable Definitions David A. McAllester
definition-t vs. definition-k Robert MacGregor
Re: Moving the Debate on Definitions Forward David A. McAllester
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
sharing knowledge Robert MacGregor
Re: alternative interlingua Danny Bobrow
alternative interlingua Peter F. Patel-Schneider
system = logic + control 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
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
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
KIF counterproposal Matthew L. Ginsberg
Re: KIF counterproposal Ramesh S. Patil
Re: KIF counterproposal Matthew L. Ginsberg
[Ramesh S. Patil <ramesh@vaxa.isi.edu> : Re: ccodes and rcodes ] Peter F. Patel-Schneider
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
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. schubert@cs.rochester.edu
Generalized quantifiers & distributed KIF sowa@watson.ibm.com
Re: Some thoughts on K.I.F. requirements Michael R. Genesereth
Re: Some Thoughts on K.I.F. Jeff Van Baalen
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
problems with quote Matthew L. Ginsberg
Tough Nuts Michael R. Genesereth
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
Shared ontologies sowa@watson.ibm.com
Re: Shared ontologies Gio Wiederhold
Re: ANSI X3H4 meeting next week Gio Wiederhold
Re: ANSI X3H4 meeting next week Robert Neches
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
Tools to Enable Knowledge Sharing sowa@watson.ibm.com
Lenat's note (was Re: KB interchange standards) Robert Neches
The Seed and the Scaffold Tom Gruber
Consensus knowledge acquisition Randall Davis
seed ontologies jbrad@atc.boeing.com
consensus knowledge acquisition jbrad@atc.boeing.com
Re: seed ontologies Marc Linster
Re: seed ontologies Robert Neches
Re: The Seed and the Scaffold Gio Wiederhold
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
Definitions and analytic truth sowa@watson.ibm.com
definitions and analytic truth schubert@cs.rochester.edu
Resolution of SQL debate sowa@watson.ibm.com
definitions and analytic truth John McCarthy
Definitions and analytic truth sowa@watson.ibm.com
Re: Interlingua Reference Manual Richard Fikes
Re: definitions and analytic truth Richard Fikes
definitions and analytic truth John McCarthy
Definitions and analytic truth 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
Re: Definitions and analytic truth Richard Fikes
conservative definitions David McAllester
Definitions and analytic truth John McCarthy
Definitions and analytic truth sowa@watson.ibm.com
KIF David McAllester
Re: KIF Ramesh Patil
Typed KIF Robert MacGregor
KIF David McAllester
Re: KIF Ramesh Patil
Typed KIF Tom Gruber
KIF David McAllester
Re: KIF Ramesh Patil
Higher-order logic, tractability, and requirements sowa@watson.ibm.com
Higher-order logic, tractability, and requirements sowa@watson.ibm.com
definitions and analytic truth schubert@cs.rochester.edu
[schubert@cs.rochester.edu: definitions and analytic truth] David McAllester
Primitives, definitions, and metalanguage 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
Need for standards sowa@watson.ibm.com
The magic word "definition" Robert MacGregor
Re: Primitives, definitions, and metalanguage schubert@cs.rochester.edu
Primitives, definitions, and metalanguage sowa@watson.ibm.com
Re: Need for standards Mark Jones
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
Types v. monadic relations Robert MacGregor
Re: Report on ANSI X3H4 meeting Peter Karp
Re: Standards are coming! Standards are coming!! Matthew L. Ginsberg
Standards are coming! Standards are coming!! sowa@watson.ibm.com
Re: Report on ANSI X3H4 meeting Ron Brachman
Re: Report on ANSI X3H4 meeting YOUR NAME HERE
Re: Types v. monadic relations YOUR NAME HERE
Re: Types v. monadic relations Robert MacGregor
Requirements for a standard sowa@watson.ibm.com
Re: Report on ANSI X3H4 meeting Gio Wiederhold
Types vs. monadic relations sowa@watson.ibm.com
Standards sowa@watson.ibm.com
Re: Requirements for a standard Matthew L. Ginsberg
Reply to Matt G. sowa@watson.ibm.com
Re: Types vs. monadic relations Robert MacGregor
Re: Types vs. monadic relations YOUR NAME HERE
A few thoughts from the trenches ... Mark Tuttle
Types vs. monadic relations sowa@watson.ibm.com
Re: sowa v. hayes Pat Hayes
The meaning of "meaning" sowa@watson.ibm.com
Requirements and objectives sowa@watson.ibm.com
Re: The meaning of "meaning" Pat Hayes
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
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
Common semantic core 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
Types, sorts, vocabularies, theories, and ontologies sowa@watson.ibm.com
Re: Ontologies and theories Tom Gruber
Re: Ontologies and theories macgregor@ISI.EDU
Ontology sowa@watson.ibm.com
Re: Ontology Robert Neches
Re: Ontologies and theories phayes@herodotus.cs.uiuc.edu
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: Issues about contexts and quantifiers phayes@cs.uiuc.edu
Re: Issues about contexts and quantifiers Jim Fulton
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
Contexts and quantifiers in KIF sowa
Re: Contexts and quantifiers in KIF Jim Fulton
Re: Issues about contexts and quantifiers schubert@cs.rochester.edu
Re: Contexts and quantifiers in KIF sowa
Re: Contexts and quantifiers in KIF Chris Menzel
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
Re: Contexts and quantifiers in KIF sowa
Re: Contexts and quantifiers in KIF Jim Fulton
Re: Contexts and quantifiers in KIF Jim Fulton
Adding "believes" and propositions to KIF? macgregor@ISI.EDU
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
Practical effects of all this discussion sowa
Types, sets, and relations sowa
register mineau
Re: Types, sets, and relations macgregor@ISI.EDU
iccs93-prg Guy Mineau
Re: Types, sets, and relations sowa
Re: Types, sets, and relations macgregor@ISI.EDU
A question about translating procedural languages Jeffrey Van Baalen
Re: Types, sets, and relations phayes@cs.uiuc.edu
Re: Practical effects of all this discussion phayes@cs.uiuc.edu
Re: Types, sets, and relations phayes@cs.uiuc.edu
Re: Practical effects of all this discussion sowa
Re: Types, sets, and relations macgregor@ISI.EDU
Re: Practical effects of all this discussion phayes@cs.uiuc.edu
Re: Practical effects of all this discussion sowa
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
Re: Trying again to respond sowa
20th Century Mathematics sowa
Re: Trying again to respond phayes@cs.uiuc.edu
On semantics, next round phayes@cs.uiuc.edu
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
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
models etc. Dan Schwartz
Re: Models and Depictions schubert@cs.rochester.edu
Re: Models and Depictions sowa
Re: Models and Depictions Robert Neches
add my name Key-Sun CHOI
Re: Models and Depictions Vijay Saraswat
Implications for KIF sowa
add my name Key-Sun CHOI
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
models and depictions Dan Schwartz
Re: models and depictions sowa
Relation-Argument Relations Fritz Lehmann
Models Err Fritz Lehmann
What happened with types? Fritz Lehmann
models and depictions Dan Schwartz
Re: Models Err Chris Menzel
Uncountable sets sowa
Re: Models Err schubert@cs.rochester.edu
Re[2]: 20th Century Mathematics John W Nageley
ANSI and ISO standards activities sowa
Re: Uncountable sets 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 phayes@cs.uiuc.edu
(biassed) summary of the argument so far. phayes@cs.uiuc.edu
Re: Uncountable sets sowa
Re: Getting back to the notes of May 10th sowa
Re: Getting back to the notes of May 10th phayes@cs.uiuc.edu
Re: (biassed) summary of the argument so far. sowa
Re: Getting back to the notes of May 10th 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
type distinctions in KIF Matthew L. Ginsberg
Re: An ontology for KIF Tom Gruber
Re: An ontology for KIF macgregor@ISI.EDU
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
heterogeneous DBs Bill Brayman
Re: heterogeneous DBs sowa
Re: heterogeneous DBs James A. Fulton
Re: KIF use for heterogeneous DBs phayes@cs.uiuc.edu
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
blow away? Dan Schwartz
Re: heterogeneous DBs sowa
Re: blow away? sowa
blow away? Dan Schwartz
What is AI and might it blow away? John McCarthy
Re: blow away? phayes@cs.uiuc.edu
Re: blow away? Chris Menzel
Re: blow away? phayes@cs.uiuc.edu
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
Re: blow away? Chris Menzel
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
Equality; higher order KIF/CGs Fritz Lehmann
Re: Equality; higher order KIF/CGs phayes@cs.uiuc.edu
You answered; they didn't Fritz Lehmann
Re: Equality; higher order KIF/CGs phayes@cs.uiuc.edu
Re: Equality; higher order KIF/CGs sowa
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
Higher-order KIF & Conceptual Graphs Fritz Lehmann
position announcement Dan Schwartz
higher-order KIF and CG's Dan Schwartz
Re: Higher-order KIF & Conceptual Graphs Tomas Uribe
Higher-order KIF & Conceptual Graphs Fritz Lehmann
Higher-Order Logic sowa
Higher-Order KIF and Conceptual Graphs Fritz Lehmann
Examples- Higher-Order KIF and Conceptual graphs Fritz Lehmann
Re: Higher-Order KIF and Conceptual Graphs phayes@cs.uiuc.edu
ML and Logistica Tony Sarris
Examples- Higher-Order KIF and Conceptual graphs Dan Schwartz
Higher-order logic sowa
Higher-Order KIF and Conceptual Graphs Fritz Lehmann
Higher-Order KIF & Conceptual Graphs Fritz Lehmann
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
integers Varol Akman
Higher-Order KIF & Conceptual Graphs FWLIV@delphi.com
attitudes to Krep phayes@cs.uiuc.edu
Re: Natural numbers sowa
high order relations in first order KIF Tom Gruber
Higher-order logic in KIF and CGs sowa
C++ KIF Parser olsen@cs.stanford.edu
Higher-order KIF and Conceptual Graphs FWLIV@delphi.com
Re: attitudes to Krep FWLIV@delphi.com
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
Metalanguage and Higher-order language sowa
what is the "all" in KIF's forall ? Tom Gruber
Correction to a proposal of "sorts" Tomas Uribe
Re: A proposal of "sorts" phayes@cs.uiuc.edu
Higher-order KIF and Conceptual Graphs Fritz Lehmann
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
kif Michael R. Genesereth
Re: kif Matthew L. Ginsberg
Re: kif Michael R. Genesereth
Reviews and Standards sowa
Re: Reviews and Standards Gio Wiederhold
Reviews and Standards sowa
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
communication and representation phayes@cs.uiuc.edu
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
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
Re: Higher-order semantics and intended models Walter G. Wilson
Re: A proposal of "sorts" phayes@cs.uiuc.edu
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
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: Intensions/Sinn Fritz Lehmann
Re: Intension/Sinn sowa
Propositions macgregor@ISI.EDU
Re: Intensions/Sinn phayes@cs.uiuc.edu
Propositions sowa
Re: Propositions sowa
Re: Propositions phayes@cs.uiuc.edu
Propositions and Knowledge Interchange macgregor@ISI.EDU
Re: Propositions schubert@cs.rochester.edu
Re: Propositions phayes@cs.uiuc.edu
Re: Propositions and Knowledge Interchange phayes@cs.uiuc.edu
[no subject] Ramesh Patil
Re: Propositions and Knowledge Interchange macgregor@ISI.EDU
Re: Propositions sowa
Re: Propositions sowa
Re: Propositions sowa
"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: Which ontologies; how to compare them Don Dwiggins
Re: Eliminating variables sowa
Re: Eliminating variables sowa
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
less variables Harold Boley
Re: Propositions macgregor@ISI.EDU
Re: Propositions Gerard Ellis
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
propositions Michael R. Genesereth
KIF SD-3 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

Last message date: Thu, 12 May 1994 14:55:36 -0800