Zobrazeno 1 - 10
of 99
pro vyhledávání: '"Hans Tompits"'
Autor:
Sopo Pkhakadze, Hans Tompits
Publikováno v:
Axioms, Vol 9, Iss 3, p 84 (2020)
Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inferen
Externí odkaz:
https://doaj.org/article/243d1e9f7f42445eada69f5c46b62024
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 4 (2018)
Clause-elimination procedures that simplify formulas in conjunctive normal form play an important role in modern SAT solving. Before or during the actual solving process, such procedures identify and remove clauses that are irrelevant to the solving
Externí odkaz:
https://doaj.org/article/051649b49eab4027b9e518c0167889bc
Publikováno v:
ACM Transactions on Computational Logic. 22:1-46
This article deals with advanced notions of equivalence between nonmonotonic logic programs under the answer-set semantics, a topic of considerable interest, because such notions form the basis for program verification and are useful for program opti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f479e3d5a4be4496476756089f6d67d1
https://doi.org/10.1145/3422361
https://doi.org/10.1145/3422361
Autor:
Hans Tompits, Tobias Geibinger
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 325:178-191
Paraconsistent logics constitute an important class of formalisms dealing with non-trivial reasoning from inconsistent premisses. In this paper, we introduce uniform axiomatisations for a family of nonmonotonic paraconsistent logics based on minimal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65270c18131003349993e28aec19fb04
https://doi.org/10.4204/eptcs.325.23
https://doi.org/10.4204/eptcs.325.23
Autor:
Felix Schön, Hans Tompits
Publikováno v:
Progress in Artificial Intelligence ISBN: 9783031164736
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::714883e2e460b598054cbb2c49854f04
https://doi.org/10.1007/978-3-031-16474-3_34
https://doi.org/10.1007/978-3-031-16474-3_34
Autor:
Hans Tompits, Julian-Steffen Müller, Marcel Aguirre Mehlhorn, Timo Frederik Horeis, Fabian Plinke, Johannes Heinrich, Tobias Kain, Hendrik Decke
Publikováno v:
DATE
Autonomous vehicles are complex distributed systems consisting of multiple software applications and computing nodes. Determining the assignment between these software applications and computing nodes is known as the application-placement problem. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2cd8f971d36e498ad9afc70c75eaf0b6
https://doi.org/10.23919/date51398.2021.9473948
https://doi.org/10.23919/date51398.2021.9473948
D-DEG: A Dynamic Cooperation-Based Approach for Reducing Resource Consumption in Autonomous Vehicles
Publikováno v:
Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a23e77853e9e59e4754a2a1cc2f044d1
https://doi.org/10.3850/978-981-18-2016-8_631-cd
https://doi.org/10.3850/978-981-18-2016-8_631-cd
Autor:
Hans Tompits, Sopo Pkhakadze
Publikováno v:
Axioms, Vol 9, Iss 84, p 84 (2020)
Axioms; Volume 9; Issue 3; Pages: 84
Axioms; Volume 9; Issue 3; Pages: 84
Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inferen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86be65b7bc446a2a16033f0bcbd5235d
https://www.mdpi.com/2075-1680/9/3/84
https://www.mdpi.com/2075-1680/9/3/84
Autor:
Yael Abelardo Martinez Flores, Maximilian Wesche, Hans Tompits, Tobias Kain, Hendrik Decke, Julian-Steffen Müller
Publikováno v:
Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb2021e11be0ea02147bd926e1f4c028
https://doi.org/10.3850/978-981-14-8593-0_5803-cd
https://doi.org/10.3850/978-981-14-8593-0_5803-cd
Autor:
Hans Tompits, Maximilian Wesche, Hendrik Decke, Tobias Kain, Philipp Mundhenk, Julian-Steffen Müller
Publikováno v:
Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d68a73e9fea9a03eb4732d83b31b08ab
https://doi.org/10.3850/978-981-14-8593-0_4204-cd
https://doi.org/10.3850/978-981-14-8593-0_4204-cd