BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Hungary
1 × Portugal
2 × Italy
2 × USA
Collaborated with:
M.Denecker M.Bruynooghe H.Vlaeminck J.Sneyers D.D.Schreye D.Gilis S.Verbaeten Y.Lierler M.Truszczynski W.Meert Y.Kameya T.Sato J.Wittocx M.Mariën B.Bogaerts J.Jansen B.d.Cat
Talks about:
logic (8) semant (4) program (3) probabilist (2) system (2) found (2) well (2) base (2) introduct (1) framework (1)

Person: Joost Vennekens

DBLP DBLP: Vennekens:Joost

Contributed to:

ICLP 20142014
KR 20142014
ICLP 20122012
KR 20122012
ICLP 20112011
ICLP 20102010
PPDP 20092009
ICLP 20082008
ICLP 20062006
PADL 20062006
ICLP 20042004

Wrote 12 papers:

ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using
Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
KR-2014-DeneckerV #induction #principle #revisited #semantics
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (MD, JV).
ICLP-2012-DeneckerLTV #programming #semantics #set
A Tarskian Informal Semantics for Answer Set Programming (MD, YL, MT, JV), pp. 277–289.
KR-2012-VlaeminckVBD #complexity #logic #order #semantics
Ordered Epistemic Logic: Semantics, Complexity and Applications (HV, JV, MB, MD).
Actual causation in CP-logic (JV), pp. 647–662.
ICLP-J-2010-SneyersMVKS #learning #logic #probability
CHR(PRISM)-based probabilistic logic learning (JS, WM, JV, YK, TS), pp. 433–447.
PPDP-2009-VlaeminckVD #framework #logic
A logical framework for configuration software (HV, JV, MD), pp. 141–148.
ICLP-2008-DeneckerV #integration #knowledge base #logic programming
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (MD, JV), pp. 71–76.
ICLP-2006-WittocxVMDB #semantics
Predicate Introduction Under Stable and Well-Founded Semantics (JW, JV, MM, MD, MB), pp. 242–256.
PADL-2006-SneyersVS #modelling #music
Probabilistic-Logical Modeling of Music (JS, JV, DDS), pp. 60–72.
Splitting an Operator (JV, DG, MD), pp. 195–209.
ICLP-2004-VennekensVB #logic programming #source code
Logic Programs with Annotated Disjunctions (JV, SV, MB), pp. 431–445.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.