An Algebraic Approach for Action Based Default Reasoning von Castro, Pablo F., Cassano, Valentin, Fervari, Raul, Areces, Carlos

Volltext

Actions and Events in Concurrent Systems Design von Cassano, Valentin, Maibaum, Thomas S. E.

Volltext

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules von Cassano, Valentín, Pombo, Carlos Gustavo Lopez, Maibaum, Thomas S. E.

Volltext

Algebraic tools for default modal systems von Cassano, Valentin, Fervari, Raul, Areces, Carlos, Castro, Pablo F

Volltext

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case von Cassano, Valentín, Maibaum, Thomas S. E., Grigorova, Silviya

Volltext

Non-monotonic Reasoning via Dynamic Consequence von Areces, Carlos, Cassano, Valentin, Fervari, Raul

Volltext

Data Graphs with Incomplete Information (and a Way to Complete Them) von Areces, Carlos, Cassano, Valentin, Dutto, Danae, Fervari, Raul

Volltext

A Tableaux Calculus for Default Intuitionistic Logic von Cassano, Valentin, Fervari, Raul, Hoffmann, Guillaume, Areces, Carlos, Castro, Pablo F.

Volltext

Default Modal Systems as Algebraic Updates von Cassano, Valentin, Fervari, Raul, Areces, Carlos, Castro, Pablo F.

Volltext

Data-Aware Hybrid Tableaux von Areces, Carlos, Cassano, Valentin, Fervari, Raul

Volltext bestellen

Interpolation and Beth Definability in Default Logics von Cassano, Valentin, Fervari, Raul, Areces, Carlos, Castro, Pablo F.

Volltext

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem von Areces, Carlos, Cassano, Valentin, Castro, Pablo F., Fervari, Raul, Saravia, Andrés R.

Volltext

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem von Areces, Carlos, Cassano, Valentin, Fervari, Raul, Castro, Pablo, Saravia, Andres

Volltext bestellen

Data-Aware Hybrid Tableaux von Areces, Carlos, Cassano, Valentin, Fervari, Raul

Volltext

An Algebraic Approach for Action Based Default Reasoning von Castro, Pablo F, Cassano, Valentin, Fervari, Raul, Areces, Carlos

Volltext

Actions and Events in Concurrent Systems Design von Cassano, Valentin, Maibaum, Thomas S E

Volltext

Glossary of terms used in photocatalysis and radiation catalysis (IUPAC Recommendations 2011) von Braslavsky, Silvia E., Braun, André M., Cassano, Alberto E., Emeline, Alexei V., Litter, Marta I., Palmisano, Leonardo, Parmon, Valentin N., Serpone, Nick

Volltext

Global exposure of population and land-use to meteorological droughts under different Warming Levels and Shared Socioeconomic Pathways: A Coordinated Regional Climate Downscaling E... von Spinoni, Jonathan, Barbosa, Paulo, Bucchignani, Edoardo, Cassano, John, Cavazos, Tereza, Cescatti, Alessandro, Christensen, Jens Hesselbjerg, Christensen, Ole Bossing, Coppola, Erika, Evans, Jason, Forzieri, Giovanni, Geyer, Beate, Giorgi, Filippo, Jacob, Daniela, Katzfey, Jack, Koenigk, Torben, Laprise, Rene, Lennard, Christopher John, Levent Kurnaz, M., Li, Delei, Llopart, Marta, McCormick, Niall, Naumann, Gustavo, Nikulin, Grigory, Ozturk, Tugba, Panitz, Hans-Jurgen, da Rocha, Rosmeri Porfirio, Solman, Silvina Alicia, Syktus, Jozef, Tangang, Fredolin, Teichmann, Claas, Vautard, Robert, Vogt, Jurgen Valentin, Winger, Katja, Zittis, George, Dosio, Alessandro

Volltext

Diterpenes from the Brazilian Brown Alga Dictyota Crispata (Dictyotaceae, Phaeophyta) von De-Paula, Joel Campos, Cassano, Valéria, Yoneshigue-Valentin, Yocie, Teixeira, Valéria Laneuville

Volltext