1
0
0
News
21st International Workshop on Description Logics (DL'08),
resources.illc.uva.nl
... Bozen-Bolzano, Italy * Giuseppe de Giacomo, Rome, Italy * Volker Haarslev, Montreal, Canada * Ian Horrocks, Oxford, UK * Ulrich Hustadt, Liverpool, ... › newsit...
TIME : Sixteenth International Symposium on Temporal ...
www.wikicfp.com
Ulrich Hustadt, University of Liverpool, UK George Kollios, Boston University, USA Orna Kupferman, Hebrew University, Israel › servlet
Netzwerk-Profile
Baha El Kassaby, M.S. - The Jackson Laboratory
www.jax.org
Adv: Dr. Ulrich Hustadt & Dr. Boris Konev Université de La Sorbonne-Nouvelle-Paris3 B.A., english literature and civilization › people › bah...
Bücher
AI 2003: Advances in Artificial Intelligence: 16th Australian...
books.google.de
[25] [26] Ulrich Hustadt and Renate A. Schmidt. Issues of decidability for description logics in the framework of resolution. In R. Caferra and G. Salzer, editors, ...
Computer Science Logic: 16th International Workshop, CSL 2002, 11th...
books.google.de
[10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] Christian Fermüller, Alexander Leitsch, Ulrich Hustadt, and Tamel Tammet. Resolution Decision ...
Logics in Artificial Intelligence: European Conference, JELIA 2002,...
books.google.de
This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September...
The Description Logic Handbook: Theory, Implementation and...
books.google.de
Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades....
Dokumente zum Namen
Call for Papers - Description Logics
dl.kr.org
Horrocks, Oxford, UK * Ulrich Hustadt, Liverpool, UK * Pascal Hitzler, Karlsruhe, ...
2009-December.txt - Linguistics Mailing List
listserv.linguistlist.org
... Austria) Pascal Hitzler (Wright State University, USA) Ian Horrocks (University of Oxford, UK) Ulrich Hustadt (University of Liverpool, ... ›
A Closer Look at the Semantic Relationship between Datalog ...
www.semantic-web-journal.net
von M Krötzsch · Zitiert von: 11 — [17] Ulrich Hustadt, Boris Motik, and Ulrike Sattler. Data complex- ity of reasoning in very expressive description logics. In Leslie. › swj236_2
Modal logics - University of the Witwatersrand
www.cs.wits.ac.za
[11] Renate Schmidt and Ulrich Hustadt. Using resolution for testing modal satisfiability and building models. Journal of Automated Reasoning, ...
Wissenschaftliche Veröffentlichungen
Veröffentlichungen von Universitätsangehörigen
www.uni-saarland.de
- (CSLI Publications ; 91) - Resolution-Based Methods for Modal Logics / von Hans de Nivelle; Ulrich Hustadt; Renate A. Schmidt. - In: Logic Journal of the IGPL, 8 (
[DL] Description Logics 2010: 2nd call for papers
mailman.informatik.uni-bremen.de
... USA) Ian Horrocks (University of Oxford, UK) Ulrich Hustadt (University of Liverpool, UK) Yevgeny Kazakov (University of Oxford, UK) Boris ...
[DL] DL2008 Second Call for Papers
mailman.informatik.uni-bremen.de
... Montreal, Canada * Ian Horrocks, Oxford, UK * Ulrich Hustadt, Liverpool, UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, ...
Veröffentlichungen allgemein
Higher-Order Positive Set Constraints | SpringerLink
link.springer.com
We introduce a natural notion of positive set constraints on simply-typed λ-terms. We show that satisfiability of these so-called positive higher-order set...
OWL Compatibility - W3C RIF-WG Wiki
www.w3.org
(4) Ulrich Hustadt, Boris Motik, Ulrike Sattler. Data complexity of reasoning in very expressive description logics. In: Proc. 19th Int. Joint Conf. on Artificial ...
DL semanticweb.org.edu
semanticweb.org
Ulrich Hustadt, Liverpool, UK; Pascal Hitzler, Karlsruhe, Germany ...
TIME – Openresearch
www.openresearch.org
... Imperial College, UK Ulrich Hustadt, University of Liverpool, UK George Kollios, Boston University, USA Orna Kupferman, Hebrew University, ...
Sonstiges
MAX-PLANCK-INSTITUT FUR INFORMATIK
pure.mpg.de
Thanks to Ulrich Hustadt and Andreas Nonnengart for their comments on earlier versions of this report. Abstract Minimal resolution restricts the applicability of resolution and factorization to minimal literals. Minimality is an abstract criterion. It is ...
CiteSeerX — Resolution-Based Methods for Modal Logics
citeseerx.ist.psu.edu
BibTeX @ARTICLE{Nivelle00resolution-basedmethods, author = {Hans De Nivelle and Renate A. Schmidt and Ulrich Hustadt}, title = {Resolution-Based Methods for Modal ...
CiteSeerX — Similarity Options: Resolution-Based Methods for Modal...
citeseerx.ist.psu.edu
... Ulrich Hustadt ... Options: Active Bibliography (Documents that cite a similar set of documents)
TIME Call for Papers from Carsten Lutz on
lists.w3.org
... of Witwatersrand, South Africa Rajeev Gore, ANU, Australia Keijo Heljanko, Helsinki University of Technology, Finland Ian Hodkinson, Imperial College, UK Ulrich Hustadt ...
[Hol-info] Description Logics 2010: 2nd call for papers
www.mail-archive.com
... University, Australia) Stijn Heymans (TU Vienna, Austria) Pascal Hitzler (Wright State University, USA) Ian Horrocks (University of Oxford, UK) Ulrich Hustadt ...
DL2008 Workshop PC
dl.kr.org
Ulrich Hustadt, Liverpool, UK Pascal Hitzler, Karlsruhe, Germany Carsten Lutz, Dresden, Germany (Chair) Maja Milicic, Dresden, Germany Boris Motik, Oxford, UK
CiteSeerX — Citation Query of Symb. Logic
citeseer.uark.edu
by Hans De Nivelle, Renate A. Schmidt, Ulrich Hustadt - Logic J. IGPL , "... In this paper we give an overview of resolution methods for ...
CiteSeerX — Related by Co-Citation: A Principle for ...
citeseer.uark.edu
36, Resolution-Based Methods for Modal Logics – Hans De Nivelle, Renate A. Schmidt, Ulrich Hustadt , On Generating Small Clause Normal Forms ...
[loginf] TIME Call for Papers
lists.tcs.ifi.lmu.de
... Imperial College, UK Ulrich Hustadt, University of Liverpool, UK George Kollios, Boston University, USA Orna Kupferman, Hebrew University, ...
Complexity Boundaries for Generalized Guarded Existential Rules
explore.openaire.eu
Ulrich Hustadt, Boris Motik, and Ulrike Sattler. Data complexity of reasoning in very expressive description logics. In Leslie Pack Kaelbling and Alessandro ... › search
ISKOI: Description logics: Dresden: May
liste.cilea.it
... UK * Ulrich Hustadt, Liverpool, UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, Germany (Chair) * Maja Milicic, Dresden, ...
TIME-01 Programme
sigmod.org
Ulrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Meyer, and Wiebe van der Hoek Reasoning about agents in the KARO ... › final_program
Tech Reports - Computer Science
intranet.csc.liv.ac.uk
ULCS : · Paul Gainer, Clare Dixon, Ulrich Hustadt · Probabilistic Model Checking of Ant-Based Positionless Swarming ... ULCS : Paul Gainer, Clare Dixon, Ulrich Hustadt; Probabilistic Model Checking of Ant-Based Positionless Swarming ... › techr... › research
[ecoop-info] Description Logics DL final call for papers
web.satd.uma.es
... Austria) Pascal Hitzler (Wright State University, USA) Ian Horrocks (University of Oxford, UK) Ulrich Hustadt (University of Liverpool, ... › ecoop-info
[Agda] Description Logics DL final call for papers
lists.chalmers.se
... USA) Ian Horrocks (University of Oxford, UK) Ulrich Hustadt (University of Liverpool, UK) Yevgeny Kazakov (University of Oxford, UK) Boris ...
[Agda] Description Logics 2010: 2nd call for papers - the ...
lists.chalmers.se
— ... Austria) Pascal Hitzler (Wright State University, USA) Ian Horrocks (University of Oxford, UK) Ulrich Hustadt (University of Liverpool, ... › pipermail
[loginf] DL2008 Second Call for Papers
lists.tcs.ifi.lmu.de
... Montreal, Canada * Ian Horrocks, Oxford, UK * Ulrich Hustadt, Liverpool, UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, ...
Verwandte Suchanfragen zu Ulrich Hustadt
| Boris Motik Maja Milicic Ulrike Sattler | George Kollios Carsten Lutz Pascal Hitzler |
Personen Vorname "Ulrich" (33433) Name "Hustadt" (82) |
sortiert nach Relevanz / Datum