This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

We present a logical setting that incorporates a belief-revision mechanism within Dynamic-
Epistemic logic. As the “static” basis for belief revision, we use epistemic plausibility models …

Epistemic planning is the enrichment of automated planning with epistemic notions such as
knowledge and belief. In general, single-agent epistemic planning considers the following …

We develop a conceptual and formal clarification of notion of surprise as a belief-based
phenomenon by exploring a rich typology. Each kind of surprise is associated with a …

This thesis investigates two main issues concerning the behavior of rational agents,
preference dynamics and agent diversity. We take up two questions left aside by von Wright …

Abstract Formal Semantics and Distributional Semantics are two very influential semantic
frameworks in Computational Linguistics. Formal Semantics is based on a symbolic tradition …

Recent empirical work shows that inconsistent results based on choice of hyperparameter
optimization (HPO) configuration are a widespread problem in ML research. When …

Logic and probability theory are two of the main tools in the formal study of reasoning, and
have been fruitfully applied in areas as diverse as philosophy, artificial intelligence …

This is part A of a paper in which we defend a semantics for counterfactuals which is
probabilistic in the sense that the truth condition for counterfactuals refers to a probability …

Distributional models describe the meaning of a word in terms of its observed contexts. They
have been very successful in computational linguistics. They have also been suggested as a …