Research Output

2012

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)

An Evidential Improvement for Gender Profiling.

Ma, J., Liu, W. & Miller, P., May 2012, International Conference on Belief Functions (BELIEF'12):. Springer-Verlag, p. 29-36 8 p.

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

8 Citations (Scopus)

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)

Application of Evidence Theory and Discounting Techniques to Aerospace Design

Browne, F., Bell, D., Liu, W., Jin, Y., Higgins, C., Rooney, N. & Wang, H., Jul 2012, p. 543-553. 10 p.

Research output: Contribution to conferencePaper

4 Citations (Scopus)

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)
385 Downloads (Pure)

Evidential Fusion for Gender Profiling

Ma, J., Liu, W. & Miller, P., Sep 2012, International Conference on Scalable Uncertainty Management (SUM 2012). AAAI Press, p. 514-524 11 p.

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

4 Citations (Scopus)

Finding the Most Descriptive Substructures in Graphs with Numeric Labels

Davis, M., Liu, W. & Miller, P., 24 Sep 2012.

Research output: Contribution to conferencePaper

Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction

Yue, A., Liu, W. & Hunter, A., Mar 2012, In : Annals of Mathematics and Artificial Intelligence. 64, 2-3, p. 145-183 39 p.

Research output: Contribution to journalArticle

Open Access
File
1 Citation (Scopus)
194 Downloads (Pure)

Information Fusion and Discounting Techniques for Decision Support in Aerospace

Browne, F., Jin, Y., Bell, D., Liu, W., Higgins, C., Rooney, N. & Wang, H., 2012, p. 857-862.

Research output: Contribution to conferencePaper

Preface

Liu, W., Hong, J. & Lu, R., 2012, In : International Journal of Software and Informatics. 6, 3, p. 359-361 3 p.

Research output: Contribution to journalArticle

Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework

Ma, J., Benferhat, S. & Liu, W., Jun 2012, International Conference on Principles of Knowledge Representation and Reasoning (KR'12). AAAI Press, 5 p.

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

4 Citations (Scopus)

Revision over Partial Pre-orders: A Postulational Study

Ma, J., Benferhat, S. & Liu, W., Sep 2012, International Conference on Scaleable Uncertainty Management (SUM'12). . Springer-Verlag, p. 219-232 13 p.

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

4 Citations (Scopus)

Self-disclosure decision making based on intimacy and privacy

Such, J. M., Espinosa, A., García-Fornes, A. & Sierra, C., 30 Nov 2012, In : Information Sciences. 211, null, p. 93-111 19 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)

Tools for Finding Inconsistencies in Real-world Logic-based Systems

McAreavey, K., Liu, W., Miller, P. & Meenan, C., 2012, STAIRS 2012. Frontiers in Artificial Intelligence and Applications. Kersting, K. & Toussaint, M. (eds.). IOS Press, Vol. 241. p. 192-203 12 p. (Frontiers in Artificial Intelligence and Applications ; vol. 241).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

Towards an understanding of the causes and effects of software requirements change: two case studies

McGee, S. & Greer, D., Jun 2012, In : Requirements Engineering. 17, 2, p. 133-155 23 p.

Research output: Contribution to journalArticle

Open Access
File
26 Citations (Scopus)
185 Downloads (Pure)

Tracking Story Reading in the Brain

Wehbe, L., Talukdar, P. P., Murphy, B., Fyshe, A., Sudre, G. & Mitchell, T., Dec 2012, Proceedings of the Workshop on Machine Learning and Interpretation in Neuroimaging, NIPS 2012. Neural Information Processing Systems Foundation

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

Web Data Extraction from Query Result Pages Based on Visual and Content Features

Weng, D., Hong, J. & Bell, D., 2012, In : International Journal of Software and Informatics. 6, 3, p. 453-472 20 p.

Research output: Contribution to journalArticle

WIQ: Work-intensive query scheduling for in-memory database systems

Kraft, S., Casale, G., Jula, A., Kilpatrick, P. & Greer, D., 01 Jan 2012, Proceedings - 2012 IEEE 5th International Conference on Cloud Computing, CLOUD 2012. p. 33-40 8 p.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

7 Citations (Scopus)

WIQ: Work-Intensive Query Scheduling for In-Memory Database Systems

Kraft, S., Casale, G., Jula, A., Kilpatrick, P. & Greer, D., Jun 2012, p. 1-8. 8 p.

Research output: Contribution to conferencePaper

7 Citations (Scopus)
2011

Adaptive Dialogue Strategy Selection through Imprecise Probabilistic Query Answering

O'Neill, I., Yue, A., Liu, W. & Hanna, P., 2011, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings. Springer, Vol. 6717. p. 675-687 13 p.

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

File
1 Citation (Scopus)
195 Downloads (Pure)

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)

An Approach to Generating Proposals for Handling Inconsistent Software Requirements

Mu, K., Liu, W. & Jin, Z., Dec 2011, 5th International Conference Knowledge Science, Engineering and Management (KSEM 2011). Springer, p. 32-43 12 p.

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

1 Citation (Scopus)

A principled discussion of information combination

Dubois, D., Liu, W., Ma, J. & Prade, H., Oct 2011, International Conference of Soft Computing and Pattern Recognition (SoCPaR), 2011 . p. 446-451 6 p.

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

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)

Belief change with noisy sensing in the situation calculus

Ma, J., Liu, W. & Miller, P., Jul 2011, Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence (UAI 2011). AUAI Press, p. 471-478 8 p.

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

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

Detecting Anomalies in Graphs with Numeric Labels

Davis, M., Liu, W., Miller, P. & Redpath, G., Oct 2011, p. 1197-1202. 6 p.

Research output: Contribution to conferencePaper

21 Citations (Scopus)

Extracting Data Records from Query Result Pages Based on Visual Features

Weng, D., Hong, J. & Bell, D., Jul 2011, The 28th British National Conference on Databases (BNCOD 2011). Springer, p. 140-153 14 p.

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

4 Citations (Scopus)

Handling Sequential Observations in Intelligent Surveillance

Ma, J., Liu, W. & Miller, P., Oct 2011, International Conference on Scalable Uncertainty Management, SUM 2011 . Springer, p. 547-560 14 p. (Lecture Notes on Computer Science; vol. 6929).

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

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

IO Performance Prediction in Consolidated Virtualized Environments

Kraft, S., Casale, G., Krishnamurthy, D., Greer, D. & Kilpatrick, P., Jan 2011, p. 295-306. 12 p.

Research output: Contribution to conferencePaper

17 Citations (Scopus)

IO Performance Prediction in Consolidated Virtualized Environments

Kraft, S., Casale, G., Krishnamurthy, D., Greer, D. & Kilpatrick, P., 2011, ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering. New York: ACM, p. 295-306 12 p.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

18 Citations (Scopus)

Managing Software Requirements Changes Based On Negotiation-Style Revision

Mu, K-D., Liu, W., Jin, Z., Hong, J. & Bell, D., Sep 2011, In : Journal of Computer Science and Technology. 26, 5, p. 890-907 18 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Measuring inconsistency in network intrusion rules

McAreavey, K., Liu, W. & Miller, P., Aug 2011, p. 339-344. 6 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Measuring the blame of each formula for inconsistent prioritized knowledge bases.

Mu, K., Liu, W. & Jin, Z., 2011, In : Journal of Logic and Computation. 22, 3, p. 481-516 26 p.

Research output: Contribution to journalArticle

Modeling and reasoning with qualitative comparative clinical knowledge

Ma, J., Liu, W. & Hunter, A., Jul 2011, In : International Journal of Intelligent Systems. 26(1), 1, p. 25-46 22 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

Software Requirements Change Taxonomy: A Case Study

McGee, S. & Greer, D., Aug 2011, p. 1-10. 10 p.

Research output: Contribution to conferencePaper

The Application of a Natural Language Argumentation Based Approach within Project Life Cycle Management

Browne, F., Jin, Y., Higgins, C. & Bell, D., 2011.

Research output: Contribution to conferencePaper

2010

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

Ma, J., Liu, W. & Benferhat, S., Jul 2010, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010). AAAI Press, p. 333-338 6 p.

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

16 Citations (Scopus)

A comparison of merging operators in possibilistic logic.

Qi, G., Liu, W. & Bell, D., Sep 2010, Proceedings of the 4th International Conference on Knowledge Science, Engineering & Management (KSEM'10). Springer, p. 39-50 12 p.

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

6 Citations (Scopus)

A concept hierarchy based ontology mapping approach.

Wang, Y., Liu, W. & Bell, D., Sep 2010, Proceedings of the 4th International Conference on Knowledge Science, Engineering & Management (KSEM'10). Springer, p. 101-113 13 p.

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

8 Citations (Scopus)

A Construction Approach for Examination Timetabling based on Adaptive Decomposition and Ordering.

Rahman, S. A., Burke, E., Bargiela, A., McCollum, B. & Ozcan, E., Aug 2010, p. 353-372. 20 p.

Research output: Contribution to conferencePaper

3 Citations (Scopus)

Adaptability Performance Trade-off: a Controlled Experiment

Brennan, A., Greer, D. & McDaid, K., Sep 2010, p. 1-4. 4 p.

Research output: Contribution to conferencePaper

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 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 XML based framework for merging incomplete and inconsistent statistical information from clinical trials.

Ma, J., Liu, W., Hunter, A. & Zhang, W., Aug 2010, Soft Computing in XML Data Management. Ma, Z. & Yan, L. (eds.). Springer, p. 259-290 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

A Scalable Approach to Annotate Arbitrary Modelling Languages

Fritzsche, M., Gilani, W., Thiele, M., Spence, I., Brown, T. J. & Kilpatrick, P., Mar 2010, p. 301-318. 18 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)