2648 search results - page 354 / 530 » Worlds, Models, and KM |
165
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
165
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
185
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
197
click to vote
ISRR
2001
Springer
15 years 11 months ago
2001
Springer
A new field of robotics is emerging. Robots are today moving towards applications beyond the structured environment of a manufacturing plant. They are making their way into the e...
187
click to vote
VRML
1998
ACM
15 years 10 months ago
1998
ACM
Peloton is a sports simulator that uses the Virtual Reality Modeling Language (VRML) to create virtual environments for athletic training and competition. In particular, it create...