J. Nelson Rushton

18 papers B 2C 2Misc 4Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2010 — conf
SequenceL: transparency and multi-core parallelisms.
DAMP
Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton
2009 J jnl
Probabilistic reasoning with answer sets.
Theory Pract. Log. Program.
Chitta Baral, Michael Gelfond, J. Nelson Rushton
2009 J jnl
Taking Parnas's Principles to the Next Level: Declarative Language Design.
Computer
Daniel E. Cooke, J. Nelson Rushton
2008 — conf
A System for Checking Semi-formal Proofs.
FECS
Nachiappan Veerappan Nachiappan, Jarred Blount, J. Nelson Rushton
2008 J jnl
Normalize, transpose, and distribute: An automatic approach for handling nonscalars.
ACM Trans. Program. Lang. Syst.
Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen
2008 J jnl
Probabilistic reasoning with answer sets
CoRR
Chitta Baral, Michael Gelfond, J. Nelson Rushton
2007 C conf
A Language Facilitating Informal Reasoning about Programs.
SEKE
J. Nelson Rushton, Dwayne Towell
2007 Misc conf
An Experiment Comparing the Performance of Declarative and Procedural Languages.
IKE
J. Nelson Rushton, Jarred Blount, Justin Blount
2006 Misc conf
A Cluster Implementation for the Parallel Programming Language SequenceL.
PDPTA
Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach
2006 — conf
Combining Logical and Probabilistic Reasoning.
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering
Michael Gelfond, J. Nelson Rushton, Weijun Zhu
2006 — conf
Executable English.
MLMTA
J. Nelson Rushton, Edward Wertz
2006 C conf
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
SEKE
Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson
2006 B conf
The Role of Theory and Experiment in Language Design--A 15 Year Perspective.
ICTAI
Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton
2005 Misc conf
Iterative and Parallel Algorithm Design from High Level Language Traces.
International Conference on Computational Science (3)
Daniel E. Cooke, J. Nelson Rushton
2005 — conf
SequenceL - An Overview of a Simple Language.
PLC
Daniel E. Cooke, J. Nelson Rushton
2004 Misc conf
Learning Natural Language Using Genetic Algorithms.
IC-AI
J. Nelson Rushton
2004 B conf
Probabilistic Reasoning With Answer Sets.
LPNMR
Chitta Baral, Michael Gelfond, J. Nelson Rushton
2003 — conf
Natural Language Parsing Using Simple Neural Networks.
MLMTA
J. Nelson Rushton