1496 search results - page 145 / 300 » Definability of Initial Segments |
173
click to vote
ICDM
2002
IEEE
15 years 10 months ago
2002
IEEE
Extracting and processing information from web pages is an important task in many areas like constructing search engines, information retrieval, and data mining from the Web. Comm...
140
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
131
click to vote
HT
1997
ACM
15 years 8 months ago
1997
ACM
Activity spaces are usually task-specific and only common to a group of people who work together in a certain application domain. It is desirable to enable users to define and mod...
128
Voted
AAAI
2008
15 years 7 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
162
click to vote
JAIR
2008
15 years 5 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...