Pilar Pozos-Parra

Available identifiers

zbMath Open pozos-parra.pilarMaRDI QIDQ2520657

List of research outcomes

Publication	Date of Publication	Type
On enumerating models for the logic of paradox using tableau	2023-07-28	Paper
Using binary patterns for counting falsifying assignments of conjunctive forms	2016-12-16	Paper
Búsqueda tabú con criterio de aspiración probabilístico aplicada a la generación de horarios escolares	2015-07-16	Paper
Belief merging in dynamic logic of propositional assignments	2014-03-31	Paper
Solving the international timetabling competition: a deterministic approach	2012-06-19	Paper
The Chisholm Paradox and the Situation Calculus	2008-03-17	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2006-06-23	Paper

Research outcomes over time

This page was built for person: Pilar Pozos-Parra