Sciweavers

2291 search results - page 114 / 459
» Representational Reasoning and Verification
Sort
View
JAIR
2010
130views more  JAIR 2010»
15 years 3 months ago
A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...
Bonny Banerjee, B. Chandrasekaran
SIGIR
1992
ACM
15 years 9 months ago
Classifying News Stories using Memory Based Reasoning
ct tasks such as extraction of relational information from text [Young] [Jacobs]. We describe a method for classifying news stories using Alternative systems [Biebricher] [Lewis] u...
Brij M. Masand, Gordon Linoff, David L. Waltz
LOGCOM
2008
104views more  LOGCOM 2008»
15 years 5 months ago
Testing the Reasoning for Question Answering Validation
Question Answering (QA) is a task that deserves more collaboration between Natural Language Processing (NLP) and Knowledge Representation (KR) communities, not only to introduce r...
Anselmo Peñas, Álvaro Rodrigo, Valen...
KR
2010
Springer
15 years 10 months ago
Characterizing Updates in Dynamic Epistemic Logic
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
Guillaume Aucher
MVA
1996
113views Computer Vision» more  MVA 1996»
15 years 6 months ago
Ultra Sonic Image Interpretation for Non-Destructive Testing
For interpretation of ultra sonic images an image interpretation system based on case based reasoning is proposed. We describe the case representation and the casebased reasoningp...
Petra Perner