On the Stable Model Semantics of First-Order Formulas with Aggregates (2010)

UTCS Artificial Intelligence |

courses | talks/events | demos | people | projects | publications | software/data | labs | areas | admin |

On the Stable Model Semantics of First-Order Formulas with Aggregates (2010)