4894 search results - page 310 / 979 » Choices |
171
click to vote
JELIA
2004
Springer
16 years 23 days ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
177
click to vote
KR
2004
Springer
16 years 23 days ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
212
click to vote
LPNMR
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
202
click to vote
MATA
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Limited computational power imposes new challenges during the implementation of security and privacy solutions for mobile devices. The choice for the most appropriate cry...
186
click to vote
OTM
2004
Springer
16 years 23 days ago
2004
Springer
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...