Sciweavers

15754 search results - page 242 / 3151
» Programs are Knowledge Bases
Sort
View
ASP
2003
Springer
15 years 10 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
UM
2007
Springer
15 years 11 months ago
Eliciting Adaptation Knowledge from On-Line Tutors to Increase Motivation
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
Teresa Hurley, Stephan Weibelzahl
170
Voted
AMKM
2003
Springer
15 years 10 months ago
Experience in Using RDF in Agent-Mediated Knowledge Architectures
We report on experience with using RDF to provide a rich content language for use with FIPA agent toolkits, and on RDFS as a metadata language. We emphasise their utility for prog...
Kit-ying Hui, Stuart Chalmers, Peter M. D. Gray, A...
ACIIDS
2010
IEEE
170views Database» more  ACIIDS 2010»
15 years 10 months ago
Moral Hazard Resolved by Common-Knowledge in S5n Logic
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
Takashi Matsuhisa
165
Voted
AGENTS
2001
Springer
15 years 9 months ago
Using background knowledge to speed reinforcement learning in physical agents
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
Daniel G. Shapiro, Pat Langley, Ross D. Shachter