The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joachim Jansen" ( http://dblp.L3S.de/Authors/Joachim_Jansen )

  Author page on DBLP  Author page in RDF  Community of Joachim Jansen in ASPL-2

Publication years (Num. hits)
2013 (2) 2014 (5) 2015 (2) 2016 (4) 2017 (1)
Publication types (Num. hits)
article(9) inproceedings(4) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens A logic-based framework for the security analysis of Industrial Control Systems. Search on Bibsonomy Automatic Control and Computer Sciences The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker Bootstrapping Inference in the IDP Knowledge Base System. Search on Bibsonomy New Generation Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joachim Jansen, Jo Devriendt, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker Implementing a Relevance Tracker Module. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen, Bart Bogaerts 0001, Jo Devriendt, Gerda Janssens, Marc Denecker Relevance for SAT(ID). Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System ; Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteem. (PDF / PS) Search on Bibsonomy 2016   RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System. Search on Bibsonomy ICS-CSR The full citation details ... 2015 DBLP  BibTeX  RDF
1Joachim Jansen Model revision inference for extensions of first order logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating dynamic systems using Linear Time Calculus theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating Dynamic Systems Using Linear Time Calculus Theories. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Koen Decroix, Denis Butin, Joachim Jansen, Vincent Naessens Inferring Accountability from Trust Perceptions. Search on Bibsonomy ICISS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens Experimental Evaluation of a State-Of-The-Art Grounder. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Joachim Jansen, Albert Jorissen, Gerda Janssens Compiling Input* FO(ยท) inductive definitions into tabled prolog rules for IDP3. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license