Showing
1 - 7
results of
7
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Schindlauer, Roman
Search Results - Schindlauer, Roman
Showing
1 - 7
results of
7
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Combining answer set programming with description logics for the Semantic Web
by
Eiter, Thomas
,
Ianni, Giovambattista
,
Lukasiewicz, Thomas
,
Schindlauer, Roman
,
Tompits, Hans
Published in
Artificial intelligence
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Well-founded semantics for description logic programs in the semantic web
by
Eiter, Thomas
,
Ianni, Giovambattista
,
Lukasiewicz, Thomas
,
Schindlauer, Roman
Published in
ACM transactions on computational logic
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
OntoDLV: An ASP-based System for Enterprise Ontologies
by
Ricca, Francesco
,
Gallucci, Lorenzo
,
Schindlauer, Roman
,
Dell’Armi, Tina
,
Grasso, Giovanni
,
Leone, Nicola
Published in
Journal of logic and computation
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
The extensibility framework in Microsoft StreamInsight
by
Ali, M
,
Chandramouli, B
,
Goldstein, J
,
Schindlauer, R
Request full text
Conference Proceeding
Save to List
Saved in:
5
Loading…
Exploiting conjunctive queries in description logic programs
by
Eiter, Thomas
,
Ianni, Giovambattista
,
Krennwallner, Thomas
,
Schindlauer, Roman
Published in
Annals of mathematics and artificial intelligence
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
6
Loading…
Forgetting in Managing Rules and Ontologies
by
Eiter, T.
,
Ianni, G.
,
Schindlauer, R.
,
Tompits, H.
,
Wang, K.
Request full text
Conference Proceeding
Save to List
Saved in:
7
Loading…
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics
by
Eiter, E.
,
lanni, G.
,
Schindlauer, R.
,
Tompits, H.
Request full text
Conference Proceeding
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
4 results
4
Full Text
7 results
7
Format
Articles
4 results
4
Conference Proceedings
3 results
3
Journal Title
Acm Transactions On Computational Logic
1 results
1
Annals Of Mathematics And Artificial Intelligence
1 results
1
Artificial Intelligence
1 results
1
Journal Of Logic And Computation
1 results
1
Subjects
Computer Science
7 results
7
Science & Technology
7 results
7
Technology
7 results
7
Computer Science, Artificial Intelligence
5 results
5
Semantic Web
5 results
5
Logic Programming
4 results
4
Answer Set Programming
3 results
3
Computer Science, Information Systems
3 results
3
Logic
3 results
3
Ontologies
3 results
3
Artificial Intelligence
2 results
2
Computer Science, Theory & Methods
2 results
2
Description Logics
2 results
2
Owl
2 results
2
Resource Description Framework
2 results
2
Science & Technology - Other Topics
2 results
2
Semantics
2 results
2
Aggregates
1 results
1
Algebra
1 results
1
Algorithms
1 results
1
Year of Publication
From:
To:
Source
Ieee Electronic Library (Iel) Conference Proceedings
3 results
3
Acm Digital Library
3 results
3
Oxford Journals Online
1 results
1
Bacon - Elsevier - Global Sciencedirect-Openaccess
1 results
1
Oxford University Press Archive
1 results
1
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
1 results
1
Springer Nature
1 results
1
Sciencedirect Additional Titles
1 results
1
Sciencedirect Freedom Collection 2022-2024
1 results
1
Ieee Xplore All Journals
1 results
1
Ezb Electronic Journals Library
1 results
1
Springer Nature - Connect Here First To Enable Access
1 results
1
Springerlink (Online Service)
1 results
1
Backfile Package - Computer Science (Legacy) [Ycs]
1 results
1
Sciencedirect: Engineering & Technology Backfile
1 results
1