Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-3
|
Results: 3
Semantic forcing in disjunctive logic programs
Authors:
De Vos, M Vermeir, D
Citation:
M. De Vos et D. Vermeir, Semantic forcing in disjunctive logic programs, COMPUT INTE, 17(4), 2001, pp. 651-684
A universal fixpoint semantics for ordered logic
Authors:
Laenens, E Vermeir, D
Citation:
E. Laenens et D. Vermeir, A universal fixpoint semantics for ordered logic, COMPUT A IN, 19(3), 2000, pp. 221-254
Defeasible logics
Authors:
Geerts, P Laenens, E Vermeir, D
Citation:
P. Geerts et al., Defeasible logics, HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS, VOL 2, 1998, pp. 175-210
Risultati:
1-3
|