711 search results - page 127 / 143 » Knowledge Representation and Reasoning in (Controlled) Natur... |
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
CD
2005
Springer
14 years 2 months ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
SCAI
2001
13 years 10 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
KDD
1997
ACM
14 years 1 months ago
1997
ACM
Thereis a wealthof informationto be minedfromnarrative text on the WorldWideWeb.Unfortunately, standard natural language processing (NLP)extraction techniques expect full, grammat...
KR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract The emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges for ar...