Search Results - "Marquis, Pierre"

Abstract logical structuralism by Marquis, Jean-Pierre

“…Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism…”
Get full text

On the computation of probabilistic coalition structures by Schwind, Nicolas, Okimoto, Tenda, Inoue, Katsumi, Hirayama, Katsutoshi, Lagniez, Jean-Marie, Marquis, Pierre

“…In Coalition Structure Generation (CSG), one seeks to form a partition of a given set of agents into coalitions such that the sum of the values of each…”
Get full text

Consistency restoration and explanations in dynamic CSPs—Application to configuration by Amilhastre, Jérôme, Fargier, Hélène, Marquis, Pierre

“…Most of the algorithms developed within the Constraint Satisfaction Problem (CSP) framework cannot be used as such to solve interactive decision support…”
Get full text

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI by Darwiche, Adnan, Marquis, Pierre

“…Quantified Boolean logic results from adding operators to Boolean logic for existentially and universally quantifying variables. This extends the reach of…”
Get full text

Knowledge compilation: Preface by Darwiche, Adnan, Marquis, Pierre

Get full text

Knowledge compilation by Darwiche, Adnan, Marquis, Pierre

Get full text

Understanding Fluctuations in Bobcat Harvest at the Northern Limit of Their Range by Lavoie, Maxime, Collin, Pierre-Yves, Lemieux, Florent, Jolicoeur, Hélène, Canac-Marquis, Pierre, Larivière, Serge

“…In Quebec, Canada, harvest of bobcats (Lynx rufus) started to decline in 1985 and by 1991, harvest seasons were closed due to concerns of a perceived…”
Get full text

Stairway to Heaven: The Abstract Method and Levels of Abstraction in Mathematics by Marquis, Jean-Pierre

“…The abstract method is at the core of what came to be known as "modern mathematics." As a by-product, the abstract method opened the door to the idea that…”
Get full text

Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics by Marquis, Jean-Pierre

“…In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view…”
Get full text

Lost in translation: Language independence in propositional logic – application to belief change by Marquis, Pierre, Schwind, Nicolas

“…While propositional logic is widely used as a representation framework for many AI applications, the concept of language independence in the propositional…”
Get full text

On the explanatory power of Boolean decision trees by Audemard, Gilles, Bellart, Steve, Bounia, Louenas, Koriche, Frédéric, Lagniez, Jean-Marie, Marquis, Pierre

“…Decision trees have long been recognized as models of choice in sensitive applications where interpretability is of paramount importance. In this paper, we…”
Get full text

FORMAL PHILOSOPHY AND LEGAL REASONING: THE VALIDITY OF LEGAL INFERENCES by Peterson, Clayton, Marquis, Jean-Pierre

“…The aim of the present paper is to introduce a method to test the validity of legal inferences. We begin by presenting the rationale of our method and then we…”
Get full text

Disjunctive closures for knowledge compilation by Fargier, Hélène, Marquis, Pierre

“…The knowledge compilation (KC) map [1] can be viewed as a multi-criteria evaluation of a number of target classes of representations for propositional KC…”
Get full text

Mario Bunge’s Philosophy of Mathematics: An Appraisal by Marquis, Jean-Pierre

“…In this paper, I present and discuss critically the main elements of Mario Bunge’s philosophy of mathematics. In particular, I explore how mathematical…”
Get full text

Contraction in propositional logic by Caridroit, Thomas, Konieczny, Sébastien, Marquis, Pierre

“…•A study of contraction operators in propositional logic.•Postulates and a representation theorem in terms of faithful assignments.•Can be used as a basis for…”
Get full text

Reasoning under inconsistency: A forgetting-based approach by Lang, Jérôme, Marquis, Pierre

“…In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for…”
Get full text

A Knowledge Compilation Map by Darwiche, A., Marquis, P.

“…We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness…”
Get full text

Belief base rationalization for propositional merging by Schwind, Nicolas, Konieczny, Sébastien, Marquis, Pierre

Get full text

On Preprocessing Techniques and Their Impact on Propositional Model Counting by Lagniez, Jean-Marie, Marquis, Pierre

“…This paper is concerned with preprocessing techniques for propositional model counting. We have considered several elementary preprocessing techniques:…”
Get full text

On the merging of Dung's argumentation systems by Coste-Marquis, Sylvie, Devred, Caroline, Konieczny, Sébastien, Lagasquie-Schiex, Marie-Christine, Marquis, Pierre

“…In this paper, the problem of deriving sensible information from a collection of argumentation systems coming from different agents is addressed. The…”
Get full text