Harrie C. M. de Swart

Publication Activity (10 Years)

Years Active: 1976-2022
Publications (10 Years): 1

Top Topics

Relation Algebra

Computationally Feasible

Aggregation Functions

Top Venues

J. Log. Algebraic Methods Program.

Eur. J. Oper. Res.

Publications

Harrie C. M. de Swart
Logic, Game Theory, and Social Choice: What Do They Have in Common? Axioms 11 (10) (2022)
Manzoor Ahmad Zahid, Harrie C. M. de Swart
The Borda Majority Count. Inf. Sci. 295 (2015)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Spatial voting games, relation algebra and RelView. J. Log. Algebraic Methods Program. 83 (2) (2014)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Computing tournament solutions using relation algebra and RelView. Eur. J. Oper. Res. 226 (3) (2013)
Harrie C. M. de Swart
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 81 (6) (2012)
Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart
A relation-algebraic approach to simple games. Eur. J. Oper. Res. 210 (1) (2011)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Computations on Simple Games Using RelView. CASC (2011)
Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch
Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMiCS (2011)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Applying relation algebra and RelView to measures in a social network. Eur. J. Oper. Res. 202 (1) (2010)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
An interdisciplinary approach to coalition formation. Eur. J. Oper. Res. 195 (2) (2009)
Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska
Computational Social Choice Using Relation Algebra and RelView. RelMiCS (2009)
Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart
A consensus model of political decision-making. Ann. Oper. Res. 158 (1) (2008)
Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart
Applying relational algebra and Rel. Eur. J. Oper. Res. 178 (2) (2007)
Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart
Consensus reaching in committees. Eur. J. Oper. Res. 178 (1) (2007)
Eliora van der Hout, Harrie C. M. de Swart, Annemarie ter Veer
Characteristic properties of list proportional representation systems. Soc. Choice Welf. 27 (3) (2006)
Harrie C. M. de Swart
A Modern Perspective on Type Theory From its Origins until Today. J. Log. Lang. Inf. 15 (3) (2006)
Marc Roubens, Agnieszka Rusinowska, Harrie C. M. de Swart
Using MACBETH to determine utilities of governments to parties in coalition formation. Eur. J. Oper. Res. 172 (2) (2006)
Agnieszka Rusinowska, Harrie C. M. de Swart, Jan-Willem van der Rijt
A new model of coalition formation. Soc. Choice Welf. 24 (1) (2005)
Herman Jurjus, Harrie C. M. de Swart
Implication with Possible Exceptions. J. Symb. Log. 66 (2) (2001)
Nerman Jurrjus, Harrie C. M. de Swart
Implication-with-possible-exceptions. RelMiCS (2000)
Ron Seljée, Harrie C. M. de Swart
Three Types of Redundancy in Integrity Checking: An Optimal Solution. Data Knowl. Eng. 30 (2) (1999)
Ron Seljée, Harrie C. M. de Swart
Three types of redundancy in integrity checking: An optimal solution. RelMiCS (1998)
Harrie C. M. de Swart, W. M. J. Ophelders
Tableaux, resolution, and complexity of formulas. Methods Log. Comput. Sci. 1 (2) (1994)
W. M. J. Ophelders, Harrie C. M. de Swart
Tableaux Versus Resolution a Comparison. Fundam. Informaticae 18 (1993)
Harrie C. M. de Swart
Improving tablog. Bull. EATCS 38 (1989)
Harrie C. M. de Swart, W. M. J. Ophelders
Another tableau based automated theorem prover for classical logic. Bull. EATCS 35 (1988)
Harrie C. M. de Swart
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. 48 (1) (1983)
W. Gielen, Harrie C. M. de Swart, Wim Veldman
The Continuum Hypothesis in Intuitionism. J. Symb. Log. 46 (1) (1981)
Harrie C. M. de Swart
First Steps in Intuitionistic Model Theory. J. Symb. Log. 43 (1) (1978)
Harrie C. M. de Swart
An Intuitionistically Plausible Interpretation of Intuitionistic Logic. J. Symb. Log. 42 (4) (1977)
Harrie C. M. de Swart
Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem. Math. Log. Q. 22 (1) (1976)
Harrie C. M. de Swart
Another Intuitionistic Completeness Proof. J. Symb. Log. 41 (3) (1976)
Harrie C. M. de Swart
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces. Math. Log. Q. 22 (1) (1976)