1368 search results - page 65 / 274 » Personality-Based Practical Reasoning |
ACL
2010
15 years 5 hour ago
2010
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...
138
click to vote
SEMWEB
2010
Springer
14 years 12 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
151
click to vote
FLAIRS
2009
14 years 11 months ago
2009
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
160
Voted
ICDT
2009
ACM
14 years 11 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
119
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...