Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,168,081 papers from all fields of science
Search
Sign In
Create Free Account
Frege
Frege is a non-strict, purely functional programming language for the Java virtual machine in the spirit of Haskell. It is considered a Haskell…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Eclipse
Functional programming
Hash array mapped trie
Haskell
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Corpus-based metrics for assessing communal common ground
Roman Kutlák
,
Kees van Deemter
,
C. Mellish
Annual Meeting of the Cognitive Science Society
2012
Corpus ID: 15227029
This article presents the first attempt to construct a computational model of common ground. Four corpus-based metrics are…
Expand
2008
2008
DAG Sequent Proofs with a Substitution Rule
Marcelo Finger
2008
Corpus ID: 11137997
In this paper we study an extension to classical sequent calculus with a substitution rule, which is normally admissible in…
Expand
2008
2008
The scope of logic : deduction, abduction, analogy
Carlo Cellucci
2008
Corpus ID: 17956371
Conference donnee a l'occasion du soixantieme anniversaire de D. Prawitz en juin 1996 a l'Universite de Stockholm. Soulignant le…
Expand
2004
2004
Evolución de modelos de formas de representación del conocimiento a nivel terminológico: propuesta de un modelo actual.
A. I. Rey
2004
Corpus ID: 170410961
UK: Knowledge representation has always been a subject of great interest as can be demonstrated by the existence of classic…
Expand
2002
2002
Counterintuitive consequences of the Revision Theory of Truth
R. Cook
2002
Corpus ID: 119770878
References Campbell, R. and L. Sowden. 1985. Paradoxes of Rationality and Cooperation; Prisoner's Dilemma and Newcomb's Problem…
Expand
1998
1998
Hugh Maccoll and the algebra of strict implication
S. Read
1998
Corpus ID: 16068956
C. I. Lewis repeatedly exempts MacColl from criticisms of his predecessors in their accounts of implication. They had all taken a…
Expand
1998
1998
Maccoll on modalities
J. Woleński
1998
Corpus ID: 12612080
This paper tries to reconstruct modal principles advanced by MacColl. It is argued that he had the basic rules of the modal…
Expand
1996
1996
The beginnings of Western music in Meiji Era Japan : thesis submitted for the degree "doctor of philosophy" : submitted to the Senate of Tel-Aviv University
F. G. Notehelfer
,
Ury Eppstein
1996
Corpus ID: 68744028
This volume investigates the introduction of Western music into the educational system of Japan and reveals the existence of…
Expand
1981
1981
Natural Language Access to Data Bases: Interpreting Update Requests
J. Davidson
,
S. J. Kaplan
International Conference on Computational Logic
1981
Corpus ID: 2171449
Abstract : For natural language database systems to operate effectively in practical domains, they must have the capabilities…
Expand
1979
1979
Frege's Hidden Semantics in Frege (1879-1979).
J. Hintikka
1979
Corpus ID: 171318869
Developpant une suggestion de Van Heijenhoort "Logic as Language and Logic as Calculus" (Synthese, 17, 1967, 324-330). l'A…
Expand