3229 search results - page 242 / 646 » Theories with the Independence Property |
158
click to vote
ISMIS
2005
Springer
16 years 2 days ago
2005
Springer
Being a good entry page to a Web site reflects how well the page enables a user to obtain optimal access, by browsing, to relevant and quality pages within the site. Our aim is to...
182
click to vote
TLCA
2005
Springer
16 years 2 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
181
click to vote
XSYM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
140
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
162
click to vote
ADC
2003
Springer
15 years 11 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...