The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stijn Heymans: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Extending Conceptual Logic Programs with Arbitrary Rules. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  2. Stijn Heymans, Dirk Vermeir
    Integrating Semantic Web Reasoning and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  3. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    Intelligence Analysis Using Quantitative Preferences. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  4. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
    Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:20-40 [Conf]
  5. Stijn Heymans, Dirk Vermeir
    A Defeasible Ontology Language. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2002, pp:1033-1046 [Conf]
  6. Stijn Heymans, Dirk Vermeir
    Using Preference Order in Ontologies. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2002, pp:85-92 [Conf]
  7. Stijn Heymans, Dirk Vermeir
    Integrating Ontology Languages and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2003, pp:584-588 [Conf]
  8. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    Approximating Extended Answer Sets. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:462-466 [Conf]
  9. Mustafa Jarrar, Stijn Heymans
    Unsatisfiability Reasoning in ORM Conceptual Schemes. [Citation Graph (0, 0)][DBLP]
    EDBT Workshops, 2006, pp:517-534 [Conf]
  10. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. [Citation Graph (0, 0)][DBLP]
    ESWC, 2005, pp:392-407 [Conf]
  11. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Guarded Open Answer Set Programming with Generalized Literals. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2006, pp:179-200 [Conf]
  12. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    On Programs with Linearly Ordered Multiple Preferences. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:180-194 [Conf]
  13. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    Cooperating Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:226-241 [Conf]
  14. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Synthesis from Temporal Specifications Using Preferred Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:280-294 [Conf]
  15. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Hierarchical Decision Making by Autonomous Agents. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:44-56 [Conf]
  16. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    Weighted Answer Sets and Applications in Intelligence Analysis. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:169-183 [Conf]
  17. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Guarded Open Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:92-104 [Conf]
  18. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    An Ordered Logic Program Solver. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:128-142 [Conf]
  19. Stijn Heymans, Dirk Vermeir
    Integrating Description Logics and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2003, pp:146-159 [Conf]
  20. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Semantic Web Reasoning with Conceptual Logic Programs. [Citation Graph (0, 0)][DBLP]
    RuleML, 2004, pp:113-127 [Conf]
  21. Jos de Bruijn, Stijn Heymans
    Translating Ontologies from Predicate-based to Frame-based Languages. [Citation Graph (0, 0)][DBLP]
    RuleML, 2006, pp:7-16 [Conf]
  22. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Preferential Reasoning on a Web of Trust. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:368-382 [Conf]
  23. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Conceptual logic programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:103-137 [Journal]
  24. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Open answer set programming for the semantic web. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:1, pp:144-169 [Journal]
  25. Jos de Bruijn, Stijn Heymans
    RDF and Logic: Reasoning and Extension. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2007, pp:460-464 [Conf]
  26. Michael Stollberg, Uwe Keller, Holger Lausen, Stijn Heymans
    Two-Phase Web Service Discovery Based on Rich Functional Descriptions. [Citation Graph (0, 0)][DBLP]
    ESWC, 2007, pp:99-113 [Conf]
  27. Jos de Bruijn, Stijn Heymans
    Logical Foundations of (e)RDF(S): Complexity and Reasoning. [Citation Graph (0, 0)][DBLP]
    ISWC/ASWC, 2007, pp:86-99 [Conf]
  28. Jos de Bruijn, Stijn Heymans
    A Semantic Framework for Language Layering in WSML. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:103-117 [Conf]
  29. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Open Answer Set Programming with Guarded Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  30. The SAT-Tableau Calculus. [Citation Graph (, )][DBLP]


  31. Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. [Citation Graph (, )][DBLP]


  32. Semantic Business Process Repository. [Citation Graph (, )][DBLP]


  33. Hybrid Reasoning with Forest Logic Programs. [Citation Graph (, )][DBLP]


  34. Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. [Citation Graph (, )][DBLP]


  35. Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. [Citation Graph (, )][DBLP]


  36. Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. [Citation Graph (, )][DBLP]


  37. Complexity of the Stable Model Semantics for Queries on Incomplete Databases. [Citation Graph (, )][DBLP]


  38. Deciding Fuzzy Description Logics by Type Elimination. [Citation Graph (, )][DBLP]


  39. Ranking Services Using Fuzzy HEXPrograms. [Citation Graph (, )][DBLP]


  40. A Reasoner for Simple Conceptual Logic Programs. [Citation Graph (, )][DBLP]


  41. A Semantically Enabled Service Oriented Architecture. [Citation Graph (, )][DBLP]


  42. Guarded Hybrid Knowledge Bases [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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