Sciweavers

ALIFE
2000
13 years 11 months ago
Open Problems in Artificial Life
This article lists fourteen open problems in artificial life, each of which is a grand challenge requiring a major advance on a fundamental issue for its solution. Each problem is ...
Mark A. Bedau, John S. McCaskill, Norman H. Packar...
SYNTHESE
2008
68views more  SYNTHESE 2008»
13 years 11 months ago
The many faces of interpolation
We present a number of, somewhat unusual, ways of describing what Craig's interpolation theorem achieves, and use them to identify some open problems and further directions. K...
Johan van Benthem
ECCC
2008
168views more  ECCC 2008»
13 years 11 months ago
Algebrization: A New Barrier in Complexity Theory
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
Scott Aaronson, Avi Wigderson
RTA
2005
Springer
14 years 5 months ago
Open. Closed. Open
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
Nachum Dershowitz
LICS
2008
IEEE
14 years 5 months ago
The Quest for a Logic Capturing PTIME
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
Martin Grohe
IEEEARES
2008
IEEE
14 years 5 months ago
Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
Zhiyao Liang, Rakesh M. Verma
ICML
2008
IEEE
15 years 8 days ago
Knows what it knows: a framework for self-aware learning
We introduce a learning framework that combines elements of the well-known PAC and mistake-bound models. The KWIK (knows what it knows) framework was designed particularly for its...
Lihong Li, Michael L. Littman, Thomas J. Walsh