Phase-locked multi-terahertz electric fields exceeding 13  MV/cm at a 190  kHz repetition rate von Knorr, Matthias, Raab, Jürgen, Tauer, Maximilian, Merkl, Philipp, Peller, Dominik, Wittmann, Emanuel, Riedle, Eberhard, Lange, Christoph, Huber, Rupert

Volltext

Preserving strong equivalence while forgetting von Knorr, Matthias, Alferes, José Julio

Volltext

A Query Tool for EL with Non-monotonic Rules von Ivanov, Vadim, Knorr, Matthias, Leite, João Alexandre Carvalho Pinheiro

Volltext

Forgetting in Answer Set Programming with Anonymous Cycles von Berthold, Matti, Gonçalves, Ricardo, Knorr, Matthias, Leite, João

Volltext

Querying OWL 2 QL and non-monotonic rules von Knorr, Matthias, Alferes, José Júlio

Volltext

On Combining Ontologies and Rules von Knorr, Matthias

Volltext

Analytical performance estimation during code generation on modern GPUs von Ernst, Dominik, Holzer, Markus, Hager, Georg, Knorr, Matthias, Wellein, Gerhard

Volltext

Inconsistency Management in Reactive Multi-context Systems von Brewka, Gerhard, Ellmauthaler, Stefan, Gonçalves, Ricardo, Knorr, Matthias, Leite, João, Pührer, Jörg

Volltext

Forgetting in Answer Set Programming – A Survey von GONÇALVES, RICARDO, KNORR, MATTHIAS, LEITE, JOÃO

Volltext

Proceedings 39th International Conference on Logic Programming: ForgettingWeb von Berthold, Matti, Knorr, Matthias, Odekerken, Daphne

Volltext

On the limits of forgetting in Answer Set Programming von Gonçalves, Ricardo, Knorr, Matthias, Leite, João, Woltran, Stefan

Volltext

Local closed world reasoning with description logics under the well-founded semantics von Knorr, Matthias, Alferes, José Júlio, Hitzler, Pascal

Volltext

In-line synthesis of multi-octave phase-stable infrared light von Kassab, Hadil, Gröbmeyer, Sebastian, Schweinberger, Wolfgang, Hofer, Christina, Steinleitner, Philipp, Högner, Maximilian, Amotchkina, Tatiana, Gerz, Daniel, Knorr, Matthias, Huber, Rupert, Karpowicz, Nicholas, Pupeza, Ioachim

Volltext

Ultrabroadband etalon-free detection of infrared transients by van-der-Waals contacted sub-10-µm GaSe detectors von Knorr, Matthias, Steinleitner, Philipp, Raab, Jürgen, Gronwald, Imke, Merkl, Philipp, Lange, Christoph, Huber, Rupert

Volltext

Multibranch pulse synthesis and electro-optic detection of subcycle multi-terahertz electric fields von Merkl, Philipp, Knorr, Matthias, Meineke, Christian, Kastner, Lukas, Peller, Dominik, Huber, Rupert

Volltext

Proceedings 38th International Conference on Logic Programming: Tractable Reasoning using Logic Programs with Intensional Concepts (Report) von Heyninck, Jesse, Gonçalves, Ricardo, Knorr, Matthias, Leite, João

Volltext

Proceedings 38th International Conference on Logic Programming: On Syntactic Forgetting under Uniform Equivalence (Report) von Gonçalves, Ricardo, Janhunen, Tomi, Knorr, Matthias, Leite, João

Volltext

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments von Brewka, Gerhard, Ellmauthaler, Stefan, Gonçalves, Ricardo, Knorr, Matthias, Leite, João, Pührer, Jörg

Volltext

Intersubband Polariton-Polariton Scattering in a Dispersive Microcavity von Knorr, M., Manceau, J. M., Mornhinweg, J., Nespolo, J., Biasiol, G., Tran, N. L., Malerba, M., Goulain, P., Lafosse, X., Jeannin, M., Stefinger, M., Carusotto, I., Lange, C., Colombelli, R., Huber, R.

Volltext

A Syntactic Operator for Forgetting that Satisfies Strong Persistence von BERTHOLD, MATTI, GONÇALVES, RICARDO, KNORR, MATTHIAS, LEITE, JOÃO

Volltext