Research Output

1965

Preface

Dummett, M. & Crossley, J. N., 1 Jan 1965, In : Studies in Logic and the Foundations of Mathematics. 40, C, 1 p.

Research output: Contribution to journalEditorialResearchpeer-review

1967

Preface

Crossley, J. N., 1 Dec 1967, In : Studies in Logic and the Foundations of Mathematics. 46, C

Research output: Contribution to journalEditorialResearchpeer-review

1970

Recursive equivalence

Crossley, J. N., 1 Jan 1970, In : Bulletin of the London Mathematical Society. 2, 2, p. 129-151 23 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)
1977

Advanced electronic load model for dynamic and transient stability studies

Gawler, R. A., Morsztyn, K. & Smith, D. C., 1 Jan 1977, 1977 Autom Control and Prot of Electr Power System Conference Proceedings. 77 /1 ed. p. 6-10 5 p. (National Conference Publication - Institution of Engineers, Australia).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)
1978

Electronic simulation of electrical power system loads

Gawler, R. A. & Morsztyn, K., 1 Jan 1978, In : Mathematics and Computers in Simulation. 20, 1, p. 61-68 8 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Probabilistic approach to the determination of the stability of weak tie lines with random fluctuations of power flow

Gawler, R. A. & Morsztyn, K., 1 Jan 1978, Aeronautical Journal, 1, p. 265-273 9 p.

Research output: Contribution to specialist publicationArticleResearch

1 Citation (Scopus)
1979

Hybrid computer simulation of dynamic stability of power system with stochastic load and voltage variations

Gawler, R. A., Smith, D. C. & Morsztyn, K., 1 Dec 1979, In : Electrical Engineering Transactions. 15, 1, p. 7-11 5 p.

Research output: Contribution to journalArticleResearchpeer-review

Load modelling for electrical power system studies

Gawler, R. A. & Wallace, P. J., 1 Jan 1979, Proceedings of the 1st Australian Conference on Control Engineering. 4 ed. Vol. 79. p. 174-178 5 p. (National Conference Publication - Institution of Engineers, Australia).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1981

Need for referent identification as a planned action

Cohen, P. R., 1 Dec 1981, p. 31-36. 6 p.

Research output: Contribution to conferencePaper

8 Citations (Scopus)

Regulation and the Auditing Profession in the USA: The Metcalf Subcommittee's Recommendations Re-examined

Milne, F. & Weber, R., 1 Jan 1981, In : Accounting and Business Research. 11, 43, p. 197-205 9 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)
1983

Some factors affecting program repair maintenance: An empirical study

Vessey, I. & Weber, R., 1 Feb 1983, In : Communications of the ACM. 26, 2, p. 128-134 7 p.

Research output: Contribution to journalArticleResearchpeer-review

47 Citations (Scopus)

System Designers' User Models: A Comparitive Study and Methodological Critique

Dagwell, R. & Weber, R., 1 Nov 1983, In : Communications of the ACM. 26, 11, p. 987-997 11 p.

Research output: Contribution to journalArticleResearchpeer-review

52 Citations (Scopus)

The economics of designing generalized software

Milne, F. & Weber, R., 1 Aug 1983, In : Communications of the ACM. 26, 8, p. 582-589 8 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Undecidability and recursive equivalence I

Crossley, J. N. & Remmel, J. B., 1 Jan 1983, In : Studies in Logic and the Foundations of Mathematics. 111, C, p. 37-53 17 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)
1984

Communicating with databases in natural language

Wallace, M., 1984, West Sussex, England: Ellis Horwood Limited. 170 p. (Ellis Horwood series in artificial intelligence)

Research output: Book/ReportBookResearchpeer-review

Conditional statements and program coding: an experimental evaluation

Vessey, I. & Weber, R., 1 Jan 1984, In : International Journal of Man-Machine Studies. 21, 2, p. 161-190 30 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Research on Structured Programming: An Empiricist's Evaluation

Vessey, I. & Weber, R., 1 Jan 1984, In : IEEE Transactions on Software Engineering. SE-10, 4, p. 397-407 11 p.

Research output: Contribution to journalArticleResearchpeer-review

38 Citations (Scopus)
1986

Canonical logic programs

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, In : The Journal of Logic Programming. 3, 2, p. 143-155 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
17 Citations (Scopus)

Decision Trees Versus Decision Tables for Audit Test Data Design: An Experimental Study

Ip, A. & Weber, R., 1 Jan 1986, In : Accounting & Finance. 26, 1, p. 25-46 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Logic program semantics for programming with equations

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer, p. 313-326 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Preface

Crossley, J. N., 1 Jan 1986, In : Annals of Pure and Applied Logic. 32, C, 1 p.

Research output: Contribution to journalEditorialResearchpeer-review

Recursive categoricity and recursive stability

Crossley, J. N., Manaster, A. B. & Moses, M. F., 1 Jan 1986, In : Annals of Pure and Applied Logic. 31, C, p. 191-204 14 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Semantics of infinite tree logic programming

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, In : Theoretical Computer Science. 46, C, p. 141-158 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
20 Citations (Scopus)

Structured Tools and Conditional Logic: An Empirical Investigation

Vessey, I. & Weber, R., 1 Jan 1986, In : Communications of the ACM. 29, 1, p. 48-57 10 p.

Research output: Contribution to journalArticleResearchpeer-review

64 Citations (Scopus)
1987

Has EDP audit progressed in the last 15 years?

Weber, R., 1 Jan 1987, In : EDPACS. 15, 2, p. 1-6 6 p.

Research output: Contribution to journalArticleResearchpeer-review

1988

Computer technology and jobs: An impact assessment model

Weber, R., 1 Jan 1988, In : Communications of the ACM. 31, 1, p. 68-77 10 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

DECLARATIVE DEBUGGING OF THE PARALLEL LOGIC PROGRAMMING LANGUAGE GHC.

Nicholson, A. E., 1 Jan 1988, p. 225-236. 12 p.

Research output: Contribution to conferencePaper

Generalized subsumption and its applications to induction and redundancy

Buntine, W., 1 Jan 1988, In : Artificial Intelligence. 36, 2, p. 149-176 28 p.

Research output: Contribution to journalArticleResearchpeer-review

116 Citations (Scopus)

TOWARDS A COMPUTATIONAL MODEL FOR THE GENERATION OF CONTRASTIVE UTTERANCES IN A TUTORING ENVIRONMENT.

Cheong, Y. H. & Zukerman, I., 1 Jan 1988, p. 78-90. 13 p.

Research output: Contribution to conferencePaper

2 Citations (Scopus)
1989

A computable semantics for general logic programs

Wallace, M., May 1989, In : Journal of Logic Programming. 6, 3, p. 269-297 29 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
7 Citations (Scopus)

Completeness proofs for propositional logic with polynomial-time connectives

Crossley, J. N. & Scott, P. J., 9 Oct 1989, In : Annals of Pure and Applied Logic. 44, 1-2, p. 39-52 14 p.

Research output: Contribution to journalArticleResearchpeer-review

Controls in electronic funds transfer systems: A survey and synthesis

Weber, R., 1 Jan 1989, In : Computers and Security. 8, 2, p. 123-137 15 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Inductive knowledge acquisition and induction methodologies

Buntine, W., 1 Jan 1989, In : Knowledge-Based Systems. 2, 1, p. 52-61 10 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Model of systems decomposition

Wand, Y. & Weber, R., 1 Dec 1989, p. 41-51. 11 p.

Research output: Contribution to conferencePaper

17 Citations (Scopus)

On the existence of sequences of co-prime pairs of integers

Dowe, D. L., 1989, In : Journal of the Australian Mathematical Society. 47, 1, p. 84-89 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
1 Citation (Scopus)
1990

An Ontological Model of an Information System

Wand, Y. & Weber, R., 1 Jan 1990, In : IEEE Transactions on Software Engineering. 16, 11, p. 1282-1292 11 p.

Research output: Contribution to journalArticleResearchpeer-review

392 Citations (Scopus)

A predictive approach for the generation of rhetorical devices

Zukerman, I., 1 Jan 1990, In : Computational Intelligence. 6, 1, p. 25-40 16 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Arteriovenous malformations of the brain: Outcome of conventional radiotherapy in the management of 33 cases

Spry, N. A., Lamb, D. S., Millar, J. L., Balakrishnan, V. & Symons, L. A., 1990, In : Clinical Oncology. 2, 4, p. 210-213 4 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Common-sense resolution of syntactic ambiguity in database queries

Hui, L. L. & Zukerman, I., 1 Jan 1990, AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings. Springer-Verlag London Ltd., p. 395-409 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 406 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Contradictions and revisions as explanatory aids in the delivery of technical information

Zukerman, I. & Cheong, Y. H., 1 Jan 1990, AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings. Springer-Verlag London Ltd., p. 124-139 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 406 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

DISSOLVE: A system for the generation of human oriented solutions to algebraic equations

Oliver, J. & Zukerman, I., 1 Jan 1990, AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings. Springer-Verlag London Ltd., p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 406 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Job oriented production scheduling

Hastings, N. A. J. & Yeh, C. H., 5 Jul 1990, In : European Journal of Operational Research. 47, 1, p. 35-48 14 p.

Research output: Contribution to journalArticleResearchpeer-review

24 Citations (Scopus)

Thus spake al-Khwārizmī: A translation of the text of Cambridge University Library Ms. Ii.vi.5

Crossley, J. N. & Henry, A. S., 1 Jan 1990, In : Historia Mathematica. 17, 2, p. 103-131 29 p.

Research output: Contribution to journalArticleResearchpeer-review

21 Citations (Scopus)
1991

Generation and selection of likely interpretations during plan recognition in task-oriented consultation systems

Raskutti, B. & Zukerman, I., 1 Dec 1991, In : User Modeling and User-Adapted Interaction. 1, 4, p. 323-353 31 p.

Research output: Contribution to journalArticleResearchpeer-review

18 Citations (Scopus)

Modelling default and likelihood reasoning as probabilistic reasoning

Buntine, W., 1 Mar 1991, In : Annals of Mathematics and Artificial Intelligence. 4, 1-2, p. 25-68 44 p.

Research output: Contribution to journalArticleResearchpeer-review

Parallel adaptive mesh generation

Khan, A. I. & Topping, B. H. V., 1 Jan 1991, In : Computing Systems in Engineering. 2, 1, p. 75-101 27 p.

Research output: Contribution to journalArticleResearchpeer-review

36 Citations (Scopus)

Teamwork: Special Issue on Cognitive Science and Artificial Intelligence

Phil, C., 1991, In : Nous. 25, 4, p. 137-156 19 p.

Research output: Contribution to journalArticleResearchpeer-review

Using meta‐comments to generate fluent text in a technical domain

Zukerman, I., 1 Jan 1991, In : Computational Intelligence. 7, 4, p. 276-295 20 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)
1992

A Further Comparison of Splitting Rules for Decision-Tree Induction

Buntine, W. & Niblett, T., 1 Jan 1992, In : Machine Learning. 8, 1, p. 75-85 11 p.

Research output: Contribution to journalArticleResearchpeer-review

155 Citations (Scopus)

An Abstract Machine for CLP(R)

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 7 Jan 1992, In : ACM SIGPLAN Notices. 27, 7, p. 128-139 12 p.

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)