MRG: Building planners for real world complex applications

Veröffentlicht 1993

Formalizing complex reasoning

von Traverso, P.
Veröffentlicht 1996

Computational reflection via mechanized logical deduction

von Cimatti, A.
Veröffentlicht 1993

A logic for acting, sensing and planning

von Traverso, P.
Veröffentlicht 1995

Towards a theory of embedded planning

von Traverso, P.
Veröffentlicht 1993

Program tactics and logic tactics

von Giunchiglia, F.
Veröffentlicht 1993

Biblioteca elettronica e biblioteca virtuale

von Giunchiglia, F.
Veröffentlicht 1995

Planning as tactical reasoning (or:reasoning about failure and success)

von Giunchiglia, F.
Veröffentlicht 1993

Reasoning about acting, sensing and failure handling : a logic for agents embedded in the real world

von Traverso, P.
Veröffentlicht 1996

Planning with failure

von Giunchiglia, F.
Veröffentlicht 1994

A three level architecture for the modular specification of knowledge and reasoning strategies

von DiManzo, M.
Veröffentlicht 1994

Subjective semantics for embedded planning : a preliminary report

von Traverso, P.
Veröffentlicht 1993

Reasoning about acting, sensing and failure handling : a logic for agents embedded in the real world

von Traverso, P.
Veröffentlicht 1995

Formal theories for reactive planning systems : some considerations raised from an experimental application

Veröffentlicht 1996

VNA-BASED BROADBAND EVM MEASUREMENT OF AN RF NONLINEAR PA UNDER LOAD MISMATCH CONDITIONS

von Gibiino, G. P.
Veröffentlicht in IMEKO TC-4 International Symposium (24. : 2020 : Online) 24th IMEKO TC4 International Symposium and 22nd International Workshop on ADC and DAC Modelling and Testing (IMEKO TC-4 2020) (2021)

DIGITAL POST-DISTORTION OF AN ADC ANALOG FRONT-END FOR GAMMA SPECTROSCOPY MEASUREMENTS

von Kowalski, T.
Veröffentlicht in IMEKO TC-4 International Symposium (24. : 2020 : Online) 24th IMEKO TC4 International Symposium and 22nd International Workshop on ADC and DAC Modelling and Testing (IMEKO TC-4 2020) (2021)