The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joost Vennekens: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joost Vennekens, Marc Denecker
    An Algebraic Account of Modularity in ID-logic. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  2. Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens
    05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005, pp:- [Conf]
  3. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an Operator. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:195-209 [Conf]
  4. Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
    Logic Programs with Annotated Disjunctions. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:431-445 [Conf]
  5. Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
    Predicate Introduction Under Stable and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:242-256 [Conf]
  6. Joost Vennekens, Marc Denecker, Maurice Bruynooghe
    Representing Causal Information About a Probabilistic Process. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:452-464 [Conf]
  7. Joost Vennekens, Marc Denecker
    An Algebraic Account of Modularity in ID-Logic. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:291-303 [Conf]
  8. Marc Denecker, Joost Vennekens
    Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:84-96 [Conf]
  9. Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
    Logic programs with annotated disjunctions. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:409-415 [Conf]
  10. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:400-408 [Conf]
  11. Jon Sneyers, Joost Vennekens, Danny De Schreye
    Probabilistic-Logical Modeling of Music. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:60-72 [Conf]
  12. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an operator: Algebraic modularity results for logics with fixpoint semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  13. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:4, pp:765-797 [Journal]
  14. Joost Vennekens, David Gilis, Marc Denecker
    Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
  15. Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
    Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:1-2, pp:209-227 [Journal]
  16. Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
    Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:1-2, pp:187-208 [Journal]

  17. ProbLog Technology for Inference in a Probabilistic First Order Logic. [Citation Graph (, )][DBLP]


  18. FO(ID) as an Extension of DL with Rules. [Citation Graph (, )][DBLP]


  19. Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. [Citation Graph (, )][DBLP]


  20. An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. [Citation Graph (, )][DBLP]


  21. Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. [Citation Graph (, )][DBLP]


  22. Using Lightweight Inference to Solve Lightweight Problems. [Citation Graph (, )][DBLP]


  23. The Second Answer Set Programming Competition. [Citation Graph (, )][DBLP]


  24. A logical framework for configuration software. [Citation Graph (, )][DBLP]


  25. Algebraic and logical study of constructive processes in knowledge representation. [Citation Graph (, )][DBLP]


  26. CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming [Citation Graph (, )][DBLP]


  27. CHR(PRISM)-based Probabilistic Logic Learning [Citation Graph (, )][DBLP]


Search in 0.055secs, Finished in 0.056secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002