3717 search results - page 160 / 744 » Representing Multiple Theories |
135
click to vote
CBMS
2007
IEEE
15 years 10 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
125
Voted
MABS
2000
Springer
15 years 7 months ago
2000
Springer
Discovering and studying emergent phenomena are among the most important activities in social research. Replicating this phenomenon in "the lab" using simulation is an i...
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
We propose an argumentation-based framework for representing communication theories of agents that can take into account dialogue strategies and society protocols in a way that fa...
129
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
122
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper ...