Pages that link to "Item:Q3983043"

The following pages link to Classical negation in logic programs and disjunctive databases (Q3983043):

Displaying 50 items.

• Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
• <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> (Q4593060) (← links)
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
• Consistency and trust in peer data exchange systems (Q4593083) (← links)
• <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
• CASP solutions for planning in hybrid domains (Q4593097) (← links)
• An application of answer set programming to the field of second language acquisition (Q4601065) (← links)
• Stepwise debugging of answer-set programs (Q4603428) (← links)
• Modular Nonmonotonic Logic Programming Revisited (Q4649729) (← links)
• Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
• (Q4870572) (← links)
• (Q4955338) (← links)
• Inlining External Sources in Answer Set Programs (Q4957183) (← links)
• Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
• Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
• The External Interface for Extending WASP (Q4957194) (← links)
• ASP-Core-2 Input Language Format (Q4957196) (← links)
• Solving Advanced Argumentation Problems with Answer Set Programming (Q4957200) (← links)
• selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
• Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
• Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
• Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
• Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Q5019600) (← links)
• A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction (Q5019604) (← links)
• Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming (Q5019605) (← links)
• (Q5020544) (← links)
• (Q5020551) (← links)
• (Q5020982) (← links)
• (Q5020987) (← links)
• Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
• A Neuro-Symbolic ASP Pipeline for Visual Question Answering (Q5038475) (← links)
• The complexity class θp2: Recent results and applications in AI and modal logic (Q5055917) (← links)
• Default Negation as Explicit Negation plus Update (Q5059691) (← links)
• A terminological interpretation of (abductive) logic programming (Q5101438) (← links)
• Update rules in datalog programs (Q5101442) (← links)
• Characterizations of the stable semantics by partial evaluation (Q5101443) (← links)
• Loop checking and the well-founded semantics (Q5101446) (← links)
• On the extension of logic programming with negation through uniform proofs (Q5101453) (← links)
• Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
• Stable classes and operator pairs for disjunctive programs (Q5101462) (← links)
• Nonmonotonicity and answer set inference (Q5101463) (← links)
• Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
• Paracoherent Answer Set Semantics meets Argumentation Frameworks (Q5108496) (← links)
• Beyond NP: Quantifying over Answer Sets (Q5108497) (← links)
• Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
• Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
• About Epistemic Negation and World Views in Epistemic Logic Programs (Q5108503) (← links)
• On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
• Partial Compilation of ASP Programs (Q5108506) (← links)