2395 search results - page 98 / 479 » Reasoning in Semantic Wikis |
138
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
120
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
141
click to vote
FLAIRS
2006
15 years 5 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
143
click to vote
NIPS
2003
15 years 5 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
141
click to vote
AIPS
1994
15 years 5 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...