2303 search results - page 105 / 461 » On the logic of argumentation theory |
167
click to vote
NAACL
2010
15 years 4 months ago
2010
Knowledge extraction from online repositories such as PubMed holds the promise of dramatically speeding up biomedical research and drug design. After initially focusing on recogni...
152
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
183
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
185
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
173
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...