Search results for "Stijn Heymans"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Cristina Feier, Stijn Heymans	Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases	CoRR	2011	DBLP BibTeX RDF
1	Cristina Feier, Stijn Heymans	An Optimization for Reasoning with Forest Logic Programs	CoRR	2010	DBLP BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	Logical Foundations of RDF(S) with Datatypes.	J. Artif. Intell. Res. (JAIR)	2010	DBLP DOI BibTeX RDF
1	Stijn Heymans, Thomas Eiter, Guohui Xiao	Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.	ECAI	2010	DBLP BibTeX RDF
1	Jörg Pührer, Stijn Heymans, Thomas Eiter	Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs.	ESWC	2010	DBLP DOI BibTeX RDF
1	Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter	F-Logic#: Loosely Coupling F-Logic Rules and Ontologies.	Web Intelligence	2010	DBLP DOI BibTeX RDF
1	Uwe Keller, Stijn Heymans	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.	LFCS	2009	DBLP DOI BibTeX RDF
1	Cristina Feier, Stijn Heymans	Hybrid Reasoning with Forest Logic Programs.	ESWC	2009	DBLP DOI BibTeX RDF
1	Stijn Heymans, Cristina Feier, Thomas Eiter	A Reasoner for Simple Conceptual Logic Programs.	RR	2009	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	Complexity of the Stable Model Semantics for Queries on Incomplete Databases.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Mustafa Jarrar, Stijn Heymans	Towards Pattern-Based Reasoning for Friendly Ontology Debugging.	International Journal on Artificial Intelligence Tools	2008	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	On the Relationship between Description Logic-based and F-Logic-based Ontologies.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Open answer set programming with guarded programs.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	fixed-point logic, open domains, Answer set programming
1	Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh	Guarded hybrid knowledge bases.	TPLP	2008	DBLP DOI BibTeX RDF
1	Uwe Keller, Stijn Heymans	The SAT-Tableau Calculus.	Description Logics	2008	DBLP BibTeX RDF
1	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	Ontology Reasoning with Large Data Repositories.	Ontology Management	2008	DBLP DOI BibTeX RDF	business repository, reasoning with large datasets, WSML DL, IRIS, Semantic Business Process Management, OWL DL
1	Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock	Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.	ICLP	2008	DBLP DOI BibTeX RDF	Clark’s completion, fuzzy ASSAT, fuzzy logic, answer set programming
1	Stijn Heymans, Ioan Toma	Ranking Services Using Fuzzy HEXPrograms.	RR	2008	DBLP DOI BibTeX RDF
1	Uwe Keller, Stijn Heymans	Deciding Fuzzy Description Logics by Type Elimination.	URSW	2008	DBLP BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Open answer set programming for the semantic web.	J. Applied Logic	2007	DBLP DOI BibTeX RDF
1	Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh	Guarded Hybrid Knowledge Bases	CoRR	2007	DBLP BibTeX RDF
1	Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann	Semantic Business Process Repository.	SBPM	2007	DBLP BibTeX RDF
1	Michael Stollberg, Uwe Keller, Holger Lausen, Stijn Heymans	Two-Phase Web Service Discovery Based on Rich Functional Descriptions.	ESWC	2007	DBLP DOI BibTeX RDF
1	Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus (eds.)	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	2007	DBLP BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	A Semantic Framework for Language Layering in WSML.	RR	2007	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	Logical Foundations of (e)RDF(S): Complexity and Reasoning.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	RDF and Logic: Reasoning and Extension.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Open Answer Set Programming with Guarded Programs	CoRR	2006	DBLP BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Conceptual logic programs.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68N17, 68T30
1	Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir	Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.	CLIMA	2006	DBLP DOI BibTeX RDF
1	Mustafa Jarrar, Stijn Heymans	Unsatisfiability Reasoning in ORM Conceptual Schemes.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
1	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	Approximating Extended Answer Sets.	ECAI	2006	DBLP BibTeX RDF
1	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	A Semantically Enabled Service Oriented Architecture.	WImBI	2006	DBLP DOI BibTeX RDF
1	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	Cooperating Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Guarded Open Answer Set Programming with Generalized Literals.	FoIKS	2006	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	Translating Ontologies from Predicate-based to Frame-based Languages.	RuleML	2006	DBLP DOI BibTeX RDF
1	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	An Ordered Logic Program Solver.	PADL	2005	DBLP DOI BibTeX RDF	Implementation, Preference, Answer Set Programming
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Synthesis from Temporal Specifications Using Preferred Answer Set Programming.	ICTCS	2005	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.	ESWC	2005	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Guarded Open Answer Set Programming.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Extending Conceptual Logic Programs with Arbitrary Rules.	Answer Set Programming	2005	DBLP BibTeX RDF
1	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	Intelligence Analysis Using Quantitative Preferences.	Answer Set Programming	2005	DBLP BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Preferential Reasoning on a Web of Trust.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
1	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	Weighted Answer Sets and Applications in Intelligence Analysis.	LPAR	2004	DBLP DOI BibTeX RDF
1	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	On Programs with Linearly Ordered Multiple Preferences.	ICLP	2004	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Hierarchical Decision Making by Autonomous Agents.	JELIA	2004	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Semantic Web Reasoning with Conceptual Logic Programs.	RuleML	2004	DBLP DOI BibTeX RDF
1	Stijn Heymans, Dirk Vermeir	Integrating Description Logics and Answer Set Programming.	PPSWR	2003	DBLP DOI BibTeX RDF
1	Stijn Heymans, Dirk Vermeir	Integrating Semantic Web Reasoning and Answer Set Programming.	Answer Set Programming	2003	DBLP BibTeX RDF
1	Stijn Heymans, Dirk Vermeir	Integrating Ontology Languages and Answer Set Programming.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
1	Stijn Heymans, Dirk Vermeir	A Defeasible Ontology Language.	CoopIS/DOA/ODBASE	2002	DBLP DOI BibTeX RDF
1	Stijn Heymans, Dirk Vermeir	Using Preference Order in Ontologies. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF

Publications of "Stijn Heymans" ( http://dblp.L3S.de/Authors/Stijn_Heymans )