Ontology Competition

Rearden Commerce has announced its sponsorship of a category of The World Championship for Automated Theorem Proving (ATP), Large Theory division. The competition showcases the latest advancements in logical reasoning.

Read More

Frankfurt Conference Addresses Artificial Intelligence

Artificial intelligence is the topic of a conference in Frankfurt, Germany scheduled for August 15-20, 2011. AICOL (AI Approaches to the Complexity of Legal Systems) 2011 is set to further develop models of legal knowledge, concerning its organization, structure and content, in order to promote mutual understanding and communication between different legal systems and cultures.

Read More

NASA Hosting Open Source Summit 2011

As we write, NASA is hosting its first-ever summit around open source technology. This obvious support of the open source community is being held at Ames Research Center in Mountain View, California. The two-day Open Source Summit 2011 will gather engineers, policy makers, and members of the open source community to discuss how the agency can become a larger player in this sector.

Read More

The Importance of Linked Data

In its purest form, linked data can be found at the research desk in any library. Access to sources and pertinent information connected to but beyond your initial inquiry, can make your results more inclusive and dynamic.

Read More

Taiwan’s Think Tank Working in the Clouds

Taiwan GIS Centre — the country’s “think tank” — is developing a web-based spatial decision support system on the Government Cloud, which would enable the central and local government, private industries, and the general public to access spatial information through various medium.

Read More