E-LIB Suche - Ergebnisse für: Knorr, Matthias

1

Bright Phase-Stable Waveforms Covering the Entire Infrared ..:

, In: 2023 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),

Kassab, Hadil ; Grobmeyer, Sebastian ; Hofer, Christina... - p. 1-1 , 2023

Link: https://doi.org/10.1109/..

2

Attosecond Chronoscopy of Many-Body Correlations between Bl..:

, In: 2023 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),

Freudenstein, Josef ; Borsch, Markus ; Meierhofer, Manuel... - p. 1-1 , 2023

Link: https://doi.org/10.1109/..

3

In-line synthesis of multi-octave phase-stable infrared lig..:

Kassab, Hadil ; Gröbmeyer, Sebastian ; Schweinberger, Wolfgang...
Optics Express. 31 (2023) 15 - p. 24862 , 2023

Link: https://doi.org/10.1364/..

4

Analytical performance estimation during code generation on..:

Ernst, Dominik ; Holzer, Markus ; Hager, Georg..
Journal of Parallel and Distributed Computing. 173 (2023) - p. 152-167 , 2023

Link: https://doi.org/10.1016/..

5

Towards Provenance in Heterogeneous Knowledge Bases:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Knorr, Matthias ; Damásio, Carlos Viegas ; Gonçalves, Ricardo. - p. 287-300 , 2022

Link: https://doi.org/10.1007/..

6

On Combining Ontologies and Rules:

, In: Reasoning Web. Declarative Artificial Intelligence; Lecture Notes in Computer Science,

Knorr, Matthias - p. 22-58 , 2022

Link: https://doi.org/10.1007/..

7

Faster Than LASER - Towards Stream Reasoning with Deep Neur..:

, In: Progress in Artificial Intelligence; Lecture Notes in Computer Science,

Ferreira, João ; Lavado, Diogo ; Gonçalves, Ricardo... - p. 363-375 , 2021

Link: https://doi.org/10.1007/..

8

Deep Neural Networks for Approximating Stream Reasoning wit..:

, In: Progress in Artificial Intelligence; Lecture Notes in Computer Science,

Ferreira, Ricardo ; Lopes, Carolina ; Gonçalves, Ricardo... - p. 338-350 , 2021

Link: https://doi.org/10.1007/..

9

On Syntactic Forgetting Under Uniform Equivalence:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias. - p. 297-312 , 2021

Link: https://doi.org/10.1007/..

10

Forgetting in Answer Set Programming – A Survey:

GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO
Theory and Practice of Logic Programming. 23 (2021) 1 - p. 111-156 , 2021

Link: https://doi.org/10.1017/..

11

Tractable Reasoning Using Logic Programs with Intensional C..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Heyninck, Jesse ; Gonçalves, Ricardo ; Knorr, Matthias. - p. 329-345 , 2021

Link: https://doi.org/10.1007/..

12

On the limits of forgetting in Answer Set Programming:

Gonçalves, Ricardo ; Knorr, Matthias ; Leite, João.
Artificial Intelligence. 286 (2020) - p. 103307 , 2020

Link: https://doi.org/10.1016/..

13

NoHR: An Overview: Reasoning with Ontologies and Nonmonoton..:

Kasalica, Vedran ; Knorr, Matthias ; Leite, João.
KI - Künstliche Intelligenz. 34 (2020) 4 - p. 509-515 , 2020

Link: https://doi.org/10.1007/..

14

Forgetting in Answer Set Programming with Anonymous Cycles:

, In: Progress in Artificial Intelligence; Lecture Notes in Computer Science,

Berthold, Matti ; Gonçalves, Ricardo ; Knorr, Matthias. - p. 552-565 , 2019

Link: https://doi.org/10.1007/..

15

A Syntactic Operator for Forgetting that Satisfies Strong P..:

BERTHOLD, MATTI ; GONÇALVES, RICARDO ; KNORR, MATTHIAS.
Theory and Practice of Logic Programming. 19 (2019) 5-6 - p. 1038-1055 , 2019

Link: https://doi.org/10.1017/..