Harrie C. M. de Swart

41 papers B 2C 2Journal 28Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
Logic, Game Theory, and Social Choice: What Do They Have in Common?
Axioms
Harrie C. M. de Swart
2015 J jnl
The Borda Majority Count.
Inf. Sci.
Manzoor Ahmad Zahid, Harrie C. M. de Swart
2014 J jnl
Spatial voting games, relation algebra and RelView.
J. Log. Algebraic Methods Program.
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2013 J jnl
Computing tournament solutions using relation algebra and RelView.
Eur. J. Oper. Res.
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2012 J jnl
Relational and algebraic methods in computer science.
J. Log. Algebraic Methods Program.
Harrie C. M. de Swart
2011 J jnl
A relation-algebraic approach to simple games.
Eur. J. Oper. Res.
Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart
2011 B conf
Computations on Simple Games Using RelView.
CASC
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2011 C ed.
Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
RAMiCS
Harrie C. M. de Swart
2011 C conf
Social Networks: Prestige, Centrality, and Influence - (Invited Paper).
RAMiCS
Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch
2010 J jnl
Applying relation algebra and RelView to measures in a social network.
Eur. J. Oper. Res.
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2009 J jnl
An interdisciplinary approach to coalition formation.
Eur. J. Oper. Res.
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2009 — conf
Computational Social Choice Using Relation Algebra and RelView.
RelMiCS
Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska
2008 J jnl
A consensus model of political decision-making.
Ann. Oper. Res.
Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart
2007 J jnl
Applying relational algebra and Rel.
Eur. J. Oper. Res.
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
2007 J jnl
Consensus reaching in committees.
Eur. J. Oper. Res.
Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart
2006 J jnl
A Modern Perspective on Type Theory From its Origins until Today.
J. Log. Lang. Inf.
Harrie C. M. de Swart
2006 J jnl
Characteristic properties of list proportional representation systems.
Soc. Choice Welf.
Eliora van der Hout, Harrie C. M. de Swart, Annemarie ter Veer
2006 — ch.
Generalizing and Modifying the Hoede-Bakker Index.
Theory and Applications of Relational Structures as Knowledge Instruments
Agnieszka Rusinowska, Harrie C. M. de Swart
2006 — ch.
Social Software for Coalition Formation.
Theory and Applications of Relational Structures as Knowledge Instruments
Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart
2006 — book
Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Theory and Applications of Relational Structures as Knowledge Instruments
Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
2006 J jnl
Using MACBETH to determine utilities of governments to parties in coalition formation.
Eur. J. Oper. Res.
Marc Roubens, Agnieszka Rusinowska, Harrie C. M. de Swart
2005 J jnl
A new model of coalition formation.
Soc. Choice Welf.
Agnieszka Rusinowska, Harrie C. M. de Swart, Jan-Willem van der Rijt
2003 — ch.
Categoric and Ordinal Voting: An Overview.
Theory and Applications of Relational Structures as Knowledge Instruments
Harrie C. M. de Swart, Ad van Deemen, Eliora van der Hout, Peter Kop
2003 — book
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers
Theory and Applications of Relational Structures as Knowledge Instruments
Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
2002 — ed.
Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers
RelMiCS
Harrie C. M. de Swart
2001 J jnl
Implication with Possible Exceptions.
J. Symb. Log.
Herman Jurjus, Harrie C. M. de Swart
2000 — conf
Implication-with-possible-exceptions.
RelMiCS
Nerman Jurrjus, Harrie C. M. de Swart
1999 J jnl
Three Types of Redundancy in Integrity Checking: An Optimal Solution.
Data Knowl. Eng.
Ron Seljée, Harrie C. M. de Swart
1998 B ed.
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
TABLEAUX
Harrie C. M. de Swart
1998 — conf
Three types of redundancy in integrity checking: An optimal solution.
RelMiCS
Ron Seljée, Harrie C. M. de Swart
1994 J jnl
Tableaux, resolution, and complexity of formulas.
Methods Log. Comput. Sci.
Harrie C. M. de Swart, W. M. J. Ophelders
1993 J jnl
Tableaux Versus Resolution a Comparison.
Fundam. Informaticae
W. M. J. Ophelders, Harrie C. M. de Swart
1989 J jnl
Improving tablog.
Bull. EATCS
Harrie C. M. de Swart
1988 J jnl
Another tableau based automated theorem prover for classical logic.
Bull. EATCS
Harrie C. M. de Swart, W. M. J. Ophelders
1983 J jnl
A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.
J. Symb. Log.
Harrie C. M. de Swart
1981 J jnl
The Continuum Hypothesis in Intuitionism.
J. Symb. Log.
W. Gielen, Harrie C. M. de Swart, Wim Veldman
1978 J jnl
First Steps in Intuitionistic Model Theory.
J. Symb. Log.
Harrie C. M. de Swart
1977 J jnl
An Intuitionistically Plausible Interpretation of Intuitionistic Logic.
J. Symb. Log.
Harrie C. M. de Swart
1976 J jnl
Another Intuitionistic Completeness Proof.
J. Symb. Log.
Harrie C. M. de Swart
1976 J jnl
Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem.
Math. Log. Q.
Harrie C. M. de Swart
1976 J jnl
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.
Math. Log. Q.
Harrie C. M. de Swart