Výsledky vyhledávání - "Lukas Schweizer"

Akademický článek

Smoke Test Planning using Answer Set Programming

Autor: Tobias Philipp, Valentin Roland, Lukas Schweizer

Publikováno v: International Journal of Interactive Multimedia and Artificial Intelligence, Vol 6, Iss 5, Pp 57-65 (2021)

Smoke testing is an important method to increase stability and reliability of hardware- gramming, Testing depending systems. Due to concurrent access to the same physical resource and the impracticality of the use of virtualization, smoke testing req

Externí odkaz: https://doaj.org/article/8fc6670605f34fbea76e16e4390deb62

Zobrazit plný text záznamu

Advanced Content Analysis

Autor: Samuel Franzen, Cuong Quang, Lukas Schweizer, Alexander Budzier, Peter Hrstich, Stéphane Reissfelder, Jenny Gold, Mercedes Vellez, Santiago Ramirez, Estelle Raimondo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::82d27de4d0239152c3fe477054f578df
https://doi.org/10.1596/37117

Zobrazit plný text záznamu

SPARQL Queries over Ontologies Under the Fixed-Domain Semantics

Autor: Sebastian Rudolph, Zhihao Yao, Lukas Schweizer

Publikováno v: PRICAI 2019: Trends in Artificial Intelligence-16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I
PRICAI 2019: Trends in Artificial Intelligence ISBN: 9783030299071
PRICAI (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-PRICAI 2019: Trends in Artificial Intelligence

Fixed-domain reasoning over OWL ontologies is adequate in certain closed-world scenarios and has been shown to be both useful and feasible in practice. However, the reasoning modes hitherto supported by available tools do not include querying. We pro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::628f2c2e7c1ae4832ae246952692bcb9

Zobrazit plný text záznamu

Faceted Answer-Set Navigation

Autor: Sebastian Rudolph, Christian Alrabbaa, Lukas Schweizer

Publikováno v: Rules and Reasoning ISBN: 9783319999050
RuleML+RR

Even for small logic programs, the number of resulting answer-sets can be tremendous. In such cases, users might be incapable of comprehending the space of answer-sets as a whole nor being able to identify a specific answer-set according to their nee

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::13896bb8f925793afcec2cf4e5df50bf
https://doi.org/10.1007/978-3-319-99906-7_14

Zobrazit plný text záznamu

Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics

Autor: Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa

Publikováno v: Rules and Reasoning ISBN: 9783319999050
RuleML+RR

The fixed-domain semantics for OWL and description logic has been introduced to open up the OWL modeling and reasoning tool landscape for use cases resembling constraint satisfaction problems. While standard reasoning under this new semantics is by n

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::40d4bb5ec111a89e70477ea6dd4425e0
https://doi.org/10.1007/978-3-319-99906-7_12

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání