Weiru Liu

Kedian Mu, Jun Hong, Zhi Jin, Weiru Liu: From inconsistency handling to non-canonical requirements management: A logical perspective. Int. J. Approx. Reasoning 54(1): 109-131 (2013)

Weiru Liu: Special Issue on the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011). Int. J. Approx. Reasoning 54(4): 427-428 (2013)

Weiru Liu, John G. Hughes, Michael F. McTear: Representing Heuristic Knowledge in D-S Theory. CoRR abs/1303.5416 (2013)

Anbu Yue, Weiru Liu, Anthony Hunter: Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction. Ann. Math. Artif. Intell. 64(2-3): 145-183 (2012)

Kedian Mu, Weiru Liu, Zhi Jin: A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements. IJKSS 3(1): 1-17 (2012)

Weiru Liu, Jun Hong, Ruqian Lu: Preface. Int. J. Software and Informatics 6(3): 359-361 (2012)

Kedian Mu, Weiru Liu, Zhi Jin: Measuring the blame of each formula for inconsistent prioritized knowledge bases. J. Log. Comput. 22(3): 481-516 (2012)

Jianbing Ma, Weiru Liu, Paul Miller: An Evidential Improvement for Gender Profiling. Belief Functions 2012: 29-36

Fiona Browne, David Bell, Weiru Liu, Yan Jin, Colm Higgins, Niall Rooney, Hui Wang, Jann Müller: Application of Evidence Theory and Discounting Techniques to Aerospace Design. IPMU (3) 2012: 543-553

Jianbing Ma, Salem Benferhat, Weiru Liu: Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework. KR 2012

Kevin McAreavey, Weiru Liu, Paul Miller, Chris Meenan: Tools for Finding Inconsistencies in Real-world Logic-based Systems. STAIRS 2012: 192-203

Jianbing Ma, Salem Benferhat, Weiru Liu: Revision over Partial Pre-orders: A Postulational Study. SUM 2012: 219-232

Jianbing Ma, Weiru Liu, Paul Miller: A Characteristic Function Approach to Inconsistency Measures for Knowledge Bases. SUM 2012: 473-485

Jianbing Ma, Weiru Liu, Paul Miller: Evidential Fusion for Gender Profiling. SUM 2012: 514-524

Jianbing Ma, Weiru Liu, Paul Miller: Belief change with noisy sensing in the situation calculus. CoRR abs/1202.3743 (2012)

Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell: Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation. CoRR abs/1203.3508 (2012)

Guilin Qi, Weiru Liu, David A. Bell: A Revision-Based Approach to Resolving Conflicting Information. CoRR abs/1207.1397 (2012)

Jianbing Ma, Weiru Liu, Didier Dubois, Henri Prade: Bridging Jeffrey's Rule, AGM Revision and Dempster Conditioning in the Theory of Evidence. International Journal on Artificial Intelligence Tools 20(4): 691-720 (2011)

Jianbing Ma, Weiru Liu: A framework for managing uncertain inputs: An axiomization of rewarding. Int. J. Approx. Reasoning 52(7): 917-934 (2011)

Kedian Mu, Weiru Liu, Zhi Jin, David A. Bell: A Syntax-based approach to measuring the degree of inconsistency for belief bases. Int. J. Approx. Reasoning 52(7): 978-999 (2011)

Jianbing Ma, Weiru Liu, Anthony Hunter: Modeling and reasoning with qualitative comparative clinical knowledge. Int. J. Intell. Syst. 26(1): 25-46 (2011)

Kevin McAreavey, Weiru Liu, Paul Miller, Kedian Mu: Measuring Inconsistency in a Network Intrusion Detection Rule Set Based on Snort. Int. J. Semantic Computing 5(3): 281-322 (2011)

Kedian Mu, Weiru Liu, Zhi Jin, Jun Hong, David A. Bell: Managing Software Requirements Changes Based on Negotiation-Style Revision. J. Comput. Sci. Technol. 26(5): 890-907 (2011)

Kedian Mu, Weiru Liu, Zhi Jin: A general framework for measuring inconsistency through minimal inconsistent sets. Knowl. Inf. Syst. 27(1): 85-114 (2011)

Michael Davis, Weiru Liu, Paul Miller, George Redpath: Detecting anomalies in graphs with numeric labels. CIKM 2011: 1197-1202

Kevin McAreavey, Weiru Liu, Paul Miller: Measuring Inconsistency in Network Intrusion Rules. DEXA Workshops 2011: 339-344

Ian O'Neill, Anbu Yue, Weiru Liu, Phil Hanna: Adaptive Dialogue Strategy Selection through Imprecise Probabilistic Query Answering. ECSQARU 2011: 675-687

Kedian Mu, Weiru Liu, Zhi Jin: An Approach to Generating Proposals for Handling Inconsistent Software Requirements. KSEM 2011: 32-43

Jianbing Ma, Weiru Liu, Paul Miller: Handling Sequential Observations in Intelligent Surveillance. SUM 2011: 547-560

Jianbing Ma, Weiru Liu, Paul Miller: Belief change with noisy sensing in the situation calculus. UAI 2011: 471-478

Weiru Liu (Ed.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011. Proceedings. Lecture Notes in Computer Science 6717, Springer 2011, isbn 978-3-642-22151-4

Weiru Liu, Anbu Yue, David J. Timson: A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge. Computer Methods and Programs in Biomedicine 98(1): 45-54 (2010)

Guilin Qi, Weiru Liu, David A. Bell: Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic. Fuzzy Sets and Systems 161(14): 1906-1925 (2010)

Anthony Hunter, Weiru Liu: A survey of formalisms for representing and reasoning with scientific knowledge. Knowledge Eng. Review 25(2): 199-222 (2010)

Jianbing Ma, Weiru Liu, Salem Benferhat: A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States. AAAI 2010

Jianbing Ma, Weiru Liu, Anthony Hunter: Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations. AAAI 2010

Paul Miller, Weiru Liu, Chris Fowler, Huiyu Zhou, Jiali Shen, Jianbing Ma, Jianguo Zhang, WeiQi Yan, Kieran McLaughlin, Sakir Sezer: Intelligent Sensor Information System For Public Transport - To Safely Go... AVSS 2010: 533-538

Jianbing Ma, Weiru Liu, Didier Dubois, Henri Prade: Revision Rules in the Theory of Evidence. ICTAI (1) 2010: 295-302

Guilin Qi, Weiru Liu, David A. Bell: A Comparison of Merging Operators in Possibilistic Logic. KSEM 2010: 39-50

Ying Wang, Weiru Liu, David A. Bell: A Concept Hierarchy Based Ontology Mapping Approach. KSEM 2010: 101-113

Jianbing Ma, Weiru Liu, Paul Miller: Event Modelling and Reasoning with Uncertain Information for Distributed Sensor Networks. SUM 2010: 236-249

Ying Wang, Weiru Liu, David A. Bell: A Structure-Based Similarity Spreading Approach for Ontology Matching. SUM 2010: 361-374

Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell: Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation. UAI 2010: 458-465

Jianbing Ma, Weiru Liu, Anthony Hunter, Weiya Zhang: An XML Based Framework for Merging Incomplete and Inconsistent Statistical Information from Clinical Trials. Soft Computing in XML Data Management 2010: 259-290

Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue, David A. Bell: Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging. Fundam. Inform. 91(3-4): 631-670 (2009)

Jianbing Ma, Weiru Liu, Paul Miller, WeiQi Yan: Event Composition with Imperfect Information for Bus Surveillance. AVSS 2009: 382-387

Anthony Hunter, Weiru Liu: Knowledge Base Stratification and Merging Based on Degree of Support. ECSQARU 2009: 383-395

Jianbing Ma, Weiru Liu, Anthony Hunter: The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases. ECSQARU 2009: 408-420

Jianbing Ma, Weiru Liu: Modeling Belief Change on Epistemic States. FLAIRS Conference 2009

Anbu Yue, Weiru Liu: A Syntax-based Framework for Merging Imprecise Probabilistic Logic Programs. IJCAI 2009: 1990-1995

Anthony Hunter, Weiru Liu: A Context-Dependent Algorithm for Merging Uncertain Information in Possibility Theory. IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(6): 1385-1397 (2008)

Anbu Yue, Weiru Liu: Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming. AAAI 2008: 590-596

Jianbing Ma, Weiru Liu: A General Model for Epistemic State Revision using Plausibility Measures. ECAI 2008: 356-360

Anbu Yue, Weiru Liu: Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs. ECAI 2008: 371-375

Anbu Yue, Weiru Liu, Anthony Hunter: Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs. SUM 2008: 386-400

Guilin Qi, Weiru Liu, David A. Bell: Combining multiple prioritized knowledge bases by negotiation. Fuzzy Sets and Systems 158(23): 2535-2551 (2007)

Anbu Yue, Weiru Liu, Anthony Hunter: Approaches to Constructing a Stratified Merged Knowledge Base. ECSQARU 2007: 54-65

Weiru Liu: Conflict Analysis and Merging Operators Selection in Possibility Theory. ECSQARU 2007: 816-827

Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue, David A. Bell: A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements. KSEM 2007: 103-114

David A. Bell, Guilin Qi, Weiru Liu: Approaches to Inconsistency Handling in Description-Logic Based Ontologies. OTM Workshops (2) 2007: 1303-1311

Jianbing Ma, Weiru Liu, Anthony Hunter: Incomplete Statistical Information Fusion and Its Application to Clinical Trials Data. SUM 2007: 89-103

Ying Wang, Weiru Liu, David A. Bell: Combining Uncertain Outputs from Multiple Ontology Matchers. SUM 2007: 201-214

Weiru Liu: Analyzing the degree of conflict among belief functions. Artif. Intell. 170(11): 909-924 (2006)

Guilin Qi, Weiru Liu, David A. Bell: A revision-based approach to handling inconsistency in description logics. Artif. Intell. Rev. 26(1-2): 115-128 (2006)

Guilin Qi, Weiru Liu, David H. Glass, David A. Bell: A split-combination approach to merging knowledge bases in possibilistic logic. Ann. Math. Artif. Intell. 48(1-2): 45-84 (2006)

Weiru Liu, Guilin Qi, David A. Bell: Adaptive Merging of Prioritized Knowledge Bases. Fundam. Inform. 73(3): 389-407 (2006)

Anthony Hunter, Weiru Liu: Fusion rules for merging uncertain information. Information Fusion 7(1): 97-134 (2006)

Anthony Hunter, Weiru Liu: Merging uncertain information with semantic heterogeneity in XML. Knowl. Inf. Syst. 9(2): 230-258 (2006)

Guilin Qi, Weiru Liu, David A. Bell: Merging Stratified Knowledge Bases under Constraints. AAAI 2006: 281-286

Guilin Qi, Weiru Liu, David A. Bell: Knowledge Base Revision in Description Logics. JELIA 2006: 386-398

Qiu Ji, Weiru Liu, Guilin Qi, David A. Bell: LCS: A Linguistic Combination System for Ontology Matching. KSEM 2006: 176-189

Weiru Liu: Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory. KSEM 2006: 265-277

Guilin Qi, Weiru Liu, David A. Bell: Quota-Based Merging Operators for Stratified Knowledge Bases. KSEM 2006: 341-353

Guilin Qi, Weiru Liu: Rough operations on Boolean algebras. Inf. Sci. 173(1-3): 49-63 (2005)

Jun Hong, Weiru Liu, David A. Bell, Qingyuan Bai: Answering Queries Using Views in the Presence of Functional Dependencies. BNCOD 2005: 70-81

Anthony Hunter, Weiru Liu: Measuring the Quality of Uncertain Information Using Possibilistic Logic. ECSQARU 2005: 415-426

Kedian Mu, Zhi Jin, Ruqian Lu, Weiru Liu: Measuring Inconsistency in Requirements Specifications. ECSQARU 2005: 440-451

Guilin Qi, Weiru Liu, David A. Bell: Multiple Semi-revision in Possibilistic Logic. ECSQARU 2005: 465-476

Guilin Qi, Weiru Liu, David A. Bell: Combining Multiple Knowledge Bases by Negotiation: A Possibilistic Approach. ECSQARU 2005: 501-513

Guilin Qi, Weiru Liu, David A. Bell: Measuring conflict and agreement between two prioritized belief bases. IJCAI 2005: 552-557

Guilin Qi, Weiru Liu, David A. Bell: A Revision-Based Approach to Resolving Conflicting Information. UAI 2005: 477-484

Weiru Liu, Zhining Liao, Jun Hong: Query cost estimation through remote system contention states analysis over the Internet. Web Intelligence and Agent Systems 2(4): 279-291 (2004)

Zhining Liao, Weiru Liu, Jun Hong: Analyzing the Effect of Network States in Query Cost Estimation over the Internet. IDEAS 2004: 462-464

Guilin Qi, Weiru Liu, David H. Glass: A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases. KR 2004: 348-356

Guilin Qi, Weiru Liu, David H. Glass: Combining individually inconsistent prioritized knowledge bases. NMR 2004: 342-349

David W. Bustard, Weiru Liu, Roy Sterritt: Soft computing: special issue on the management of uncertainty in computing applications. Soft Comput. 8(2): 77-78 (2003)

Weiru Liu, Xin Hong, Kenneth Adamson: Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination. ECSQARU 2003: 306-318

Weiru Liu, Zhining Liao, Jun Hong, Zhifang Liao: Determining Remote System Contention States in Query Processing over the Internet . Web Intelligence 2003: 351-357

Jie Cheng, Russell Greiner, Jonathan Kelly, David A. Bell, Weiru Liu: Learning Bayesian networks from data: An information-theory based approach. Artif. Intell. 137(1-2): 43-90 (2002)

David W. Bustard, Weiru Liu, Roy Sterritt (Eds.): Soft-Ware 2002: Computing in an Imperfect World, First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2311, Springer 2002, isbn 3-540-43481-X

Weiru Liu: Propositional, Probabilistic and Evidential Reasoning: Integrating Numerical and Symbolic Approaches. Studies in Fuzziness and Soft Computing 77, Springer 2001, isbn 3-7908-1414-8

Weiru Liu: Reasoning about Knowledge Using Rough Sets. ECSQARU 2001: 385-397

Weiru Liu, Jun Hong: Reinvestigating Dempster's Idea on Evidence Combination. Knowl. Inf. Syst. 2(2): 223-241 (2000)

Xin Hong, Kenneth Adamson, Weiru Liu: Using Parallel Techniques to Improve the Computational Efficiency of Evidential Combination. ICTAI 1999: 55-

Weiru Liu, David McBryan, Alan Bundy: The Method of Assigning Incidences. Appl. Intell. 9(2): 139-161 (1998)

Jie Cheng, David A. Bell, Weiru Liu: Learning Belief Networks from Data: An Information Theory Based Approach. CIKM 1997: 325-331

Weiru Liu, Alan Bundy: Constructing probabilistic ATMSs using extended incidence calculus. Int. J. Approx. Reasoning 15(2): 145-182 (1996)

Jie Cheng, David A. Bell, Weiru Liu: A Practical Approach to Knowledge Representation and Reasoning in Relational Databases. ICTAI 1996: 470-471

Weiru Liu: The Incidence Propagation Method. ISMVL 1996: 124-129

R. G. McLean, Alan Bundy, Weiru Liu: Assignment methods for incidence calculus. Int. J. Approx. Reasoning 12(1): 21-41 (1995)

Weiru Liu, Alan Bundy: A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence. Int. J. Hum.-Comput. Stud. 40(6): 1009-1032 (1994)

Weiru Liu, Jun Hong, Michael F. McTear, John G. Hughes: An Extended Framework for Evidential Reasoning Systems. IJPRAI 7(3): 441-457 (1993)

Weiru Liu, Alan Bundy, David Stuart Robertson: Recovering Incedence Functions. ECSQARU 1993: 241-248

Weiru Liu, Alan Bundy, David Stuart Robertson: On the Relations between Incidence Calculus and ATMS. ECSQARU 1993: 249-256

Weiru Liu, John G. Hughes, Michael F. McTear: Representing Heuristic Knowledge in D-S Theory. UAI 1992: 182-190