September 25, 2009
A proof of completeness for continuous first-order logic
I. B. Yaacov and A. P. Pederson
Journal of Symbolic Logic, (forthcoming).
[Handout]
October 9, 2009
Formalizing Sensing Actions: A transition function based approach
T. C. Son and C. Baral
Artificial Intelligence 125:19-91, (2001).
October 23, 2009
Exogenous Semantic Approach to Enriching Logics
P. Mateus, A. Sernadas and C. Sernadas
Essays on the Foundations of Mathematics and Logic, (2005).
Novemeber 6, 2009
Quantified Coalition Logic
T. Agotnes, W. van der Hoek, M. Wooldridge.
Synthese 165(2): 269-294, (2008).
Novemeber 20, 2009
Coherence and Flexibility in Dialogue Games for Argumentation
H. Prakken
Journal of Logic and Computation 15:1009-1040, (2005).
December 4, 2009
The Cognitive Structure of Surprise: Looking for Basic Principles
E. Lorini and C. Castelfranchi
Topoi, 26(1): 133-149, (2007).
March 12, 2010
A Survey of Ranking Theory
W. Spohn
Degrees of Belief, Synthese Library, 185-228, (2009).
March 26, 2010
Sets of Probability Distributions, Independence, and Convexity
F. Cozman
Synthese, forthcoming.
Coherence Choice Functions under Uncertainty
T. Seidenfeld, M.J. Schervish, and J. Kadane
Synthese, 172(1): 157-176, (2010).
April 9, 2010
Normative Framework for Normative System Change
G. Boella, G. Pigozzi, and L. van er Torre
The Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 09), 2009
(Nominated for a Best Paper Award.)
April 23, 2010
World Congress and School on Universal Logic
School: April 18 - 21, 2010
Congress: April 22 - 25, 2010
May 7, 2010
Five Rules for the Evolution of Cooperation
M. A. Nowak
Science 381: 1560-1563, (2006).
May 21, 2010
Knowledge Forgetting: Properties and Applications
Y. Zhang and Y. Zhou
Artificial Intelligence 173(16-17): 1525-1537, (2009).
June 4, 2010
From Belief Change to Preference Change
J. Lang and L. van der Torre
The 18th European Conference on Artificial Intelligence (ECAI 2008).
June 17, 2010
How to solve the hardest logic puzzle ever in two questions
G. Uzquiano
Analysis, 70(1):39-44, (2010).
October 1, 2010
Iterative Conception of Set
T. Forster
Review of Symbolic Logic, 1(1):97-110, (2008).
October 15, 2010
A theory of permission based on the notion of derogation
A. Stolpe
Journal of Applied Logic, 8:97-113, (2010).
October 29, 2010
A Defense of Imprecise Credences in Inference and Decision Making
J. Joyce
forthcoming in Oxford Studies in Epistemology, volume 4, (2011).
November 12, 2010
Aggregating judgments by merging evidence
J. Williamson
Journal of Logic and Computation 19(3): 461-473, (2009).
November 26, 2010
More on Dilation
G. Wheeler and C M. Teng
June 29, 2011
Reasoning the Fast and Frugal Way: Models of Bounded Rationality
G. Gigerenzer and G. Goldstein
Psychological Review 103(4): 650-69, (1996).