Harrie C. M. de Swart

According to our database, Harrie C. M. de Swart authored at least 35 papers between 1976 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Logic, Game Theory, and Social Choice: What Do They Have in Common?

Harrie C. M. de Swart

Axioms, 2022

2015

The Borda Majority Count.

Manzoor Ahmad Zahid, Harrie C. M. de Swart

Inf. Sci., 2015

2014

Spatial voting games, relation algebra and RelView.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

J. Log. Algebraic Methods Program., 2014

2013

Computing tournament solutions using relation algebra and RelView.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2013

2012

Relational and algebraic methods in computer science.

Harrie C. M. de Swart

J. Log. Algebraic Methods Program., 2012

2011

A relation-algebraic approach to simple games.

Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2011

Computations on Simple Games Using RelView.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

Social Networks: Prestige, Centrality, and Influence - (Invited Paper).

Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Applying relation algebra and RelView to measures in a social network.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2010

2009

An interdisciplinary approach to coalition formation.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2009

Computational Social Choice Using Relation Algebra and RelView.

Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

A consensus model of political decision-making.

Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart

Ann. Oper. Res., 2008

2007

Consensus reaching in committees.

Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2007

Applying relational algebra and Rel.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2007

2006

Characteristic properties of list proportional representation systems.

Eliora van der Hout, Harrie C. M. de Swart, Annemarie ter Veer

Soc. Choice Welf., 2006

A Modern Perspective on Type Theory From its Origins until Today.

Harrie C. M. de Swart

J. Log. Lang. Inf., 2006

Using MACBETH to determine utilities of governments to parties in coalition formation.

Marc Roubens, Agnieszka Rusinowska, Harrie C. M. de Swart

Eur. J. Oper. Res., 2006

Generalizing and Modifying the Hoede-Bakker Index.

Agnieszka Rusinowska, Harrie C. M. de Swart

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Social Software for Coalition Formation.

Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

2005

A new model of coalition formation.

Agnieszka Rusinowska, Harrie C. M. de Swart, Jan-Willem van der Rijt

Soc. Choice Welf., 2005

2003

Categoric and Ordinal Voting: An Overview.

Harrie C. M. de Swart, Ad van Deemen, Eliora van der Hout, Peter Kop

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2001

Implication with Possible Exceptions.

Herman Jurjus, Harrie C. M. de Swart

J. Symb. Log., 2001

2000

Implication-with-possible-exceptions.

Nerman Jurrjus, Harrie C. M. de Swart

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Three Types of Redundancy in Integrity Checking: An Optimal Solution.

Ron Seljée, Harrie C. M. de Swart

Data Knowl. Eng., 1999

1994

Tableaux, resolution, and complexity of formulas.

Harrie C. M. de Swart, W. M. J. Ophelders

Methods Log. Comput. Sci., 1994

1993

Tableaux Versus Resolution a Comparison.

W. M. J. Ophelders, Harrie C. M. de Swart

Fundam. Informaticae, 1993

1989

Improving tablog.

Harrie C. M. de Swart

Bull. EATCS, 1989

1988

Another tableau based automated theorem prover for classical logic.

Harrie C. M. de Swart, W. M. J. Ophelders

Bull. EATCS, 1988

1983

A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.

Harrie C. M. de Swart

J. Symb. Log., 1983

1981

The Continuum Hypothesis in Intuitionism.

W. Gielen, Harrie C. M. de Swart, Wim Veldman

J. Symb. Log., 1981

1978

First Steps in Intuitionistic Model Theory.

Harrie C. M. de Swart

J. Symb. Log., 1978

1977

An Intuitionistically Plausible Interpretation of Intuitionistic Logic.

Harrie C. M. de Swart

J. Symb. Log., 1977

1976

Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem.

Harrie C. M. de Swart

Math. Log. Q., 1976

Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.

Harrie C. M. de Swart

Math. Log. Q., 1976

Another Intuitionistic Completeness Proof.

Harrie C. M. de Swart

J. Symb. Log., 1976