The following pages link to Nicola Leone (Q202113):
Displaying 50 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- (Q632804) (redirect page) (← links)
- On the complexity of regular-grammars with integer attributes (Q632805) (← links)
- Hypertree decompositions and tractable queries (Q696962) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Weighted hypertree decompositions and optimal query plans (Q878759) (← links)
- Magic Sets and their application to data integration (Q882436) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Safe computation of the well-founded semantics of datalog queries (Q1198101) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- Succinctness as a source of complexity in logical formalisms (Q1302307) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- On the partial semantics for disjunctive deductive databases (Q1370627) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. (Q1401972) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- A comparison of structural CSP decomposition methods (Q1589639) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Enhancing model checking in verification by AI techniques (Q1606310) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Semantics and expressiveness of disjunctive ordered logic (Q1978010) (← links)
- An ASP-based framework for the manipulation of articulated objects using dual-arm robots (Q2326711) (← links)
- Evaluation of disjunctive programs in WASP (Q2326731) (← links)
- Enhancing DLV for large-scale reasoning (Q2326744) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- The ASP system DLV2 (Q2401936) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- (Q2734932) (← links)
- (Q2767106) (← links)
- (Q2880785) (← links)
- Look-back Techniques for ASP Programs with Aggregates (Q2895770) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524) (← links)
- Modular Paracoherent Answer Sets (Q2938513) (← links)
- Census Data Repair: A Challenging Application of Disjunctive Logic Programming (Q2996194) (← links)
- Dynamic Magic Sets for Programs with Monotone Recursive Aggregates (Q3003251) (← links)
- (Q3100241) (← links)
- (Q3112638) (← links)
- A language for updating logic programs and its implementation (Q3125091) (← links)
- Stable models and their computation for logic programming with inheritance and true negation (Q3129493) (← links)
- The complexity of acyclic conjunctive queries (Q3196620) (← links)
- OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265) (← links)
- Advances in WASP (Q3449189) (← links)
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers (Q3527695) (← links)
- Design and implementation of aggregate functions in the DLV system (Q3546036) (← links)
- Second order logic and the weak exponential hierarchies (Q3569000) (← links)
- Answer Set Programming (Q3578395) (← links)