Jeroen Janssen

Academic Page | Non-academic page
TINF|
Vakgroep Informatica|
Faculteit Wetenschappen|
Vrije Universiteit Brussel
I graduated as a "Master of Science: Computer Science, option: formal computer science" from the University of Ghent in 2007. On June 27th, 2011 I successfully defended my PhD on the Foundations of Fuzzy Answer Set Programming and obtained the degree of Doctor of Science: Computer Science. My PhD was jointly supervised by Dirk Vermeir from the Vrije Universiteit Brussel and Martine De Cock and Steven Schockaert from Ghent University. I worked as a Knowledge Engineer at Aktor Knowledge Technology from September 2011 until January 2012. Since February 2012 I am working as a Data Scientist at Massive//Media, the company behind the social network Twoo.

- Fuzzy logic
- Logic programming
- Argumentation theory
- Non-monotonic reasoning

- Functional programming
- Formal methods
- Calculational logic
- Automated Theorem Proving

- The final version of my PhD thesis entitled "
*Foundations of Fuzzy Answer Set Programming"*can be downloaded here.

- My master's thesis on calculational fuzzy logic can be downloaded here (in Dutch).

An extended abstract in English can be downloaded here.

*A Core Language for Fuzzy Answer Set Programming*[PDF]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock

International Journal of Approximate Reasoning: Volume 53, Issue 4, pp. 660-692, 2012.*Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains*

Steven Schockaert, Jeroen Janssen and Dirk Vermeir

ACM Transactions on Computational Logic: Volume 13, Issue 4, pp. 1-39, 2012.*Aggregated Fuzzy Answer Set Programming*[PDF][Springer]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock

Annals of Mathematics and Artificial Intelligence: Volume 63, Issue 2, pp. 103-147, 2012.*Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics*[PDF]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock

Theory and Practice of Logic Programming: Volume 12, Issue 6, pp. 811-842, 2012.*Expressiveness of Communication in Answer Set Programming*

Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock

Accepted for publication in Theory and Practice of Logic Programming.*Satisfiability Checking in Lukasiewicz Logic as Finite Constraint Satisfaction*

Steven Schockaert, Jeroen Janssen and Dirk Vermeir

Journal of Automated Reasoning: Volume 49, Issue 4, pp. 493-550, 2012.

*Modeling Gene and Protein Regulatory Networks with ASP*

Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis and Martine De Cock

International Journal of Data Mining and Bioinformatics 5(2), pp.209-229, 2011.

*Towards Possibilistic Fuzzy Answer Set Programming*

Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir and Martine De Cock

In the proceedings of the 13th International Workshop on Non-monotonic reasoning (NMR), 2010.*Communicating answer set programs*

Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock

In the Technical Communications of the 26th International Conference on Logic Programming (ICLP'10), pp.34-43, 2010.*Efficient Solving of Time-Dependent Answer Set Programs*

Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis and Martine De Cock

In the Technical Communications of the 26th International Conference on Logic Programming (ICLP'10), pp.64-73, 2010.*Extending Boolean Regulatory Network Models with Answer Set Programming*

Timur Fayruzov, Jeroen Janssen, Chris Cornelis, Dirk Vermeir, Martine De Cock

In the proceedings of the workshop in Integrative Data Analysis in Systems Biology at BIBM2010 (IDASB'10), 2010.

*Fuzzy Answer Set Programming with Literal Preferences*[PDF]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock

In the proceedings of IFSA/EUSFLAT 2009, pp.1347-1352, 2009.*General Fuzzy Answer Set Programs*[PDF][Springer]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock

In the proceedings of WILF 2009, pp.352-359, 2009.*Finite Satisfiability in Infinite-Valued Lukasiewicz Logic*

Steven Schockaert, Jeroen Janssen, Dirk Vermeir and Martine De Cock

In the proceedings of SUM 2009, Springer LNCS 5785, pp.240-254, 2009.*Answer Sets in a Fuzzy Equilibrium Logic*

Steven Schockaert, Jeroen Janssen, Dirk Vermeir and Martine De Cock

In the proceedings of RR 2009, Springer LNCS 5837, pp.135-149, 2009.

*Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories*[PDF]**[Springer]**

Jeroen Janssen, Stijn Heymans, Dirk Vermeir and Martine De Cock

In the proceedings of ICLP 2008, pp.362-376, 2008.*Fuzzy Argumentation Frameworks*[PDF]

Jeroen Janssen, Dirk Vermeir and Martine De Cock

In the proceedings of IPMU 2008, pp.513-520, 2008.

**ICLP 2007**, Porto (PT): Non-author**IPMU 2008**, Malaga (ES): Author of the paper "Fuzzy Argumentation Frameworks"**ICLP 2008**, Udine (IT): Author of the paper "Compiling fuzzy argumentation frameworks to fuzzy propositional theories"**WILF 2009**, Palermo (IT): Author of the paper "General Fuzzy Answer Set Programs"**IFSA/EUSFLAT 2009**, Lisboa (PT): Author of the paper "Fuzzy Answer Set Programming with Literal Preferences"

**ACAI 2007**, Leuven (BE): Regular attendee**Reasoning Web 2008**, Venice (IT): Regular attendee

**LaSh 2008**, Leuven (BE): Regular attendee

**University Of Washington, Tacoma (US): Two week visit in May 2009****ISTI-CNR, Pisa (IT): One month visit in May 2010**

Playing guitar. Creating/Producing music on my own.

You can find more non-academic interests and non-current-research related projects of mine by going to my non-academic page.

**Address:**

Jeroen Janssen

Department of Computer Science

Vrije Universiteit Brussel

Pleinlaan 2

B-1050 Brussel

Belgium

**Current E-mail:** jejansse@gmail.com

**Unmaintained E-mail:** Jeroen.Janssen@vub.ac.be