Search Results - PROVIJN, Dagmar

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Abduction through semantic tableaux versus abduction through goal-directed proofs

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

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The generation of abductive explanations from inconsistent theories

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs

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

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    DIRECT DYNAMIC PROOFS FOR CLASSICAL COMPATIBILITY

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

    Published in Logique et analyse
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    PUSHING THE SEARCH PATHS IN THE PROOFS. A STUDY IN PROOF HEURISTICS

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

    Published in Logique et analyse
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    A FORMAL ANALYSIS OF DIAGNOSIS AND DIAGNOSTIC REASONING

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

    Published in Logique et analyse
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    On Atocha Aliseda Abductive reasoning

    On Atocha Aliseda Abductive reasoning by 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

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: