Bruce Spencer
|
|
Contents
·
Education
·
Employment
·
Contact
Info
·
Teaching
·
Research Interests
·
Current Students
·
Former Students
·
Academic
CV
·
Organizational Activities
·
Board
Service
·
Open Source Libraries
·
Proceedings and Special Issues
·
Journal Papers
·
Conference Papers
|
Additional
NRC Links |
Education
|
BSc (Dalhousie, 1980), MMath (
|
Employment
|
At UNB:
· 1990 - 2002 – Professor
· Since 2002 – Adjunct Professor
At NRC IIT
|
Contact Info
|
National
Research Council
Phone 506-444-0384 email: Bruce.Spencer “at” nrc “dot” ca email: bspencer “at” unb “dot” ca |
Research Interests
|
·
Automated Reasoning
·
Semantic
Web
·
Privacy
Negotiation
|
Current Grad Students
|
·
Sandy
Liu PhD since 2003
·
Yue Wang PhD since 2003
·
Bin Wang
MCS
·
Bo Xu MCS
|
Former Grad Students
|
·
Scott
Buffett PhD
Thesis completed 2004
·
Yue Wang Masters completed 2004
·
Fang
Wang Masters completed 2003
·
Keping Jia Masters
Thesis completed 2003
·
Charlie Obimbo PhD completed 2000
·
James
Zhang Masters Completed 2000
·
Scott
Buffett Masters
Thesis Completed 1998
·
Baoyun Sun Masters Completed 1996
·
Ameet Sardessi Masters Completed 1995
·
It Fung Siow Masters Completed 1994
·
Suping Shi Masters Completed 1993
|
Academic CV
|
·
Full
·
Brief
·
Resume
|
Organizational Activities
|
·
International Conference on Electronic Conference
2005 General Chair
·
BASeWEB 2005 at Canadian AI 2004
·
BASeWEB
2004 at Canadian AI 2004
·
BASeWEB 2003 at Canadian AI 2003
·
BASeWEB 2002 at Canadian AI-2002.
·
Program co-chair at Canadian AI-2002.
·
Novel E-Commerce
Applications of Agents at Canadian AI-2001.
· Parallel and Distributed Search for Reasoning at AAAI-2000 ·
Parallel and
Distributed Reasoning at FLAIRS-99
· Using AI Methods in Deduction at CADE 98 · Using AI methods to control automated deduction at FLAIRS 97 · Controlling Search in Automated Reasoning Systems at FLAIRS 96 |
Service on Boards and Executive
|
·
Past
President of CSCSI / SCEIO
·
IJCAI 2005 Advisory Board
·
Computational Intelligence
Editorial Board
·
Science East Advisory Board
|
Open Source Libraries
|
·
jDREW – java Deductive Reasoning Engine
at SourceForge
|
Proceedings and Special Issues
|
1.
Proceedings AI 2002. the
Canadian Conference on Artificial Intelligence, 2. Computational Intelligence 18:4 Special Issue on Agent Technologies for E-Commerce, Nov, 2002. |
Selected Journal Papers
|
1. Scott Buffet and Bruce Spencer, 2004 “A Decision Procedure for Bundle Purchasing with Incomplete Information on Future Prices” to appear in International Journal of Electronic Commerce. 2. Scott Buffett, Keping Jia, Sandy Liu, Bruce Spencer, Fang Wang, 2004, “Negotiating Exchanges of P3P-labeled Information for Compensation”, to appear in Computational Intelligence. 3. Bruce Spencer and J. D. Horton, 2000, “Efficient algorithms to detect and restore minimality: an extension of the regular restriction of resolution” Journal of Automated Reasoning, 25:1-34. 4. J. D. Horton and Bruce Spencer, 1997 “Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning”, Artificial Intelligence, 92:25-89. 5.
B.
Spencer, 1994, “Avoiding
Duplicate Proofs with the Foothold Refinement”, Annals of Mathematics and
Artificial Intelligence, 12:117-140.
6. Robin Cohen, Fei Song, Bruce Spencer and Peter van Beek, 1991, “Exploiting Temporal and Novel Information from the User in Plan Recognition”, User Modeling and User-Adapted Interaction: An International Journal, Kluwer Academic Publishers, 1:125-148. |
Selected Conference Papers
|
1. Bruce Spencer and Sandy Liu, “Inferring Data Transformation Rules to Integrate Semantic Web Services” In Proceedings of the International Semantic Web Conference, Hiroshima, Japan, November 2004. 2. Bruce Spencer and Sandy Liu, “Inference Queues for Communicating and Monitoring Declarative Information among Web Services”, In Proceedings of Rules and Rule Markup Languages for the Semantic Web, (RuleML03) Sanibel Island, FL, USA, October 2003, pp 121-135. 3. Scott Buffett and Bruce Spencer, “Efficient Monte Carlo Decision Tree Solution in Dynamic Purchasing Environments” in Proceedings of International Conference on Electronic Commerce (ICEC'03), Pittsburgh, PA, October 2003, pp. 31-39 4. Keping Jia and Bruce Spencer,“Negotiating Exchanges of Private Information for Web Service Eligibility ”, In Proceedings of the Canadian AI 03, Halifax, Canada, June 2003, pp 252-267.5.
Bruce Spencer, “The
Design of j-DREW: A Deductive Reasoning Engine for the Web” In
Proceedings of the First CologNET Workshop on Component-Based Software Development
and Implementation Technology for Computational Logic Systems. CBD ITCLS
2002, 6. Bruce Spencer and J. D. Horton,“Support Ordered Resolution ”, Prodeedings of 17th International Conference on Automated Deduction, |
