Forschungsbereich Knowledge Based Systems

Organization Name (de) Name der Organisation (de)
E192-03 - Forschungsbereich Knowledge Based Systems
 
Code Kennzahl
E192-03
 
Type of Organization Organisationstyp
Research Division
 
Parent OrgUnit Übergeordnete Organisation
Active Aktiv
 


Results 1-20 of 835 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Akhtar, Waseem ; Kopecký, Jacek ; Krennwallner, Thomas ; Polleres, Axel ; Bechhofer, Sean ; Hauswirth, Manfred ; Hoffmann, Jörg ; Koubarakis, Manolis XSPARQL: Traveling between the XML and RDF Worlds – and Avoiding the XSLT PilgrimageKonferenzbeitrag Inproceedings 2008
2Krennwallner, Thomas ; Lopes, Nuno ; Polleres, Axel XSPARQL: SemanticsBuchbeitrag Book Contribution 2009
3Lopes, Nuno ; Krennwallner, Thomas ; Polleres, Axel ; Akhtar, Waseem ; Corlosquet, Stephane XSPARQL: Implementation and Test-casesBuchbeitrag Book Contribution 2009
4Polleres, Axel ; Krennwallner, Thomas ; Lopes, Nuno ; Kopecký, Jacek ; Decker, Stefan XSPARQL Language SpecificationBuchbeitrag Book Contribution 2009
5Feier, Cristina ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Worst-Case Optimal Reasoning with Forest Logic ProgramsKonferenzbeitrag Inproceedings 2012
6Feier, Cristina Worst-Case Optimal Reasoning with Forest Logic ProgramsBericht Report2011
7Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Konferenzbeitrag Inproceedings 2010
8Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Fox, Dieter ; Gomes, Carla P. Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without InversesKonferenzbeitrag Inproceedings 2008
9Pearce, David ; Polleres, Axel Florian ; Valverde, Agustin ; Woltran, Stefan Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)Konferenzband Proceedings2007
10Fink, Michael ; Homola, Martin ; Mileo, Alessandra Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)Konferenzband Proceedings 2014
11Fink, Michael ; Homola, Martin ; Mileo, Alessandra ; Varzinczak, Ivan Workshop Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-13 September 15, 2013, La Corunna, SpainKonferenzband Proceedings 2013
12Fink, Michael ; Homola, Martin ; Mileo, Alessandra ; Varzinczak, Ivan Workshop Notes of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 August 28, 2012 Montpellier, FranceKonferenzband Proceedings 2012
13Brain, Martin ; Faber, Wolfgang ; Maratea, Marco ; Polleres, Axel Florian ; Schaub, Torsten ; Schindlauer, Roman ; De Vos, Marina ; Schaub, Torsten What should an ASP Solver output?Konferenzbeitrag Inproceedings 2007
14Eiter, Thomas ; Ianni, Giovambattista ; Lukasiewicz, Thomas ; Schindlauer, Roman Well-Founded Semantics for Description Logic Programs in the Semantic WebBericht Report2009
15Eiter, Thomas ; Kiesel, Rafael Peter David Weighted LARS for Quantitative Stream ReasoningKonferenzbeitrag Inproceedings 2020
16Ortiz de la Fuente, M.Magdalena ; Schlobach, Stefan Web Reasoning and Rule SystemsKonferenzband Proceedings 2016
17Oetsch, Johannes ; Puehrer, Joerg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering TechniquesKonferenzbeitrag Inproceedings 2011
18Oetsch, Johannes ; Pührer, Jörg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering TechnologyKonferenzbeitrag Inproceedings 2011
19Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Martens, Wim ; Zeume, Thomas Verification of Evolving Graph-structured Data under Expressive Path ConstraintsKonferenzbeitrag Inproceedings 2016
20Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui ; Son, Tran Cao ; Cabalar, Pedro VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013