Abduction through semantic tableaux versus abduction through goal-directed proofs von Meheus, Joke, Provijn, Dagmar

Volltext

The generation of abductive explanations from inconsistent theories von Provijn, D.

Volltext

Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs von Meheus, Joke, Provijn, Dagmar

Volltext

Abduction through semantic tableaux versus abduction through goal-directed proofs von Meheus, Joke, Provijn, Dagmar

Volltext

DIRECT DYNAMIC PROOFS FOR CLASSICAL COMPATIBILITY von PROVIJN, DAGMAR, MEHEUS, JOKE

Volltext

Bloody analogical reasoning von Provijn, Dagmar

Volltext

PUSHING THE SEARCH PATHS IN THE PROOFS. A STUDY IN PROOF HEURISTICS von BATENS, DIDERIK, PROVIJN, DAGMAR

Volltext

A FORMAL ANALYSIS OF DIAGNOSIS AND DIAGNOSTIC REASONING von WEBER, ERIK, PROVIJN, DAGMAR

Volltext

Some adaptive logics for diagnosis von Batens, Diderik, Meheus, Joke, Provijn, Dagmar, Verhoeven, Liza

Volltext

On Atocha Aliseda Abductive reasoning von ALISEDA, Atocha, VAN BENTHEM, Johan, DE DONATO RODRIGUEZ, Xavier, IRANZO, Valeriano, PEREZ RANSANZ, Ana Rosa, MAGNANI, Lorenzo, NEPOMUCENO-FERNANDEZ, Angel, SOLER TOSCANO, Fernando, MEHEUS, Joke, PROVIJN, Dagmar, WOODS, John, PINTO, Silvio, NIINILUOTO, Ilkka

Volltext

ADAPTIVE LOGICS FOR NON-EXPLANATORY AND EXPLANATORY DIAGNOSTIC REASONING von Provijn, Dagmar, Weber, Erik

Volltext

An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning von Batens, Diderik, Meheus, Joke, Provijn, Dagmar

Volltext bestellen

AMPLIATIVE ADAPTIVE LOGICS AND THE FOUNDATION OF LOGIC-BASED APPROACHES TO ABDUCTION von Meheus, Joke, Verhoeven, Liza, Van Dyck, Maarten, Provijn, Dagmar

Volltext