Languages with self-reference I: foundations

Languages with self-reference I: foundations (1985)

Cached

Download Links

[www.cs.umd.edu]

Other Repositories/Bibliography

DBLP

by Donald Perlis

Venue:	Artificial Intelligence
Citations:	59 - 10 self

BibTeX

@ARTICLE{Perlis85languageswith,
    author = {Donald Perlis},
    title = {Languages with self-reference I: foundations},
    journal = {Artificial Intelligence},
    year = {1985},
    volume = {25},
    pages = {301--322}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

205	Nonmonotonic logic I - McDermott, Doyle - 1980
142	Reasoning about Knowledge and Action - Moore - 1980
117	Outline of a theory of truth - Kripke - 1975
66	Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability - Montague - 1963
63	First order theories of individual concepts and propositions - McCarthy - 1979
28	A first-order formalization of knowledge and action for a multi-agent planning system - Konolige - 1982
26	Propositional Attitudes: Fregean Representation and Simulative Reasoning - Creary
20	Computational models of beliefs and the semantics of belief sentences - Moore, Hendrix - 1979
19	Consistency and completeness of OMEGA, a logic for knowledge representation - Attardi, Simi - 1981
13	The Consistency of Partial Set Theory without Extensionality - Gilmore - 1974
10	Extended inference modes in reasoning by computer systems - Winograd - 1980
4	Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophia - Tarski - 1936
2	The Lady or the Tiger - Smullyan - 1982
1	Planning mental actions - Haas - 1982
1	B.Consistency oftheories of ideas - Elschlager
1	Prolegomena to a mechanized theory of formal reasoning - Weyhrauch - 1980