1137 search results - page 133 / 228 » Knowledge Representation with Logic Programs |
111
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
187
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
141
Voted
SAICSIT
2010
ACM
15 years 11 days ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...
116
click to vote
SIGIR
1998
ACM
15 years 6 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
158
Voted
DMSN
2009
ACM
15 years 9 months ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...