Ho-fung Leung

Publication List Details

Period

1993 - 2009

Number

31

Co-Authors

WeightedPrioritized Compensatory Aggregation* (2009)

Xudong Luo, Ho-fung Leung

Abstract. Yager et al. first introduce compensatory operators. This paper further introduces a kind of weighted compensatory operators, and a kind of prioritized compensatory operators. The...

A three-tier view-based methodology for adapting human-agent collaborative systems (2008)

S. C. Cheung, Ho-fung Leung

Abstract: With recent advances in mobile technologies and infrastructures, there are increasing demands for mobile users to connect to existing collaboration systems. This requires extending supports...

A non-magical set-oriented method for Datalog (2008)

Hoi-Yee Hwang, Ho-fung Leung, Wai-chee Fu

This paper presents a new algorithm for query evaluation for datalog. The algorithm is set-oriented as it uses sets to constraint the arguments of the related rules and the subgoals generated. The...

An Execution Scheme for Interactive Problem-Solving in Concurrent Constraint Logic Programming Languages (2008)

Ho-fung Leung

Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the context of constraint...

University of Southampton, Southampton SO17 1B J, United Kingdom. (2007)

Minghua He, Nicholas R. Jennings, Ho-fung Leung

This paper surveys and analyses the state of the art of agent-mediated electronic commerce (e-commerce), concentrating particularly on the business-to-consumer (B2C) and business-to-business (B2B)...

Efficiently answering top-k typicality queries on large databases (2007)

Ming Hua, Jian Pei, Xuemin Lin, Ho-fung Leung

890 Finding typical instances is an effective approach to understand and analyze large data sets. In this paper, we apply the idea of typicality analysis from psychology and cognition science to...

Efficiently answering top-k typicality queries on large databases (2007)

Ming Hua, Jian Pei, Xuemin Lin, Ho-fung Leung

Finding typical instances is an effective approach to understand and analyze large data sets. In this paper, we apply the idea of typicality analysis from psychology and cognition science to database...

Facilitating e-negotiation process with semantic web technologies (2005)

Senior Member, Ho-fung Leung

Semantic Web technologies have recently been maturing to make e-commerce interactions and crossorganizational processes more flexible and automated. Ontology has also been developed in various...

A multi-modal agent based mobile route advisory system for public transport network (2005)

Senior Member, Ho-fung Leung

In a metropolis such as Hong Kong, the transport network is massive, dynamic, and complicated, and therefore route finding is not an easy task, especially when routes comprising several modes of...

Constraint-based Negotiation in a Multi-Agent Information System with Multiple Platform Support (2004)

S. C. Cheung, Ho-fung Leung

Agent technologies have been deployed to model and implement E-commerce activities as multi-agent information systems (MAIS). Agents provide services to one another for mutual gain on behalf of their...

On agent-mediated electronic commerce (2003)

Minghua He, Nicholas R. Jennings, Ho-fung Leung

Abstract—This paper surveys and analyzes the state of the art of agent-mediated electronic commerce (e-commerce), concentrating particularly on the business-to-consumer (B2C) and...

A three-tier view-based methodology for M-services adaptation (2003)

S. C. Cheung, Eleanna Kafeza, Ho-fung Leung

Abstract—With recent advances in mobile technologies and infrastructures, there are increasing demands for ubiquitous access to networked services. These services, generally known as m-services,...

A fuzzy logic based bidding strategy for autonomous agents in continuous double auctions (2003)

Minghua He, Ho-fung Leung, Nicholas R. Jennings

Abstract | Increasingly many systems are being conceptualised, designed and implemented as marketplaces in which autonomous software entities (agents) trade services. These services can be...

A Local Search Framework for Semiring-Based Constraint Satisfaction Problems (2003)

Stefano Bistarelli, Ho-fung Leung

Solving semiring-based constraint satisfaction problem (SCSP) is a task of finding the best solution, which can be viewed as an optimization problem. Current research of SCSP solution methods focus...

A fuzzy-logic based bidding strategy for autonomous agents in continuous double auctions (2002)

Minghua He, Ho-fung Leung, Nicholas R. Jennings

Abstract—Increasingly, many systems are being conceptualized, designed, and implemented as marketplaces in which autonomous software entities (agents) trade services. These services can be...

Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: a case study (2001)

Xudong Luo, Chengqi Zhang, Ho-fung Leung

Abstract. The issue of information sharing and exchanging is one of the most important issues in the areas of articial intelligence and knowledge based systems, or even in the broader areas of...

Theory and properties of a selfish protocol for multi-agent meeting scheduling using fuzzy constraints (2000)

Xudong Luo, Ho-fung Leung

Abstract. This paper develops an agent-based methodology for meeting scheduling. In such a multi-agent system, each agent acts on behalf of a user. For each user the meeting scheduling problem is...

Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints (2000)

Xudong Luo, Ho-fung Leung

. This paper develops an agent-based methodology for meeting scheduling. In such a multi-agent system, each agent acts on behalf of a user. For each user the meeting scheduling problem is modeled by...

An Optimal Algorithm for Global Termination Detection in Shared-Memory Asynchronous Multiprocessor Systems (1997)

Ho-fung Leung, Hing-fung Ting

In the literature the problem of global termination detection in shared-memory asynchronous multiprocessor systems is solved by using exclusively accessible variables and locking mechanism. In this...

Towards a More Efficient Stochastic Constraint Solver (1996)

Jimmy Lee, Ho-fung Leung, Hon-wing Won

. E-GENET shows certain success on extending GENET for non-binary CSP's. However, the generic constraint representation scheme of E-GENET induces the problem of storing too many penalty values...

A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems (1996)

Ka-fai Ng, Ho-fung Leung

this paper, we propose fuzzy EGENET by merging the idea of E-GENET and fuzzy GENET. Fuzzy E-GENET allows the representation of nonbinary FCSP's. We have built a fuzzy E-GENET simulator....

Towards a More Efficient Stochastic Constraint Solver (1996)

Ho-fung Leung, Hon-wing Won

. E-GENET shows certain success on extending GENET for non-binary CSP's. However, the generic constraint representation scheme of E-GENET induces the problem of storing too many penalty values...

Load Balancing in a Distributed-Memory Or-Parallel System (1996)

Bo-Ming Tong, Ho-fung Leung

We consider or-parallel logic programming implementations on parallel machines with no shared-memory. Traditional implementation techniques as employed in Aurora and Muse are not applicable. In our...

Applying constraint satisfaction techniques in university timetable scheduling (1995)

Chi-mei Yeung, Suet-mui Leung, Ho-fung Leung

Planning and scheduling are often NP-complete problems. There have been different approaches to tackle these problems. With the emergence of constraint logic programming, the constraint satisfaction...

Performance of a Data-Parallel Concurrent Constraint Programming System (1995)

Bo-Ming Tong, Ho-fung Leung

: Firebird [12] is a data-parallel concurrent constraint programming system. It is shown that finite domain constraint languages can be implemented on massively parallel SIMD machines. Firebird has...

Implementation of a data-parallel concurrent constraint programming system (1994)

Bo-ming Tong, Ho-fung Leung

Abstract: Firebird [12] is a data-parallel concurrent constraint programming system. It is shown that finite domain constraint languages can be implemented on massively parallel SIMD machines....

Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers (1993)

Bo-Ming Tong, Ho-fung Leung

With the advent of cost-effective massively parallel computers, researchers conjecture that the future constraint logic programming system is composed of a massively parallel constraint solver as the...

Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers (1993)

Bo-Ming Tong, Ho-fung Leung

With the advent of cost-effective massively parallel computers, researchers conjecture that the future constraint logic programming system is composed of a massively parallel constraint solver as the...