J. Nelson Rushton

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

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