Research Output

Article

A belief revision framework for revising epistemic states with partial epistemic states

Ma, J., Liu, W. & Benferhat, S., Apr 2015, In : International Journal of Approximate Reasoning. 59, p. 20-40 21 p.

Research output: Contribution to journalArticle

Open Access
File
8 Citations (Scopus)
161 Downloads (Pure)

A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements.

Mu, K., Liu, W. & Jin, Z., Jan 2012, In : International Journal of Knowledge and Systems Science. 3(1), p. 1-17 17 p.

Research output: Contribution to journalArticle

A constructive approach for examination timetabling based on adaptive decomposition and ordering

Abdul-Rahman, S., Burke, E. K., Bargiela, A., McCollum, B. & Özcan, E., Jul 2014, In : Annals of Operations Research. 218, p. 3-21 19 p.

Research output: Contribution to journalArticle

19 Citations (Scopus)

A Context-Dependent Algorithm for Merging Uncertain Information in Possibility Theory

Hunter, A. & Liu, W., Nov 2008, In : IEEE Transactions on Systems, Man, and Cybernetics, Part A. 38, 6, p. 1385-1397 13 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)

Adaptive automated construction of hybrid heuristics for exam timetabling and graph colouring problems

Qu, R., Burke, E. K. & McCollum, B., 16 Oct 2009, In : European Journal of Operational Research. 198, 2, p. 392-404 13 p.

Research output: Contribution to journalArticle

68 Citations (Scopus)

Adaptive linear combination of heuristic orderings in constructing examination timetables

Rahman, S., Bargiela, A., Burke, E., Ozcan, E., McCollum, B. & McMullan, P., 16 Jan 2014, In : European Journal of Operational Research. 232, 2, p. 287-297 11 p.

Research output: Contribution to journalArticle

27 Citations (Scopus)

Adaptive merging of prioritized knowledge bases.

Liu, W., Qi, G. & Bell, D., 2006, In : Fundamenta Informaticae. 73(3), 3, p. 389-407 19 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

A defeasible reasoning model of inductive concept learning from examples and communication

Ontañón, S., Dellunde, P., Godo, L. & Plaza, E., Dec 2012, In : Artificial Intelligence. 193, null, p. 129-148 20 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

A framework for managing uncertain inputs: An axiomization of rewarding

Ma, J. & Liu, W., Oct 2011, In : International Journal of Approximate Reasoning. 52, 7, p. 917-934 18 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)

A general framework for measuring inconsistency through minimal inconsistent sets

Mu, K., Liu, W. & Jin, Z., Aug 2011, In : Knowledge and Information Systems. 27(1), 1, p. 85-114 30 p.

Research output: Contribution to journalArticle

35 Citations (Scopus)

Agents for Querying Distributed Statistical Databases Over the Internet

McClean, S. I., Karali, I., Scotney, B. W., Greer, K., Kapos, G., Hong, J., Bell, D. & Hatzopoulos, M., Mar 2002, In : International Journal on Artificial Intelligence Tools. 11(1), p. 63-94 32 p.

Research output: Contribution to journalArticle

Agile risk management using software agents

Odzaly, E. E., Greer, D. & Stewart, D., 02 May 2017, In : Journal of Ambient Intelligence and Humanized Computing. p. 1-19 19 p.

Research output: Contribution to journalArticle

Open Access
File
10 Citations (Scopus)
363 Downloads (Pure)

A Graph-Based Hyper Heuristic for Educational Timetabling Problems

Burke, E. K., McCollum, B., Meisels, A., Petrovic, S. & Qu, R., 01 Jan 2007, In : European Journal of Operational Research. 176 (1), 1, p. 177-192 16 p.

Research output: Contribution to journalArticle

350 Citations (Scopus)

A Hybrid Evolutionary Approach to the Nurse Rostering Problem

Burke, E. K., Kendall, G., Jinpeng, L. & McCollum, B., 2010, In : IEEE Transactions on Evolutionary Computation. 14, 4, p. 580-590

Research output: Contribution to journalArticle

62 Citations (Scopus)

A hybrid metaheuristic approach to the university course timetabling problem

Abdullah, S., Turabieh, H., McCollum, B. & McMullan, P., Feb 2012, In : Journal of Heuristics. 18, 1, p. 1-23 23 p.

Research output: Contribution to journalArticle

Open Access
File
37 Citations (Scopus)
415 Downloads (Pure)

A Hybrid Swarm Based Approach in Addressing University Timetabling Problems

Fong, C. W., Asmuni, H. & McCollum, B., Dec 2015, In : IEEE Transactions on Evolutionary Computation. 19, 6, p. 870-884

Research output: Contribution to journalArticle

12 Citations (Scopus)

A Meta-Heuristic Approach to Paralell Code Generation

McCollum, B., Corr, P. & Milligan, P., Jun 2002, In : Lecture Notes in Computer Science. 2565, p. 215-232 18 p.

Research output: Contribution to journalArticle

A multiagent network for peer norm enforcement

de Pinninck, A., Sierra, C. & Schorlemmer, M., Nov 2010, In : Autonomous Agents and Multi-Agent Systems. 21, 3, p. 397-424 28 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

An Evidential Approach to Query Interface Matching on the Deep Web

Hong, J., He, Z. & Bell, D., Apr 2010, In : Information Systems. 35, 2, p. 140-148 9 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)

An evidential fusion approach for gender profiling

Ma, J., Liu, W., Miller, P. & Zhou, H., 10 Mar 2016, In : Information Sciences. 333, p. 10-20 11 p.

Research output: Contribution to journalArticle

Open Access
File
46 Citations (Scopus)
148 Downloads (Pure)

A New Model for Automated Examination Timetabling

McCollum, B., McMullan, P., Parkes, A. J., Burke, E. K. & Qu, R., Apr 2012, In : Annals of Operations Research. 194, 1, p. 291-315 25 p.

Research output: Contribution to journalArticle

38 Citations (Scopus)
2 Downloads (Pure)

A New Neural Network based Construction Heuristic for the Examination Timetabling Problem

Corr, P., McCollum, B., McGreevy, M. A. J. & McMullan, P., Oct 2006, In : Lecture Notes in Computer Science. 4193, p. 392-401 10 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

An extended framework for evidential reasoning systems.

Liu, W., Hong, J., McTear, M. & Hughes, J., Nov 1993, In : International Journal of Pattern Recognition and Artificial Intelligence. 7(3), p. 441-457 17 p.

Research output: Contribution to journalArticle

An Extended Implementation of the Great Deluge Algorithm for Course Timetabling

McMullan, P., May 2007, In : Lecture Notes in Computer Science. 4487, p. 538-545 8 p.

Research output: Contribution to journalArticle

62 Citations (Scopus)

A Perspective on Bridging the Gap in University Timetabling

McCollum, B., Dec 2007, In : Lecture Notes in Computer Science. 3867, p. 3-24 22 p.

Research output: Contribution to journalArticle

62 Citations (Scopus)

Applying an Agility/Discipline Assessment for a Small Software Organisation

Taylor, P. S., Sage, P., Coleman, G., McDaid, K., Lawthers, I., Corr, R. & Greer, D., 2006, In : Lecture Notes in Computer Science. 4034, p. 290-304 15 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

A practical taxonomy of methods and literature for managing uncertain spatial data in geographic information systems

Tavana, M., Liu, W., Elmore, P., Petry, F. E. & Bourgeois, B. S., Mar 2016, In : Measurement. 81, p. 123-162 40 p.

Research output: Contribution to journalArticle

Open Access
File
5 Citations (Scopus)
240 Downloads (Pure)

A survey of formalisms for representing and reasoning with scientific knowledge

Hunter, A. & Liu, W., Jun 2010, In : Knowledge Engineering Review. 25(2), 2, p. 199-222 24 p.

Research output: Contribution to journalArticle

11 Citations (Scopus)

A survey of location inference techniques on Twitter

Ajao, O., Hong, J. & Liu, W., Dec 2015, In : Journal of Information Science. 41, 6, p. 855-864

Research output: Contribution to journalArticle

Open Access
File
47 Citations (Scopus)
452 Downloads (Pure)

A Survey of Search Methodologies and Automated System Development for Examination Timetabling

Qu, R., Burke, E. K., McCollum, B., Merlot, L. T. G. & Lee, S. Y., Feb 2009, In : Journal of Scheduling. 12, 1, p. 55-89 35 p.

Research output: Contribution to journalArticle

259 Citations (Scopus)

A Syntax-based approach to measuring the degree of inconsistency for belief bases

Mu, K., Liu, W., Jin, Z. & Bell, D., Oct 2011, In : International Journal of Approximate Reasoning. 52, 7, p. 978-999 22 p.

Research output: Contribution to journalArticle

37 Citations (Scopus)

A tabu based large neighbourhood search methodology for the capacitated examination timetabling problem

Abdullah, S., Ahmadi, S., Burke, E. K., Dror, M. & McCollum, B., Sep 2006, In : Journal of Operational Research Society. 58 (11), 11, p. 1494-1502 9 p.

Research output: Contribution to journalArticle

40 Citations (Scopus)

A Tabu-Based Memetic Approach for Examination Timetabling Problems

Abdullah, S., Turabieh, H., McCollum, B. & McMullan, P., Oct 2010, In : Lecture Notes in Artificial Intelligence. LNAI 6401, p. 568-575 8 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Bridging Jeffrey's Rule, AGM Revision and Dempster Conditioning in the Theory of Evidence

Ma, J., Liu, W., Dobuis, D. & Prade, H., Aug 2011, In : International Journal on Artificial Intelligence Tools. 20, 4, p. 691-720 30 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)

Capturing Risks in Agile Methods

Odzaly, E., Greer, D. & Stewart, D., 01 Feb 2018, In : Advanced Science Letters. 24, 2, p. 1509–1513 5 p.

Research output: Contribution to journalArticle

Communicating open systems

d'Inverno, M., Luck, M., Noriega, P., Rodriguez-Aguilar, J. A. & Sierra, C., Jul 2012, In : Artificial Intelligence. 186, p. 38-94 57 p.

Research output: Contribution to journalArticle

Open Access
File
47 Citations (Scopus)
324 Downloads (Pure)
File
2 Citations (Scopus)
384 Downloads (Pure)

Comparison of a centralised and distributed approach for a generic scheduling system

Greer, K., Stewart, J. & McCollum, B., Feb 2008, In : Journal of Intelligent Manufacturing. 19, 1, p. 119-129 11 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Complete Sudoku - extra rules for more symmetry

Spence, I., Dec 2006, In : Mathematics Today. 42, p. 217-218 2 p.

Research output: Contribution to journalArticle

Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases

McAreavey, K., Liu, W. & Miller, P., Nov 2014, In : International Journal of Approximate Reasoning. 55, 8, p. 1659-1693 35 p.

Research output: Contribution to journalArticle

File
20 Citations (Scopus)
164 Downloads (Pure)

Computing Zeros of Analytic Functions in the Complex Plane without using Derivatives

Gillan, C., Schuchinsky, A. & Spence, I., 15 Aug 2006, In : Computer Physics Communications. 175 (4), 4, p. 304-313 10 p.

Research output: Contribution to journalArticle

22 Citations (Scopus)

Config: A GRACE tool for constructing configuration trees

Maley, D., Spence, I. & Kilpatrick, P., Nov 1998, In : Computer Physics Communications. 114(1-3), 1-3, p. 271-294 24 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Constraint rule-based programming of norms for electronic institutions

García-Camino, A., Rodríguez-Aguilar, J. A., Sierra, C. & Vasconcelos, W., Feb 2009, In : Autonomous Agents and Multi-Agent Systems. 18, 1, p. 186-217 32 p.

Research output: Contribution to journalArticle

51 Citations (Scopus)

Context-dependent Combination of Sensor Information in Dempster-Shafer Theory for BDI

Calderwood, S., McAreavey, K., Liu, W. & Hong, J., 04 Aug 2016, In : Knowledge and Information Systems.

Research output: Contribution to journalArticle

Open Access
File
7 Citations (Scopus)
193 Downloads (Pure)

Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies

Cintula, P., Esteva, F., Gispert, J., Godo, L., Montagna, F. & Noguera, C., Jul 2009, In : Annals of Pure and Applied Logic. 160, 1, p. 53-81 29 p.

Research output: Contribution to journalArticle

82 Citations (Scopus)

Dual Sequence Simulated Annealing with Round-Robin Approach for University Course Timetabling

McMullan, P., McCollum, B., Abdullah, S. & Shaker, K., Apr 2010, In : Lecture Notes in Computer Science. 6022, p. 1-10 10 p.

Research output: Contribution to journalArticle

27 Citations (Scopus)

Effecting and Measuring Risk Reduction in Software Development

Greer, D., Jul 1999, In : NEC Journal of Research and Development. 40(3), 3, p. 378-388 11 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

Evidential event inference in transport video surveillance

Hong, X., Huang, Y., Ma, W., Varadarajan, S., Miller, P., Liu, W., Romero, M. J. S., Martinez del Rincon, J. & Zhou, H., 2016, In : Computer Vision and Image Understanding. 144, p. 276-297 22 p.

Research output: Contribution to journalArticle

Open Access
File
8 Citations (Scopus)
235 Downloads (Pure)

FairGV: Fair and Fast GPU Virtualization

Hong, C-H., Spence, I. & Nikolopoulos, D. S., 01 Dec 2017, In : IEEE Transactions on Parallel and Distributed Systems. 28, 12, p. 3472-3485

Research output: Contribution to journalArticle

Open Access
File
8 Citations (Scopus)
330 Downloads (Pure)