2291 search results - page 215 / 459 » Representational Reasoning and Verification |
121
Voted
ILP
2000
Springer
15 years 4 months ago
2000
Springer
A framework for combining Genetic Algorithms with ILP methods is introduced and a novel binary representation and relevant genetic operators are discussed. It is shown that the pro...
117
Voted
IJCAI
1997
15 years 2 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
131
Voted
IJCAI
1997
15 years 2 months ago
1997
In order to cooperate effectively with its peers, an agent must manipulate representations of the social structures in which it plays a part. The purpose of this paper is to inves...
115
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Symmetry can be used to help solve many problems. For instance, Einstein's famous 1905 paper ("On the Electrodynamics of Moving Bodies") uses symmetry to help derive...
83
Voted
CSL
2006
Springer
15 years 25 days ago
2006
Springer
This paper describes the architecture and the implementation of a full-scale pronunciation lexicon for Turkish using finite state technology. The system produces at its output, a ...