5818 search results - page 295 / 1164 » A reasonable Semantic Web |
225
click to vote
WIFT
1998
IEEE
15 years 11 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
180
click to vote
AAAI
2008
15 years 9 months ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
213
click to vote
ATAL
2008
Springer
15 years 9 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...
176
click to vote
ATAL
2008
Springer
15 years 9 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...
193
click to vote
NIPS
2003
15 years 8 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...