Pages that link to "Item:Q5458423"
From MaRDI portal
The following pages link to Model-Based Knowledge Representation and Reasoning Via Answer Set Programming (Q5458423):
Displaying 6 items.
- (Q3011302) (← links)
- Model-Baded Abduction via Dual Resolution (Q3411856) (← links)
- (Q4014095) (← links)
- A knowledge-based approach to the generation of IDEF0 models (Q4252125) (← links)
- An Incremental Answer Set Programming Based System for Finite ModelComputation (Q4930763) (← links)
- (Q5740450) (← links)