Sciweavers

2767 search results - page 210 / 554
» Knowledge Relativity
Sort
View
EVOW
2005
Springer
14 years 3 months ago
Property Analysis of Symmetric Travelling Salesman Problem Instances Acquired Through Evolution
We show how an evolutionary algorithm can successfully be used to evolve a set of difficult to solve symmetric travelling salesman problem instances for two variants of the Lin-Ker...
Jano I. van Hemert
AISC
2010
Springer
14 years 2 months ago
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence
We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial...
Jacques Calmet, John A. Campbell
AMAI
2007
Springer
13 years 9 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
DSS
2007
74views more  DSS 2007»
13 years 9 months ago
Novel information discovery for intelligence and counterterrorism
Intelligence analysts construct hypotheses from large volumes of data, but are often limited by social and organizational norms and their own preconceptions and biases. The use of...
David B. Skillicorn, Nikhil Vats
LREC
2010
177views Education» more  LREC 2010»
13 years 11 months ago
LT World: Ontology and Reference Information Portal
LT World (www.lt-world.org) is an ontology-driven web portal aimed at serving the global language technology community. Ontology-driven means, that the system is driven by an onto...
Brigitte Jörg, Hans Uszkoreit, Alastair Burt