1
0
0
(1 - 39 von 52
)
Frocos th International symposium on frontiers of combining...
www.unitn.it
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner (Slides); Combining Description Logics, Description ...
Thomas Eiter, Michael Fink, Thomas Krennwallner & Christoph Redl,...
philpapers.org
Download options. PhilArchive copy. This entry is not archived by us. If you are the author and have permission from the publisher, we ...
- LPNMR'09: Accepted Papers
www.cs.uni-potsdam.de
Induction on Failure: Learning Connected Horn Theories; Minh Dao-Tran, Thomas Eiter, Michael Fink and Thomas Krennwallner. Relevance-driven Evaluation of ... › ac...
Logic Programming and Nonmonotonic Reasoning: 11th International...
books.google.de
93 Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, and Peter Schüller Approximations for Explanations of Inconsistency in Partially ...
Logics in Artificial Intelligence: 13th European Conference, ...books.google.com › books
books.google.de
80 Harald Beck, Thomas Eiter, and Thomas Krennwallner Conditional Epistemic Planning Mikkel Birkegaard Andersen, Thomas ...
Logics in Artificial Intelligence: 13th European Conference, ...
books.google.com
160 Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller Using Satisfiability for Non-optimal Temporal Planning .
Reasoning Web - Semantic Technologies for Advanced Query ...
books.google.com
Thomas Eiter Thomas Krennwallner (Eds.) Reasoning Web Semantic Technologies for Advanced Query Answering 8th International Summer School Vienna, ...
[ ] Eliminating Unfounded Set Checking for HEX-Programs
arxiv.org
... Unfounded Set Checking for HEX-Programs. Authors: Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller.
ESWC Agenda
2013.eswc-conferences.org
Thomas Eiter | Thomas Krennwallner | Patrik Schneider. 2. Representation and querying of valid time of triples in linked geospatial data
Abstract | IJCAI
www.ijcai.org
... the notions and ideas of this paper might be adapted to related formalisms as well. Thomas Eiter, Michael Fink, Thomas Krennwallner. › Abstract
[ ] Nested HEX-Programs
arxiv.org
Authors:Thomas Eiter, Thomas Krennwallner, Christoph Redl. (Submitted on 29 Aug 2011). Abstract: Answer-Set Programming (ASP) is an ...
Search results for "REWERSE" – FacetedDBLP
dblp.l3s.uni-hannover.de
Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies.
Advanced Data Modeling | Institute WeST
west.uni-koblenz.de
Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner. Answer Set Programming: A Primer. In: Reasoning Web. Semantic Technologies for Information ...
Search results for "Expressivity" – FacetedDBLP
dblp.l3s.de
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell.
Inconsistency Management for Traffic Regulations ...link.springer.com › ...
link.springer.com
Harald Beck; Thomas Eiter; Thomas Krennwallner. Harald Beck. 1. Thomas Eiter. 1. Thomas Krennwallner Institute of Information SystemsVienna University ...
First-Order Encodings for Modular Nonmonotonic Datalog Programs |...
link.springer.com
First-Order Encodings for Modular Nonmonotonic Datalog Programs. Authors; Authors and affiliations. Minh Dao-Tran; Thomas Eiter; Michael Fink; Thomas Krennwallner. Minh Dao-Tran. 1. Thomas Eiter. 1. Michael Fink. 1. Thomas Krennwallner Institut für InformationssystemeTechnische Universität WienViennaAustria.
Reasoning Web - Semantic Technologies for Springer
link.springer.com
von T Eiter · Zitiert von: 3 — Thomas Krennwallner. Thomas Eiter. Institute of Information Systems, Knowledge-Based Systems Group, Vienna University of Technology, Vienna, Austria. › book
accepted - LPNMR Google Sites
sites.google.com
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner and Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems › site › acc...
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl -...
technodocbox.com
1 HEX-Programs with Existential Quantification Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl Institut für Informationssysteme, ...
Conflict-driven ASP solving with external sources | Theory and...
www.cambridge.org
Conflict-driven ASP solving with external sources - Volume 12 Issue THOMAS EITER, MICHAEL FINK, THOMAS KRENNWALLNER, CHRISTOPH REDL
OWL 2 Profiles - korrekt.org
www.korrekt.org
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages. In Thomas Eiter, Thomas Krennwallner, eds.: ... {Thomas Eiter and Thomas Krennwallner},
Publications - korrekt.org
www.korrekt.org
In Thomas Eiter, Thomas Krennwallner, eds.: Reasoning Web Summer School Springer (view details, download) Markus Krötzsch.
Declarative Belief Set Merging Using Merging Plans ...www.springerprofessional.de › dec...
www.springerprofessional.de
Authors: Christoph Redl, Thomas Eiter, Thomas Krennwallner. Publisher: Springer Berlin Heidelberg. Published in: Practical Aspects of Declarative Languages.
Knowledge representation and semantic technologies
www.diag.uniroma1.it
Reasoning Web, http://aifb.kit.edu/images DL-Intro.pdf; Thomas Eiter, Giovambattista Ianni and Thomas Krennwallner. Answer Set Programming: A ...
LogiCS | Harald Beck
logic-cs.at
Harald Beck, Thomas Eiter, and Thomas Krennwallner. Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.13th European ...
CSE 645 (Spring 2010) Seminar in Languages
www3.cs.stonybrook.edu
... Knowledge Bases with External Sources. Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, and Thomas Krennwallner. › ...
Complete Publication List - Dr Peter Schüller
peterschueller.com
J Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller. A Model Building Framework for Answer Set ... › ...
Answer Set Programming: A Primer | springerprofessional.de
www.springerprofessional.de
Autoren: Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner. Verlag: Springer Berlin Heidelberg. Erschienen in: Reasoning Web. Semantic Technologies ...
Presentations and Authors
www.aaai.org
Liberal Safety for Answer Set Programs with External Sources · PDF. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl ...
Conflict-driven ASP solving with external sources
www.cambridge.org
von T EITER · · Zitiert von: 40 — Published online by Cambridge University Press: 05 September THOMAS EITER ,. MICHAEL FINK ,. THOMAS KRENNWALLNER and. › article
Artificial Intelligence and Semantic Technologies Research Lab
www.ict.griffith.edu.au
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng. FLP answer set semantics without circular ...
Inconsistency Management for Traffic Regulations
www.springerprofessional.de
verfasst von: Harald Beck, Thomas Eiter, Thomas Krennwallner. Erschienen in: Logics in Artificial Intelligence. Verlag: Springer Berlin Heidelberg. › ...
Vol. 52 (2015) | Journal of Artificial Intelligence Researchwww.jair.org › jair › issue › view
www.jair.org
Distributed Evaluation of Nonmonotonic Multi-context Systems. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
PADL'11: Practical Aspects of Declarative Languages - DCC
www.dcc.fc.up.pt
... Thomas Eiter, Thomas Krennwallner and Christoph Redl; Declarative Belief Set Merging using Merging Plans; Theofrastos Mantadelis, Koosha Paridel, ... › accepte...
Lehrveranstaltung | AAU Campus
campus.aau.at
Main sources: Dean Allemang, James Hendler: Semantic Web for the Working Ontologist, Second Edition. Morgan Kaufmann (2011); Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2008); Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, ...
Presentations
www.aaai.org
von T Eiter · · Zitiert von: 13 — Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl. You are not currently permitted to view this paper. If you have an account for this ... › viewPaper
Publications - Christoph Redl
www.credl.eu
von D Dolezal · — Thomas Eiter, Thomas Krennwallner, and Christoph Redl. HEX-Programs with Nested Program Calls. In Hans Tompits, editor, 19th International Conference on ... › publications
Alle Infos zum Namen "Thomas Krennwallner"
Verwandte Suchanfragen zu Thomas Krennwallner
Roland Kaminski Nicola Leone Wolfgang Faber | Axel Polleres Daniela Pohl Harald Beck | Christoph Redl Thomas Eiter Michael Fink |
Personen Vorname "Thomas" (124868) Name "Krennwallner" (5) |
sortiert nach Relevanz / Datum