1746 search results - page 216 / 350 » A Constructive Semantics for ALC |
124
Voted
JUCS
2008
15 years 23 days ago
2008
Abstract: Information integration applications combine data from heterogeneous sources to assist the user in solving repetitive data-intensive tasks. Currently, such applications r...
89
Voted
ML
2008
ACM
15 years 23 days ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
124
click to vote
KES
2006
Springer
15 years 23 days ago
2006
Springer
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
86
Voted
RE
2006
Springer
15 years 22 days ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
105
Voted
CORR
2000
Springer
15 years 19 days ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...