10568 search results - page 542 / 2114 » Computer Intelligence and Formalization |
152
click to vote
ECSQARU
2009
Springer
16 years 28 days ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
157
click to vote
KCAP
2009
ACM
16 years 26 days ago
2009
ACM
In this paper we give an overview of a multiontology disambiguation method, targeted to discover the intended meaning of words in unstructured web contexts. It receives an ambiguo...
169
click to vote
FUZZIEEE
2007
IEEE
16 years 21 days ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
137
click to vote
SGAI
2007
Springer
16 years 14 days ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
161
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...