1060 search results - page 57 / 212 » Mechanized semantics |
LADS
2007
Springer
15 years 3 months ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
100
click to vote
JUCS
2007
14 years 9 months ago
2007
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...
SAINT
2006
IEEE
15 years 3 months ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...
ICSOC
2003
Springer
15 years 3 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
CIKM
1994
Springer
15 years 1 months ago
1994
Springer
The rapid advances in computer and communication technologies, and their merger, is leading to a global information market place. It will consist of federations of very large numb...