Bruce Spencer

Feras N. Al-Obeidat

Omar Alfandi

Proceedings of the 8th International Conference on Ambient Systems, 2017

Opinions Sandbox: Turning Emotions on Topics into Actionable Analytics.

[BibT_eX]

[DOI]

Feras N. Al-Obeidat

Eleanna Kafeza

Proceedings of the Emerging Technologies for Developing Countries, 2017

2016

Requirements for building an ontology for autonomous robots.

[BibT_eX]

[DOI]

Ind. Robot, 2016

Forecasting Internal Temperature in a Home with a Sensor Network.

[BibT_eX]

[DOI]

Omar Alfandi

Proceedings of the 7th International Conference on Ambient Systems, 2016

Temperature Forecasts with Stable Accuracy in a Smart Home.

[BibT_eX]

[DOI]

Feras N. Al-Obeidat

Proceedings of the 7th International Conference on Ambient Systems, 2016

2013

A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Complete Classification of Complex ALCHO Ontologies Using a Hybrid Reasoning Approach.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Cost-Sensitive Self-Training.

[BibT_eX]

[DOI]

Yuanyuan Guo

Harry Zhang

Proceedings of the Advances in Artificial Intelligence, 2012

Simulating social commerce applied to buyer group pricing, recommendation incentives, and bundling.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Electronic Commerce, 2012

2011

A Multi-Agent Framework for Ambient Systems Development.

[BibT_eX]

[DOI]

Xiping Hu

Proceedings of the 2nd International Conference on Ambient Systems, 2011

Assigning routes and wavelengths for collaboration over optical networks.

[BibT_eX]

[DOI]

Yosri Harzallah

Joseph D. Horton

Photonic Netw. Commun., 2011

The Unsymmetrical-Style Co-training.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2011

Towards an open collaboration service framework.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

Hybrid Reasoning for Ontology Classification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2011

2010

HSVO: a Functional XML Specifi cation for Integrating Simulation Devices.

[BibT_eX]

Bio Algorithms Med Syst., 2010

Simulation integration for healthcare education, training and assessment.

[BibT_eX]

[DOI]

Rachel H. Ellaway

Jeremy R. Cooperstock

Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010

2009

Health Training with SAVOIR and the RSM.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Semantics, Knowledge and Grid, 2009

2008

Special section guest editors' introduction: Evaluating new technological innovations for successful business on the internet.

[BibT_eX]

[DOI]

Electron. Commer. Res. Appl., 2008

Modeling and Managing Collaborative Sessions for a Virtual Organization.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Semantics, Knowledge and Grid, 2008

Modelling the Sharing of Resources across Collaborative Sessions.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

Semi-supervised Self-training for Sentence Subjectivity Classification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence , 2008

2007

A Bayesian classifier for learning opponents' preferences in multi-object automated negotiation.

[BibT_eX]

[DOI]

Electron. Commer. Res. Appl., 2007

On Demand Network and Application Provisioning ThroughWeb Services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Towards an Agile Infrastructure to Provision Devices, Applications, and Networks: A Service-oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Assimilating ontological additions in convergent negotiation protocols.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Electronic Commerce: The Wireless World of Electronic Commerce, 2007

2006

Eucalyptus: intelligent infrastructure enabled participatory design studio.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Towards a Service-oriented Participatory Design Studio Supported by UCLP.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

Detecting opponent concessions in multi-issue automated negotiation.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce, 2006

2005

Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

The OO jDREW Reference Implementation of RuleML.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

MONOLOGUE: A Tool for Negotiating Exchanges of Private Information in E-Commerce.

[BibT_eX]

[DOI]

Proceedings of the Third Annual Conference on Privacy, 2005

Learning opponents' preferences in multi-object automated negotiation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Electronic Commerce, 2005

2004

A Decision Procedure for Bundle Purchasing with Incomplete Information on Future Prices.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2004

Negotiating Exchanges of P3p-Labeled Information for Compensation.

[BibT_eX]

[DOI]

Comput. Intell., 2004

What does Software Engineering Practice offer to Semantic Web Service Composition?

[BibT_eX]

[DOI]

Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, 2004

Inferring Data Transformation Rules to Integrate Semantic Web Services.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2004

Determining Internet Users' Values for Private Information.

[BibT_eX]

[DOI]

Proceedings of the Second Annual Conference on Privacy, 2004

2003

Inference Queues for Communicating and Monitoring Declarative Information between Web Services.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

Negotiating Exchanges of Private Information for Web Service Eligibility.

[BibT_eX]

[DOI]

Keping Jia

Proceedings of the Advances in Artificial Intelligence, 2003

Efficient Monte Carlo decision tree solution in dynamic purchasing environments.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Electronic Commerce, 2003

2002

Introduction to the Special Issue on Agent Technologies for Electronic Commerce.

[BibT_eX]

[DOI]

Comput. Intell., 2002

2000

Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution.

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

Support Ordered Resolution.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

1999

Merge Path Improvements for Minimal Model Hyper Tableaux.

[BibT_eX]

[DOI]

Peter Baumgartner

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1998

Rank/Activity: A Canonical Form for Binary Resolution.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

1997

Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 1997

Extending the Regular Restriction of Resolution to Non-Linear Subdeductions.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Access Clause Trees in Disjunctive Deductive Databases.

[BibT_eX]

Charlie F. Obimbo

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

1994

Avoiding Duplicate Proofs with the Foothold Refinement.

[BibT_eX]

[DOI]