Interlingua Mail by subject
Messages sorted by date
Other mail archives
Messages from
Thu, 7 Jun 90 15:08:27 -0400
to
1994年5月12日 14:55:36 -0800
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
Last message date:
1994年5月12日 14:55:36 -0800
Messages sorted by date
Other mail archives
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル