3229 search results - page 242 / 646 » Theories with the Independence Property |
190
click to vote
ISMIS
2005
Springer
16 years 28 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...
204
click to vote
TLCA
2005
Springer
16 years 27 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 ...
215
click to vote
XSYM
2005
Springer
16 years 27 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...
156
click to vote
ECAI
2004
Springer
16 years 24 days 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...
187
click to vote
ADC
2003
Springer
16 years 19 days 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...