1331 search results - page 115 / 267 » Description logic reasoning using the PTTP approach |
160
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
172
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
202
click to vote
PKDD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
153
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
A protocol for the reliable multicast of data to mobile hosts is described. A logical ring is maintained between all the base stations that handle the multicast traffic of the sam...
191
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
This work is about the integration of the skills robot control, landmark recognition, and qualitative reasoning in a single autonomous mobile system. It deals with the transfer of ...