Spyros Hadjichristodoulou

According to our database¹, Spyros Hadjichristodoulou authored at least 4 papers between 2012 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Who Shaves the Barber, and with What Probability?

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2014

2013

Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB.

[BibT_eX]

[DOI]

CoRR, 2013

2012

Probabilistic Logic Programming with Well-Founded Negation.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

A Gradual Polymorphic Type System with Subtyping for Prolog.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012