Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	James
Last name:	Harland
DBLP:	h/JamesHarland
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 67  

Select a publication
Show	Title	Venue	Rating	Date
	Alex Holkner, James Harland. Evaluating the dynamic behaviour of Python applications.	Computer Science 2009, Thirty-Second Australasian Computer Science Conference (ACSC 2009), Wellington, New Zealand, January 19-23, 2009, Proceedings 2009	(0)	2009
	Joachim Gudmundsson, James Harland. Preface.	Int. J. Found. Comput. Sci. 2009, Volume 20	(0)	2009
	John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith. Suspending and resuming tasks in BDI agents.	7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1 2008	(0)	2008
	Nalaka Gooneratne, Zahir Tari, James Harland. VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.	Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings 2008	(0)	2008
	John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith. Aborting tasks in BDI agents.	6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 2007	(0)	2007
	Duc Quang Pham, James Harland. Temporal linear logic as a basis for flexible agent interactions.	6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 2007	(0)	2007
	James Harland. Analysis of Busy Beaver Machines via Induction Proofs.	Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings 2007	(0)	2007
	Lavindra de Silva, Anthony Dekker, James Harland. Planning with Time Limits in BDI Agent Programming Languages.	Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings 2007	(0)	2007
	Duc Quang Pham, James Harland, Michael Winikoff. Modeling Agents' Choices in Temporal Linear Logic.	Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers 2008	(0)	2007
	Nalaka Gooneratne, Zahir Tari, James Harland. Matching Strictly Dependent Global Constraints for Composite Web Services.	Fifth IEEE European Conference on Web Services (ECOWS 2007), 26-28 November 2007, Halle (Saale), Germany 2007	(0)	2007
	Nalaka Gooneratne, Zahir Tari, James Harland. Verification of web service descriptions using graph-based traversal algorithms.	Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007 2007	(0)	2007
	Ken Gardiner, James Harland, Margaret Hamilton. A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set.	Progress in Artificial Life, Third Australian Conference, ACAL 2007, Gold Coast, Australia, December 4-6, 2007, Proceedings 2007	(0)	2007
	Min Xu, Lin Padgham, Aloys Mbala, James Harland. Tracking reliability and helpfulness in agent interactions.	Web Intelligence and Agent Systems 2007, Volume 5	(0)	2007
	Simon Duff, James Harland, John Thangarajah. On proactivity and maintenance goals.	5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 2006	(0)	2006
	Duc Quang Pham, James Harland. Flexible agent protocols via temporal and resource-based reasoning.	5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 2006	(0)	2006
	James Harland. The Busy Beaver, the Placid Platypus and other Crazy Creatures.	Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings 2006	(0)	2006
	Tatjana Lutovac, James Harland. Detecting Loops During Proof Search in Propositional Affine Logic.	J. Log. Comput. 2006, Volume 16	(0)	2006
	Tatjana Lutovac, James Harland. A Redundancy Analysis of Sequent Proofs.	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings 2005	(0)	2005
	Tatjana Lutovac, James Harland. Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics.	Electr. Notes Theor. Comput. Sci. 2005, Volume 125	(0)	2005
	Michael Winikoff, Wei Liu, James Harland. Enhancing Commitment Machines.	Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers 2005	(0)	2004
	Bình Vu Trân, James Harland, Margaret Hamilton. Expectation Reasoning Using Regret and Disappointment.	Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004 2004	(0)	2004
	Bình Vu Trân, James Harland, Margaret Hamilton. Observation Expectation Reasoning in Agent Systems.	Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 2004	(0)	2004
	James Harland, Michael Winikoff. Agents via Mixed-Mode Computation in Linear Logic.	Ann. Math. Artif. Intell. 2004, Volume 42	(0)	2004
	Margaret Hamilton, James Harland, Lin Padgham. Experiences in Teaching Computing Theory via Aspects of Problem-based Learning.	Fifth Australasian Computing Education Conference (ACE 2003), Adelaide, Australia, 4-7 February 2003 2003	(0)	2003
	Bình Vu Trân, James Harland, Margaret Hamilton. Expectation: the logic of flexible motivation.	The Second International Joint Conference on Autonomous Agents Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings 2003	(0)	2003

Your query returned 67 matches in the database.