Stijn Heymans - RankMe

68 papers A* 1A 3B 10C 2Misc 2Journal 16Unranked 31

Year	Rank	Type	Title / Venue / Authors
2014	C	`conf`	Conceptual Models of Energy Transfer and Regulation. FOIS Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans
2014	A*	`conf`	Large-Scale Analogical Reasoning. AAAI Vinay K. Chaudhri, Stijn Heymans, Adam Overholtzer, Aaron Spaulding, Michael A. Wessel
2014	J	`jnl`	Logical Foundations of RDF(S) with Datatypes. CoRR Jos de Bruijn, Stijn Heymans
2014	—	`conf`	Representing Roles in a Biology Textbook. ONTO.COM/ODISE@FOIS Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans
2014	—	`conf`	The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). Specification, Algebra, and Software Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar
2013	A	`conf`	"What if there was no oxygen?": responding to hypothetical questions in an intelligent tutoring agent. AAMAS Neil Yorke-Smith, Stijn Heymans, Vinay K. Chaudhri
2013	—	`conf`	Automatic Strengthening of Graph-Structured Knowledge Bases - Or: How to Identify Inherited Content in Concept Graphs. GKR Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans, Michael A. Wessel
2013	—	`conf`	KB_Bio_101 : A Challenge for OWL Reasoners. ORE Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans
2013	J	`jnl`	Object-Oriented Knowledge Bases in Logic Programming. Theory Pract. Log. Program. Vinay K. Chaudhri, Stijn Heymans, Son Tran, Michael A. Wessel
2013	J	`jnl`	Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP. CoRR Vinay K. Chaudhri, Stijn Heymans, Michael A. Wessel, Tran Cao Son
2013	J	`jnl`	Reasoning with Forest Logic Programs and f-hybrid knowledge bases. Theory Pract. Log. Program. Cristina Feier, Stijn Heymans
2012	—	`conf`	KB_Bio_101: a repository of graph-structured knowledge. E-LKR Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans
2012	—	`ch.`	Semantic Web Services Fundamentals. Handbook of Service Description Stijn Heymans, Jörg Hoffmann, Annapaola Marconi, Joshua Phillips, Ingo Weber
2012	—	`conf`	The DReW System for Nonmonotonic DL-Programs. CSWS Guohui Xiao, Thomas Eiter, Stijn Heymans
2011	J	`jnl`	Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases CoRR Cristina Feier, Stijn Heymans
2011	J	`jnl`	Semantic validation of the use of SNOMED CT in HL7 clinical documents. J. Biomed. Semant. Stijn Heymans, Matthew McKennirey, Joshua Phillips
2010	J	`jnl`	An Optimization for Reasoning with Forest Logic Programs CoRR Cristina Feier, Stijn Heymans
2010	—	`conf`	Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. ESWC (1) Jörg Pührer, Stijn Heymans, Thomas Eiter
2010	—	`conf`	F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. Web Intelligence Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter
2010	J	`jnl`	Logical Foundations of RDF(S) with Datatypes. J. Artif. Intell. Res. Jos de Bruijn, Stijn Heymans
2010	A	`conf`	Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. ECAI Stijn Heymans, Thomas Eiter, Guohui Xiao
2009	—	`conf`	A Reasoner for Simple Conceptual Logic Programs. RR Stijn Heymans, Cristina Feier, Thomas Eiter
2009	B	`conf`	Complexity of the Stable Model Semantics for Queries on Incomplete Databases. LPNMR Jos de Bruijn, Stijn Heymans
2009	Misc	`conf`	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. LFCS Uwe Keller, Stijn Heymans
2009	B	`conf`	Hybrid Reasoning with Forest Logic Programs. ESWC Cristina Feier, Stijn Heymans
2008	B	`conf`	Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ICLP Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock
2008	—	`conf`	Deciding Fuzzy Description Logics by Type Elimination. URSW Uwe Keller, Stijn Heymans
2008	J	`jnl`	Guarded hybrid knowledge bases. Theory Pract. Log. Program. Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh
2008	J	`jnl`	On the Relationship between Description Logic-based and F-Logic-based Ontologies. Fundam. Informaticae Jos de Bruijn, Stijn Heymans
2008	—	`ch.`	Ontology Reasoning with Large Data Repositories. Ontology Management Stijn Heymans, Li Ma, Darko Anicic, Zhilei Ma, Nathalie Steinmetz, Yue Pan, Jing Mei, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Cristina Feier, Graham Hench, Branimir Wetzstein, Uwe Keller
2008	J	`jnl`	Open answer set programming with guarded programs. ACM Trans. Comput. Log. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2008	—	`conf`	Ranking Services Using Fuzzy HEXPrograms. RR Stijn Heymans, Ioan Toma
2008	—	`conf`	The SAT-Tableau Calculus. Description Logics Uwe Keller, Stijn Heymans
2008	J	`jnl`	Towards Pattern-Based Reasoning for Friendly Ontology Debugging. Int. J. Artif. Intell. Tools Mustafa Jarrar, Stijn Heymans
2007	—	`conf`	A Semantic Framework for Language Layering in WSML. RR Jos de Bruijn, Stijn Heymans
2007	J	`jnl`	Guarded Hybrid Knowledge Bases CoRR Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh
2007	—	`conf`	Logical Foundations of (e)RDF(S): Complexity and Reasoning. ISWC/ASWC Jos de Bruijn, Stijn Heymans
2007	J	`jnl`	Open answer set programming for the semantic web. J. Appl. Log. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2007	—	`ed.`	Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007 ALPSWS Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus
2007	—	`conf`	RDF and Logic: Reasoning and Extension. DEXA Workshops Jos de Bruijn, Stijn Heymans
2007	—	`conf`	Semantic Business Process Repository. SBPM Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann
2007	—	`conf`	Spinning a Corporate Semantic Web for Product Engineering. WEBIST (3) Uwe Keller, Stijn Heymans, Alois Reitbauer, Michael Neswal
2007	B	`conf`	Two-Phase Web Service Discovery Based on Rich Functional Descriptions. ESWC Michael Stollberg, Uwe Keller, Holger Lausen, Stijn Heymans
2006	—	`conf`	A Semantically Enabled Service Oriented Architecture. WImBI Darko Anicic, Michael L. Brodie, Jos de Bruijn, Dieter Fensel, Thomas Haselwanter, Martin Hepp, Stijn Heymans, Jörg Hoffmann, Mick Kerrigan, Jacek Kopecký, Reto Krummenacher, Holger Lausen, Adrian Mocan, James Scicluna, Ioan Toma, Michal Zaremba
2006	A	`conf`	Approximating Extended Answer Sets. ECAI Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2006	J	`jnl`	Conceptual logic programs. Ann. Math. Artif. Intell. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006	B	`conf`	Cooperating Answer Set Programming. ICLP Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2006	—	`conf`	Guarded Open Answer Set Programming with Generalized Literals. FoIKS Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006	—	`conf`	Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. CLIMA Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
2006	J	`jnl`	Open Answer Set Programming with Guarded Programs CoRR Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006	—	`conf`	Translating Ontologies from Predicate-based to Frame-based Languages. RuleML Jos de Bruijn, Stijn Heymans
2006	—	`conf`	Unsatisfiability Reasoning in ORM Conceptual Schemes. EDBT Workshops Mustafa Jarrar, Stijn Heymans
2005	C	`conf`	An Ordered Logic Program Solver. PADL Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2005	—	`conf`	Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005	B	`conf`	Guarded Open Answer Set Programming. LPNMR Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005	—	`conf`	Intelligence Analysis Using Quantitative Preferences. Answer Set Programming Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2005	B	`conf`	Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005	Misc	`conf`	Preferential Reasoning on a Web of Trust. ISWC Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005	—	`conf`	Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004	B	`conf`	Hierarchical Decision Making by Autonomous Agents. JELIA Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004	B	`conf`	On Programs with Linearly Ordered Multiple Preferences. ICLP Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2004	—	`conf`	Semantic Web Reasoning with Conceptual Logic Programs. RuleML Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004	B	`conf`	Weighted Answer Sets and Applications in Intelligence Analysis. LPAR Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2003	—	`conf`	Integrating Description Logics and Answer Set Programming. PPSWR Stijn Heymans, Dirk Vermeir
2003	—	`conf`	Integrating Ontology Languages and Answer Set Programming. DEXA Workshops Stijn Heymans, Dirk Vermeir
2003	—	`conf`	Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming Stijn Heymans, Dirk Vermeir
2002	—	`conf`	A Defeasible Ontology Language. OTM Stijn Heymans, Dirk Vermeir
2002	—	`conf`	Using Preference Order in Ontologies. DEXA Workshops Stijn Heymans, Dirk Vermeir