Pages that link to "Item:Q1603731"

The following pages link to Logic programming and knowledge representation---The A-Prolog perspective (Q1603731):

Displaying 38 items.

• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
• Weight constraint programs with evaluable functions (Q645084) (← links)
• \textsc{Argonauts}: a working system for motivated cooperative agents (Q766275) (← links)
• Logic programming with infinite sets (Q812390) (← links)
• Answer set based design of knowledge systems (Q854966) (← links)
• An axiomatic analysis of structured argumentation with priorities (Q899441) (← links)
• Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
• Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
• A solver for QBFs in negation normal form (Q1020501) (← links)
• Set based logic programming (Q1029592) (← links)
• System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases (Q1678418) (← links)
• Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
• Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
• Handling and measuring inconsistency in non-monotonic logics (Q2211858) (← links)
• A general approach to reasoning with probabilities (Q2283285) (← links)
• Strong inconsistency (Q2321259) (← links)
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases (Q2411265) (← links)
• Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524) (← links)
• Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
• Inconsistency Measurement (Q3297796) (← links)
• The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
• The Semantics of Consistency and Trust in Peer Data Exchange Systems (Q3498459) (← links)
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
• Automata and Answer Set Programming (Q3605538) (← links)
• Justifications for logic programs under answer set semantics (Q3612602) (← links)
• Answer Set Programming: A Primer (Q3638997) (← links)
• Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
• Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
• ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
• Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
• The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
• A System Z-like Approach for First-Order Default Reasoning (Q5172608) (← links)
• Parallel instantiation of ASP programs: techniques and experiments (Q5299587) (← links)
• Quo Vadis Answer Set Programming? (Q5504648) (← links)
• Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
• Knowledge graph embedding by logical-default attention graph convolution neural network for link prediction (Q6149533) (← links)