Pages that link to "Item:Q2931266"

The following pages link to Vicious Circle Principle and Logic Programs with Aggregates (Q2931266):

Displaying 22 items.

• Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
• Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
• Complexity results for probabilistic answer set programming (Q2302961) (← links)
• P-log: refinement and a new coherency condition (Q2317975) (← links)
• Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
• Shared aggregate sets in answer set programming (Q4559794) (← links)
• Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
• Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates (Q4592728) (← links)
• Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
• Complexity and compilation of GZ-aggregates in answer set programming (Q4592998) (← links)
• Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
• <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> (Q4593060) (← links)
• ASP-Core-2 Input Language Format (Q4957196) (← links)
• (Q5020979) (← links)
• Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
• Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
• Relating Two Dialects of Answer Set Programming (Q5108518) (← links)
• ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
• A compositional typed higher-order logic with definitions (Q5240216) (← links)
• Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
• Logic, accountability and design (extended abstract) (Q6545520) (← links)