Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author exact 801001769194 cql: author exact 001996282127 Add to list Journal Article A1 open access Abduction through semantic tableaux versus abduction through goal-directed proofs. Joke Meheus (UGent) and Dagmar Provijn (UGent) (2007) THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA. 22(3). p.295-304 Add to list Miscellaneous open access An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning Diderik Batens (UGent) , Joke Meheus (UGent) and Dagmar Provijn (UGent) (2006) Add to list Journal Article A2 Direct dynamic proofs for classical compatibility Dagmar Provijn (UGent) and Joke Meheus (UGent) (2004) LOGIQUE ET ANALYSE. 185-188. p.305-317 Add to list Journal Article A2 Some Adaptive Logics for Diagnosis Diderik Batens (UGent) , Joke Meheus (UGent) , Dagmar Provijn (UGent) and Liza Verhoeven (UGent) (2003) LOGIC AND LOGICAL PHILOSOPHY. 11/12. p.39-65 Add to list Conference Paper P1 Ampliative adaptive logics and the foundation of logic-based approaches to abduction Joke Meheus (UGent) , Liza Verhoeven, Maarten Van Dyck (UGent) and Dagmar Provijn (UGent) (2002) APPLIED LOGIC SERIES. 25. p.39-71