Sciweavers

2291 search results - page 351 / 459
» Representational Reasoning and Verification
Sort
View
WSCG
2004
239views more  WSCG 2004»
13 years 11 months ago
General n-Dimensional Rotations
This paper presents a generalized approach for performing general rotations in the n-Dimensional Euclidean space around any arbitrary (n-2)-Dimensional subspace. It first shows th...
Antonio Aguilera, Ricardo Pérez-Aguila
NAACL
2003
13 years 11 months ago
COGEX: A Logic Prover for Question Answering
Recent TREC results have demonstrated the need for deeper text understanding methods. This paper introduces the idea of automated reasoning applied to question answering and shows...
Dan I. Moldovan, Christine Clark, Sanda M. Harabag...
EJC
2000
13 years 11 months ago
KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
Thorsten Liebig, Dieter Finkenzeller, Marko Luther
ICMAS
1998
13 years 11 months ago
An Agent Architecture for Dynamic Re-Design of Agents
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
AAAI
1996
13 years 11 months ago
On the Foundations of Qualitative Decision Theory
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...
Ronen I. Brafman, Moshe Tennenholtz