2009 |
15 | EE | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic reasoning with answer sets.
TPLP 9(1): 57-144 (2009) |
2008 |
14 | | Nachiappan Veerappan Nachiappan,
Jarred Blount,
J. Nelson Rushton:
A System for Checking Semi-formal Proofs.
FECS 2008: 82-85 |
13 | EE | 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) |
12 | EE | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic reasoning with answer sets
CoRR abs/0812.0659: (2008) |
2007 |
11 | | J. Nelson Rushton,
Jarred Blount,
Justin Blount:
An Experiment Comparing the Performance of Declarative and Procedural Languages.
IKE 2007: 291-296 |
10 | | J. Nelson Rushton,
Dwayne Towell:
A Language Facilitating Informal Reasoning about Programs.
SEKE 2007: 396- |
2006 |
9 | EE | Daniel E. Cooke,
Brad Nemanich,
J. Nelson Rushton:
The Role of Theory and Experiment in Language Design--A 15 Year Perspective.
ICTAI 2006: 163-168 |
8 | | J. Nelson Rushton,
Edward Wertz:
Executable English.
MLMTA 2006: 57-62 |
7 | | Per Andersen,
Daniel E. Cooke,
J. Nelson Rushton,
Julian Russbach:
A Cluster Implementation for the Parallel Programming Language SequenceL.
PDPTA 2006: 569-575 |
6 | | Daniel E. Cooke,
J. Nelson Rushton,
Robert G. Watson:
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
SEKE 2006: 315-320 |
2005 |
5 | EE | Daniel E. Cooke,
J. Nelson Rushton:
Iterative and Parallel Algorithm Design from High Level Language Traces.
International Conference on Computational Science (3) 2005: 891-894 |
4 | | Daniel E. Cooke,
J. Nelson Rushton:
SequenceL - An Overview of a Simple Language.
PLC 2005: 64-70 |
2004 |
3 | | J. Nelson Rushton:
Learning Natural Language Using Genetic Algorithms.
IC-AI 2004: 1092-1096 |
2 | EE | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic Reasoning With Answer Sets.
LPNMR 2004: 21-33 |
2003 |
1 | | J. Nelson Rushton:
Natural Language Parsing Using Simple Neural Networks.
MLMTA 2003: 137-141 |