3005 search results - page 509 / 601 » Logical Information Systems: from Taxonomies to Logics |
102
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
128
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
127
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
118
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
120
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...