Pages that link to "Item:Q2359449"
From MaRDI portal
The following pages link to Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings (Q2359449):
Displaying 5 items.
- Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (Q4559805) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning (Q6602216) (← links)
- Refining the semantics of epistemic specifications (Q6647309) (← links)
