-
We describe the approach we followed to construct the schedule for the 27th European Conference on Artificial Intelligence (ECAI), held in Santiago de Compostela in 2024. We provide here all the details of our approach in the hope that others facing similar challenges might be able to replicate w...
-
This paper argues that some well-known passages in the literature do not succeed in non-circularly demonstrating the presence of individuals in propositions and a consequent necessity of identities.
-
This note presents, motivates and details, a logic —model and proof theory— for a first order language with contextually restricted quantification.
-
-
This paper shows how to lift an extensional logic for contextually relativized quantification to an intensional format. The result is shown to provide for a method of conceptually grounded quantification, or quantification through conceptual windows, as it is also called here. The method is shown...
-
I discuss a number of simple measures designed to improve the quality of peer review for large conferences, specifically regarding the accountability of reviewers for their crucial contributions. These measures seem to have had a positive impact for the two large AI conferences I chaired in the r...
-
In order to make sense of talk about things non-existent philosophers and linguists tend to construe them as things more than as non-existent. The temptation to do so is obviously strong, but it also appears wrong. This note provides a constructive argument that we can resist this temptation. It ...
-
Craig interpolation is a fundamental concept in mathematical logic and computer science. Craig interpolants are formulas in a specified vocabulary that, intuitively speaking, explain why one formula entails the other. The existence of Craig interpolants is a useful property serving in many applic...