2409 search results - page 159 / 482 » Logical systems for structured specifications |
185
click to vote
CHI
2009
ACM
15 years 4 months ago
2009
ACM
The success of Wikipedia has demonstrated the power of peer production in knowledge building. However, unlike many other examples of collective intelligence, tasks in Wikipedia ca...
167
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
160
click to vote
AIL
2000
15 years 6 months ago
2000
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...
182
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The availability of the logical structure of documents in contentoriented XML retrieval can be beneficial for users of XML retrieval systems. However, research into struc...
195
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...