Concepedia

Dagmar Provijn

DP

Statistics

Publications

4

Citations

88

H-Index

4

Active since

2002

Affiliations

University of the Basque Country(Current)

Dagmar Provijn is an author at University of the Basque Country specializing in automated reasoning, formal methods, and engineering.

Top concepts

Publications per year

2002–2009

4

Publications

4

Pushing the Search Paths in the Proofs. A Study in Proof Heuristics

Diderik Batens, Dagmar Provijn · 2002 · 32 citations

Some adaptive logics for diagnosis

Diderik Batens, Joke Meheus, Dagmar Provijn et al. · Logic and Logical Philosophy · 2003 · 30 citations · Full text

, , +21

An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning

Diderik Batens, Joke Meheus, Dagmar Provijn · Ghent University Academic Bibliography (Ghent University) · 2006 · 15 citations · Full text

, , +13

Abduction through semantic tableaux versus abduction through goal-directed proofs

Joke Meheus, Dagmar Provijn · THEORIA An International Journal for Theory History and Foundations of Science · 2009 · 11 citations · Full text

1–4 of 4