Skip to main content
guest
Join
|
Help
|
Sign In
chessprogramming
Home
guest
|
Join
|
Help
|
Sign In
Wiki Home
Recent Changes
Pages and Files
Members
Home
Basics
Getting Started
Board Representation
Search
Evaluation
Principle Topics
Chess
Programming
Artificial Intelligence
Knowledge
Learning
Testing
Tuning
User Interface
Protocols
Dictionary
Lists
Arts
Cartoons
CC Forums
Conferences
Dedicated CC
Engines
Games
Hardware
History
Organizations
Papers
People
Periodical
Samples
Software
Timeline
Tournaments and Matches
Videos
Misc
Acknowledgments
On New Pages
Recommended Reading
Wikispaces Help
Charles Elkan
Edit
0
3
…
3
Tags
mathematician
people
researcher
Notify
RSS
Backlinks
Source
Print
Export (PDF)
Home
*
People
* Charles Elkan
Charles Elkan
,
an American mathematician, computer scientist and professor in the computer science and engineering department at
University of California, San Diego
. His main research interests include
machine learning
,
neural networks
,
fuzzy logic
,
data mining
, and
analytics
. In 1989,
Charles Elkan
applied
conspiracy numbers
to
theorem proving
[1]
, similar to
Victor Allis'
Proof-number search
algorithm.
Charles Elkan
[2]
Table of Contents
Selected Publications
1988 ...
1990 ...
2000 ...
2010 ...
External Links
References
What links here?
Selected Publications
[3]
[4]
1988 ...
Charles Elkan
,
David McAllester
(
1988
).
Automated Inductive Reasoning about Logic Programs
.
5. ICLP / SLP
Charles Elkan
(
1989
).
Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving
.
IJCAI 1989
,
pdf
1990 ...
Charles Elkan
(
1990
).
Incremental, Approximate Planning
.
AAAI 1990
Charles Elkan
(
1991
).
Adaptive Database Locking
. Ph.D. thesis,
Cornell University
, advisor
Prakash Panangaden
Charles Elkan
(
1993
).
The Paradoxical Success of Fuzzy Logic
.
AAAI 1993
,
pdf
Charles Elkan
(
1994
).
Elkan's Reply: The Paradoxical Controversy over Fuzzy Logic
.
IEEE Expert
, Vol. 9, No. 4
Charles Elkan
(
1994
).
The Paradoxical Success of Fuzzy Logic
.
IEEE Expert
, Vol. 9, No. 4
Alberto Maria Segre
,
Charles Elkan
(
1994
).
A High-Performance Explanation-Based Learning Algorithm
.
Artificial Intelligence
, Vol. 68, Nos. 1-2
2000 ...
Charles Elkan
(
2001
).
The Foundations of Cost-Sensitive Learning
.
IJCAI 2001
Enric Trillas
,
Claudi Alsina
(
2001
).
Elkan's theoretical argument, reconsidered
.
International Journal of Approximate Reasoning, Vol. 26, No. 2
Charles Elkan
(
2001
).
Paradoxes of fuzzy logic, revisited
.
International Journal of Approximate Reasoning, Vol. 26, No. 2
Enric Trillas
,
Claudi Alsina
(
2001
).
Comments to "Paradoxes of fuzzy logic, revisited"
.
International Journal of Approximate Reasoning, Vol. 26, No. 2
2010 ...
Charles Elkan
(
2011
).
Reinforcement Learning with a Bilinear Q Function
.
EWRL 2011
Zachary C. Lipton
,
John Berkowitz
,
Charles Elkan
(
2015
).
A Critical Review of Recurrent Neural Networks for Sequence Learning
.
arXiv:1506.00019v4
External Links
Homegage - Charles Elkan
The Mathematics Genealogy Project - Charles Elkan
References
^
Charles Elkan
(
1989
).
Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving
.
IJCAI 1989
,
pdf
^
Homegage - Charles Elkan
^
dblp: Charles Elkan
^
Charles Elkan - Selected publications
What links here?
Page
Date Edited
Alberto Maria Segre
Jun 22, 2015
Charles Elkan
Jan 23, 2017
Conspiracy Numbers
Dec 29, 2017
David McAllester
May 23, 2016
Deep Learning
Feb 12, 2018
Iterative Deepening
Jun 23, 2017
Learning
Feb 20, 2018
Mathematician
Apr 9, 2018
Neural Networks
Mar 12, 2018
People
Feb 28, 2018
Proof-number search
Jan 22, 2018
Reinforcement Learning
Feb 12, 2018
Up one level
Javascript Required
You need to enable Javascript in your browser to edit pages.
help on how to format text
Turn off "Getting Started"
Home
...
Loading...
an American mathematician, computer scientist and professor in the computer science and engineering department at University of California, San Diego. His main research interests include machine learning, neural networks, fuzzy logic, data mining, and analytics. In 1989, Charles Elkan applied conspiracy numbers to theorem proving [1], similar to Victor Allis' Proof-number search algorithm.
Table of Contents
Selected Publications
[3] [4]1988 ...
1990 ...
2000 ...
2010 ...
External Links
References
What links here?
Up one level