About
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. Since September 2011 I am working as a Knowledge Engineer at Aktor Knowledge Technology, a subsidiary of Thomson CompuMark.
Research
Current research interests
- Fuzzy logic
- Logic programming
- Argumentation theory
- Non-monotonic reasoning
Other research interests
- Functional programming
- Formal methods
- Calculational logic
- Automated Theorem Proving
Publications
PhD Thesis (Final version)
- The final version of my PhD thesis entitled "Foundations of Fuzzy Answer Set Programming" can be downloaded here.
Masters' thesis
- My master's thesis on calculational fuzzy logic can be downloaded here (in Dutch).
An extended abstract in English can be downloaded here.
Published & accepted articles
2011
Journal papers
- 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 (June 2012), pp. 660-692.
- Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
Steven Schockaert, Jeroen Janssen and Dirk Vermeir
Accepted for publication in ACM Transactions on Computational Logic.
- 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 (2012), pp. 103-147.
- Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics [PDF]
Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock
Accepted for publication in Theory and Practice of Logic Programming.
- 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
Accepted for publication in Journal of Approximate Reasoning.
- 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.
2010
Peer-reviewed conference papers
- 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.
2009
Peer-reviewed conference papers
- 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.
2008
Peer-reviewed conference papers
- 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.
Academic Activities
Conferences attended
- 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"
Conferences to attend
Summerschools attended
- ACAI 2007, Leuven (BE): Regular attendee
- Reasoning Web 2008, Venice (IT): Regular attendee
Summerschools to attend
Workshops attended
- LaSh 2008, Leuven (BE): Regular attendee
Workshops to attend
Research Visits
- University Of Washington, Tacoma (US): Two week visit in May 2009
- ISTI-CNR, Pisa (IT): One month visit in May 2010
Other interests
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.
Contact
Address:
Jeroen Janssen
Department of Computer Science
Vrije Universiteit Brussel
Pleinlaan 2
B-1050 Brussel
Belgium
E-mail: Jeroen.Janssen@vub.ac.be