Oxford ISG: Cristina Feier
www.cs.ox.ac.uk
Cristina Feier, Stijn Heymans: Reasoning with Forest Logic Programs and f- hybrid knowledge bases. TPLP 13(3): , Thomas Eiter, Cristina Feier, ...
Publications | VUB STAR lab
starlab.vub.ac.be
Pattern-based Reasoning for ORM Conceptual models.(to appear) Mustafa Jarrar; Stijn Heymans , Journal of artificial tools (to appear), 2006, (2006) ...
Logic for Programming, Artificial Intelligence, and Reasoning: 11th...
books.google.de
Weighted Answer Sets and Applications in Intelligence Analysis Davy Van Nieuwenborgh⋆, Stijn Heymans, and Dirk Vermeir⋆⋆ Dept. of Computer Science ...
Modeling Semantic Web Services: The Web Service Modeling Language -...
books.google.de
Jos de Bruijn and Stijn Heymans. A semantic framework for language layering in WSML. In Proceedings of the First International Conference on Web Reasoning ...
Web Reasoning and Rule Systems: Fourth International Conference, RR...
books.google.de
... Carlos Damasio Wlodek Drabent Sergio Flesca Christine Golbreich Claudio Gutierrez Stijn Heymans Rinke Hoekstra University of Crete, Greece PUC Chile, ...
Web Reasoning and Rule Systems: Second International Conference, RR...
books.google.de
This book constitutes the refereed proceedings of the Second International Conference on Web Reasoning and Rule Systems, RR 2008, held in Karlsruhe, Germany in...
Towards Pattern-Based Reasoning for Friendly Ontology Debugging by...
papers.ssrn.com
Reasoning with ontologies is a challenging task specially for non-logic experts. When checking whether an ontology contains rules that contradict each other, cu
dblp: Principles and Practice of Semantic Web Reasoning 2003
dblp.uni-trier.de
Bibliographic content of Principles and Practice of Semantic Web Reasoning 2003
Two-Phase Web Service Discovery Based on Rich Functional Descriptions...
link.springer.com
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request....
Logical Foundations of (e)RDF(S): Complexity and Reasoning |...
link.springer.com
Logical Foundations of (e)RDF(S): Complexity and Reasoning. Authors; Authors and affiliations. Jos de Bruijn; Stijn Heymans. Jos de Bruijn. 1. Stijn Heymans. 2.
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm |...
link.springer.com
This work has been partially funded by the European Commission under the LarKC project (FP ). Stijn Heymans is supported by the Austrian Science ...
Call for papers: Special issue of the Semantic Web Journal on Web...
www.semantic-web-journal.net
Call for papers: Special issue of the Semantic Web Journal on Web Reasoning and Rule Systems Stijn Heymans, SRI International, Menlo Park, USA
Schloss Dagstuhl : Participant List
www.dagstuhl.de
Nonmonotonic Reasoning, Answer Set Programming and Constraints Participants Stijn Heymans (Free University of Brussels, BE) Giovambattista Ianni (TU Wien, AT)
Alle Infos zum Namen "Stijn Heymans"
Universität Innsbruck Leopold Franzens Copyright DERI...
slideplayer.com
3 Technical Fair 11th December The Reasoning Group Barry Bishop Chair/Software Engineer Stijn Heymans Post-doc Researcher Florian Fischer Undergraduate...
DBLP: Stijn Heymans
vldbarc.org
Cristina Feier, Stijn Heymans: Hybrid Reasoning with Forest Logic Programs Uwe Keller, Stijn Heymans: Fuzzy Description Logic Reasoning Using a Fixpoint ...
Re: OWL reasoning with rules from Stijn Heymans on
lists.w3.org
... [ Next message ] [ Previous message ] [ In reply to ]. From : Stijn Heymans <stijn .> Date : Tue, 3 Oct :38:54 +0200
4th European Semantic Web Conference 2007
www.eswc2007.org
Michael Stollberg, Uwe Keller, Holger Lausen and Stijn Heymans. Two-phase Web Service Discovery based on Rich Functional Descriptions Stephan Grimm, Uwe Keller, Holger Lausen and Gabor Nagypal. A Reasoning Framework for Rule-Based WSML ; Ontology Learning, Inference and Mapping I (10:30-12:30) (Innsbruck Hall)
DL2008 Workshop Program
dl.kr.org
Detailed Program Return to the stub program Uwe Keller and Stijn Heymans. Paraconsistent Reasoning for Expressive and Tractable Description Logics.
Reasoning with Forest Logic Programs and f-hybrid knowledge bases*† |...
www.cambridge.org
Reasoning with Forest Logic Programs and f-hybrid knowledge bases*† - Volume 13 Issue 3 - CRISTINA FEIER, STIJN HEYMANS
Accepted Papers | Logical Foundations Of Computer Science
lfcs.info
Light Linear Logic with Controlled Weakening: A Missing Opportunity; Uwe Keller and Stijn Heymans. Fuzzy Description Logic Reasoning using a Fixpoint ...
A Reasoner for Simple Conceptual Logic Programs |...
www.springerprofessional.de
Autoren: Stijn Heymans, Cristina Feier, Thomas Eiter. Verlag: Springer Berlin Heidelberg. Erschienen in: Web Reasoning and Rule Systems. » Jetzt Zugang zum ...
LI Ding, Tim Finin "Characterizing the Semantic Web on the Web", Fifth ...
cgi.di.uoa.gr
(Επιλέχθη: Ελένη Τόρου); Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir, "Preferential Reasoning on a Web of Trust", Proceedings of the Fourth ...
Verwandte Suchanfragen zu Stijn Heymans
| Thomas Eiter Holger Lausen Jörg Pührer | Ingo Weber Gerd Wagner Stephan Grimm |
Personen Vorname "Stijn" (307) Name "Heymans" (129) |
sortiert nach Relevanz / Datum