Concepedia

Guido Vanackere

GV

6

Publications

110

Citations

6

H-Index

1997

Active since

Affiliations

Ghent University(Current)

Guido Vanackere is an author at Ghent University specializing in automated reasoning, engineering, and verification.

Top concepts

EngineeringAutomated ReasoningSemanticsEpistemologyVerificationFormal MethodsComputer ScienceFormal VerificationLanguageVagueness

Publications per year

1997–2005

6

Publications

6

Minimizing Ambiguity and Paraconsistency.

Guido Vanackere · Ghent University Academic Bibliography (Ghent University) · 1999 · 30 citations

Ambiguity-adaptive Logic

Guido Vanackere · Ghent University Academic Bibliography (Ghent University) · 1997 · 30 citations

Socratic Proofs and Paraconsistency: A Case Study

Andrzej Wiśniewski, Guido Vanackere, Dorota Leszczyńska-Jasion · Studia Logica · 2005 · 14 citations

Engineering, Automated Reasoning, Proof Complexity +4

HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions

Guido Vanackere · Journal of Applied Non-Classical Logics · 2000 · 14 citations · Full text

Paraconsistent Logic, Engineering, Classical Logic +18

Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL

Guido Vanackere · Logic and Logical Philosophy · 2004 · 12 citations · Full text

Non-classical Logic, Engineering, Generalization Results +11

Rows per page

1–5 of 6