Sciweavers

123 search results - page 13 / 25
» Symbol Grounding and its Implications for Artificial Intelli...
Sort
View
AIIA
2007
Springer
14 years 2 months ago
Instance-Based Query Answering with Semantic Knowledge Bases
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
ICTAI
2003
IEEE
14 years 1 months ago
Ontology-Based Medical Image Annotation with Description Logics
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nige...
AIPS
1996
13 years 10 months ago
A Procedural Knowledge Approach to Task-Level Control
Effective task-level control is critical for robots that are to engage in purposeful activity in realworld environments. This paper describes PRSLite, a task-level controller grou...
Karen L. Myers
AGP
2003
IEEE
14 years 8 days ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello
CAEPIA
2003
Springer
14 years 1 months ago
Towards Biresiduated Multi-adjoint Logic Programming
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
Jesús Medina, Manuel Ojeda-Aciego, Agust&ia...