Sciweavers

1016 search results - page 79 / 204
» Knowledge Representation Requirements for Intelligent Tutori...
Sort
View
KI
2009
Springer
15 years 9 months ago
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
ICCBR
2007
Springer
15 years 10 months ago
Prototypical Cases for Knowledge Maintenance in Biomedical CBR
Abstract. Representing biomedical knowledge is an essential task in biomedical informatics intelligent systems. Case-based reasoning (CBR) holds the promise of representing context...
Isabelle Bichindaritz
ICDE
2009
IEEE
285views Database» more  ICDE 2009»
16 years 6 months ago
Design and Evaluation of the iMed Intelligent Medical Search Engine
-- Searching for medical information on the Web is popular and important. However, medical search has its own unique requirements that are poorly handled by existing medical Web se...
Gang Luo
ATAL
2007
Springer
15 years 10 months ago
A framework for reasoning about rational agents
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
Wojciech Jamroga, Nils Bulling
ATAL
2006
Springer
15 years 6 months ago
On proactivity and maintenance goals
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
Simon Duff, James Harland, John Thangarajah