Dirk Van Heule

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

2 Dirk Van Heule, Albert Hoogewijs: Automated Reasoning with Ordinary Assertions and Default Assumptions. ISMVL 2001: 193-

1999

1 Dirk Van Heule, Albert Hoogewijs, Noemie Slaats: The Non-Definedness Notion in Expert Systems. Inf. Sci. 114(1-4): 53-62 (1999)

	2001
2		Dirk Van Heule, Albert Hoogewijs: Automated Reasoning with Ordinary Assertions and Default Assumptions. ISMVL 2001: 193-
	1999
1		Dirk Van Heule, Albert Hoogewijs, Noemie Slaats: The Non-Definedness Notion in Expert Systems. Inf. Sci. 114(1-4): 53-62 (1999)

Coauthor Index