1036 search results - page 6 / 208 » Incompleteness of Behavioral Logics |
KDD
2012
ACM
11 years 10 months ago
2012
ACM
Advanced technology in GPS and sensors enables us to track physical events, such as human movements and facility usage. Periodicity analysis from the recorded data is an important...
FOAL
2007
ACM
13 years 11 months ago
2007
ACM
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
IJCAI
2003
13 years 8 months ago
2003
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
TIP
2010
13 years 2 months ago
2010
For streaming scalably compressed video streams over unreliable networks, Limited-Retransmission Priority Encoding Transmission (LR-PET) outperforms PET remarkably since the opport...
FLAIRS
2008
13 years 9 months ago
2008
We present a new inference algorithm for Point-Interval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for PointInterval Logic. We also...