866 search results - page 143 / 174 » A Formal Investigation of |
WWW
2004
ACM
16 years 15 days ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
CADE
2001
Springer
16 years 4 days ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
155
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
ARGMAS
2009
Springer
15 years 6 months ago
2009
Springer
The literature in argumentation and artificial intelligence has distinguished five types of burden of proof in persuasion dialogs, but there appears to have been no serious invest...
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
sing Attacks to Attacks in Abstract Argumentation Frameworks Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida Dipartimento di Elettronica per l’Automazi...