The following pages link to Victor W. Marek (Q388663):
Displaying 33 items.
- (Q5181691) (← links)
- (Q5183525) (← links)
- Infinitary default logic for specification of nonmonotonic reasoning (Q5236436) (← links)
- Zdzisław Pawlak, Databases and Rough Sets (Q5245177) (← links)
- Index Sets for Finite Normal Predicate Logic Programs with Function Symbols (Q5283418) (← links)
- Theory and Applications of Satisfiability Testing (Q5325846) (← links)
- Rough Sets and Matroids (Q5403046) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424871) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424872) (← links)
- Compactness Properties for Stable Semantics of Logic Programs (Q5434521) (← links)
- (Q5445168) (← links)
- Logic programs with monotone abstract constraint atoms (Q5451971) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473961) (← links)
- (Q5498680) (← links)
- Quo Vadis Answer Set Programming? (Q5504648) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- Approximation Schemes in Logic and Artificial Intelligence (Q5505446) (← links)
- (Q5519151) (← links)
- (Q5519153) (← links)
- (Q5525362) (← links)
- (Q5537412) (← links)
- (Q5538941) (← links)
- (Q5557921) (← links)
- (Q5594596) (← links)
- (Q5600857) (← links)
- (Q5650393) (← links)
- (Q5655358) (← links)
- (Q5668479) (← links)
- (Q5672898) (← links)
- (Q5675718) (← links)
- (Q5676215) (← links)
- (Q5677483) (← links)
- Logic programming revisited (Q5738920) (← links)
