Research Output

2010

A structure-based similarity spreading approach for ontology matching

Wang, Y., Liu, W. & Bell, D., Sep 2010, Scalable Uncertainty Management - 4th International Conference, SUM 2010. Springer, p. 361-374 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

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 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)

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)

Event modelling and reasoning with uncertain information for distributed sensor networks

Ma, J., Liu, W. & Miller, P., Sep 2010, Scalable Uncertainty Management - 4th International Conference, SUM 2010. Springer, p. 236-249 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)

Fish Swarm Intelligent Algorithm for the Course Timetabling Problem

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

Research output: Contribution to journalArticle

10 Citations (Scopus)

Incorporating Great Deluge with Kempe Chain Neighbourhood Structure for

Abdullah, S., Shaker, K., McCollum, B. & McMullan, P., Oct 2010, In : Lecture Notes in Artificial Intelligence. RSKT 2010, p. 70-77 8 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Inducing probability distributions from knowledge bases with (in)dependence relations

Ma, J., Liu, W. & Hunter, A., Jul 2010, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010). AAAI Press, p. 339-344 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Intelligent sensor information system for public transport: To Safely Go ....

Miller, P., Liu, W., Fowler, C., Zhou, H., Shen, J., Ma, J., Zhang, J., Yan, W., McLaughlin, K. & Sezer, S., Aug 2010, Seventh IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS 2010). IEEE Computer Society, p. 533-539 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic.

Qi, G., Liu, W. & Bell, D., 16 Jul 2010, In : Fuzzy Sets and Systems. 161, 14, p. 1906-1925 20 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Qi, G., Du, J., Liu, W. & Bell, D., Jul 2010, Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI 2010). AUAI Press, p. 275-281 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
4 Citations (Scopus)
34 Downloads (Pure)

Programming challenges for the implementation of numerical quadrature in atomic physics on FPGA and GPU accelerators

Gillan, C., Steinke, T., Bock, J., Borchert, S., Spence, I. & Scott, S., May 2010, p. 757-762. 6 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Revision rules in the theory of evidence

Ma, J., Liu, W., Dubois, D. & Prade, H., Oct 2010, 22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010. IEEE Computer Society, p. 230-238 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations (Scopus)

Scheduling English Football Fixtures: Consideration of Two Conflicting Objectives

Kendall, G., McCollum, B. & McMullan, P., Aug 2010, p. 1-15. 15 p.

Research output: Contribution to conferencePaper

sgen1: A generator of small but difficult satisfiability benchmarks

Spence, I., 01 Jan 2010, In : ACM Journal of Experimental Algorithmics. 15, null, p. 1.2:1-1.2:15 15 p., 1.2.

Research output: Contribution to journalArticle

11 Citations (Scopus)
3 Downloads (Pure)

Sources of Software Requirements Change from the Perspectives of Development and Maintenance

McGee, S. & Greer, D., Sep 2010, In : International Journal on Advances in Software. 3(1-2), p. 186-200 15 p.

Research output: Contribution to journalArticle

University space planning and space-type profiles

Beyrouthy, C., Burke, E. K., McCollum, B., McMullan, P. & Parkes, A. J., Aug 2010, In : Journal of Scheduling. 13, 4, p. 363-374 12 p.

Research output: Contribution to journalArticle

File
4 Citations (Scopus)
210 Downloads (Pure)

Zero-One Designs Produce Small Hard SAT Instances

Van Gelder, A. & Spence, I., Jul 2010, Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Springer, Vol. 6175 LNCS. p. 388-397 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)
2009

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)

An Extended Great Deluge Approach to the Examination Timetabling Problem

McCollum, B., McMullan, P., Parkes, A. J., Burke, E. K. & Abdullah, S., Aug 2009, p. 424-434. 11 p.

Research output: Contribution to conferencePaper

A Software Requirements Change Source Taxonomy

McGee, S. & Greer, D., Sep 2009, p. 51-58. 8 p.

Research output: Contribution to conferencePaper

27 Citations (Scopus)

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 framework for merging imprecise probabilistic logic programs

Yue, A. & Liu, W., Jul 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). AAAI Press, p. 1990-1995 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Combining Multiple Query Interface Matchers Using Dempster-Shafer Theory of Evidence

Hong, J., He, Z. & Bell, D., Jul 2009.

Research output: Contribution to conferencePaper

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)

Construction of Course Timetables Based on Great Deluge and Tabu Search

Abdullah, S., Shaker, K., McCollum, B. & McMullan, P., Jul 2009, p. x1-x12. 12 p.

Research output: Contribution to conferencePaper

80 Citations (Scopus)

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)

Electromagnetic-like Mechanism with force decay rate great deluge for the Course Timetabling Problem

McCollum, B., Abdullah, S. & Turabeth, H., Oct 2009, LNCS. Schearf, A. (ed.). LNCS, p. 497-504 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Enabling Science through Emerging HPC Technologies

Scott, S., Spence, I. & Gillan, C., Jul 2009, p. 177-178. 2 p.

Research output: Contribution to conferencePaper

Enabling science through emerging HPC technologies: accelerating numerical quadrature using a GPU

Spence, I., Scott, N. S. & Gillan, C. J., Nov 2009, Numerical Methods and Programming. Vol. 10. p. 385-388 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Event composition with imperfect information for bus surveillance

Ma, J., Liu, W., Miller, P. & Yan, W., Sep 2009, Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2009. IEEE Computer Society, p. 3382-3387 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Citations (Scopus)

Extending BPM Environments of Your Choice with Performance Related Decision Support

Fritzsche, M., Picht, M., Gilani, W., Spence, I., Brown, J. & Kilpatrick, P., 2009, BUSINESS PROCESS MANAGEMENT, PROCEEDINGS. Dayal, U., Eder, J., Koehler, J. & Reijers, HA. (eds.). BERLIN: Springer, p. 97-112 16 p. (Lecture Notes in Computer Science; vol. 5701).

Research output: Chapter in Book/Report/Conference proceedingChapter

18 Citations (Scopus)

Extracting Query Interfaces Based on Form Structures and Semantic Similarity

Hong, J., He, Z. & Bell, D. A., Apr 2009, 2009 IEEE 25th International Conference on Data Engineering : (ICDE 2009). Institute of Electrical and Electronics Engineers (IEEE), p. 1259-1262 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Mu, K., Liu, W., Jin, Z., Lu, R., Yue, A. & Bell, D., Jan 2009, In : Fundamenta Informaticae. 91, 3-4, p. 631-670 40 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Improving the utilisation of University teaching space

Beyrouthy, C., Burke, E. K., Landa, J. D., McCollum, B., McMullan, P. & Parkes, A., Jan 2009, In : Journal of Operational Research Society. 60, p. 130-143 14 p.

Research output: Contribution to journalArticle

24 Citations (Scopus)

Knowledge base stratification and merging based on degree of support

Hunter, A. & Liu, W., Jul 2009, 10th European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009). Springer, p. 383-395 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Modeling belief change on epistemic states

Ma, J. & Liu, W., May 2009, Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference (FLAIRS 2009). AAAI Press, p. 351-356 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Multi-Modal CTL: Completeness, Complexity, and an Application

Ågotnes, T., Van Der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C. & Wooldridge, M., 01 Jun 2009, In : Studia Logica. 92, 1, p. 1-26 26 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Reasoning with imprecise probabilistic knowledge on enzymes for rapid screening of potential substrates or inhibitor structures

Liu, W., Yue, A. & Timson, D., Jul 2009, Proceedings of the 6th International Symposium on Imprecise Probability: Theories and Applications (ISIPTA'09). p. 289-297 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Software project initiation and planning – an empirical study

Greer, D. & Conradi, R., Oct 2009, In : IET Software. 3 , 5, p. 356-368 13 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains

Fritzsche, M., Johannes, J., Assmann, U., Mitschke, S., Gilani, W., Spence, I., Brown, J. & Kilpatrick, P., 2009, SOFTWARE LANGUAGE ENGINEERING. Gasevic, D., Lammel, R. & VanWyk, E. (eds.). BERLIN: Springer, p. 134-150 17 p. (Lecture Notes in Computer Science; vol. 5452).

Research output: Chapter in Book/Report/Conference proceedingChapter

10 Citations (Scopus)

The non-Archimedean polynomials and merging of stratified knowledge bases

Ma, J., Liu, W. & Hunter, A., Jul 2009, 10th European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009). Springer, p. 408-420 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Towards Improving the Utilisation of University Teaching Space

Beyrouthy, C., Burke, E. K., Landa-Silva, J. D., McCollum, B., McMullan, P. & Parks, A., Jan 2009, In : Journal of Operational Research Society. 60, 1, p. 130-143 14 p.

Research output: Contribution to journalArticle

File
28 Citations (Scopus)
113 Downloads (Pure)

Uncertain information management for ADL monitoring in smart homes.

Hong, X., Nugent, C., Liu, W., Ma, J., McClean, S., Scotney, B. & Mulvenna, M., Mar 2009, Intelligent Patient Management, Studies in Computational Intelligence. McClean, M., El-Darzi & Nugent (eds.). Springer, p. 315-332 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)
2008

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)

ALI: An extensible Architecture Description Language for industrial applications

Bashroush, R., Spence, I., Kilpatrick, P., Brown, J., Gilani, W. & Fritzsche, M., Mar 2008, p. 297-304. 8 p.

Research output: Contribution to conferencePaper

4 Citations (Scopus)

A Multiple Views Model for Variability Management in Software Product Lines

Spence, I., Bashroush, R., Kilpatrick, P., Gillan, C. & Brown, J., Jan 2008, p. 101-110. 10 p.

Research output: Contribution to conferencePaper

An Evidential Approach to Query Interface Matching on the Deep Web

Hong, J., He, Z. & Bell, D., 2008, p. 20-23. 4 p.

Research output: Contribution to conferencePaper