Semantic validation of the use of SNOMED CT in HL7 clinical documents
Heymans, Stijn, McKennirey, Matthew, Phillips, Joshua
Published in Journal of biomedical semantics (15.07.2011)
Published in Journal of biomedical semantics (15.07.2011)
Get full text
Journal Article
Reasoning about interruption of biological processes
Chaudhri, Vinay K., Heymans, Stijn, Yorke-Smith, Neil
Published in Biologically inspired cognitive architectures (01.04.2015)
Published in Biologically inspired cognitive architectures (01.04.2015)
Get full text
Journal Article
Conceptual logic programs
Heymans, Stijn, Van Nieuwenborgh, Davy, Vermeir, Dirk
Published in Annals of mathematics and artificial intelligence (01.06.2006)
Published in Annals of mathematics and artificial intelligence (01.06.2006)
Get full text
Journal Article
Cooperating Answer Set Programming
Van Nieuwenborgh, Davy, Heymans, Stijn, Vermeir, Dirk
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Open answer set programming for the semantic web
Heymans, Stijn, Van Nieuwenborgh, Davy, Vermeir, Dirk
Published in Journal of applied logic (01.03.2007)
Published in Journal of applied logic (01.03.2007)
Get full text
Journal Article
Guarded hybrid knowledge bases
HEYMANS, STIJN, DE BRUIJN, JOS, PREDOIU, LIVIA, FEIER, CRISTINA, VAN NIEWENBORGH, DAVY
Published in Theory and practice of logic programming (01.05.2008)
Published in Theory and practice of logic programming (01.05.2008)
Get full text
Journal Article
Guarded Open Answer Set Programming
Heymans, Stijn, Van Nieuwenborgh, Davy, Vermeir, Dirk
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
RDF and Logic: Reasoning and Extension
de Bruijn, Jos, Heymans, Stijn
Published in 18th International Workshop on Database and Expert Systems Applications (DEXA 2007) (01.09.2007)
Published in 18th International Workshop on Database and Expert Systems Applications (DEXA 2007) (01.09.2007)
Get full text
Conference Proceeding
SYSTEMS AND METHODS FOR USER AUTHENTICATION BY A THIRD-PARTY SERVER
Grigorik, Ilya, Perreault, Mathieu, Heymans, Stijn, Korablin, Mikhail
Year of Publication 04.07.2024
Get full text
Year of Publication 04.07.2024
Patent
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
Heymans, Stijn, Van Nieuwenborgh, Davy, Vermeir, Dirk
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Weighted Answer Sets and Applications in Intelligence Analysis
Van Nieuwenborgh, Davy, Heymans, Stijn, Vermeir, Dirk
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Guarded hybrid knowledge bases12
HEYMANS, STIJN, DE BRUIJN, JOS, PREDOIU, LIVIA, FEIER, CRISTINA, VAN NIEWENBORGH, DAVY
Published in Theory and practice of logic programming (01.05.2008)
Published in Theory and practice of logic programming (01.05.2008)
Get full text
Journal Article