The following pages link to (Q3184604):
Displayed 50 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- A Borda count for collective sentiment analysis (Q314431) (← links)
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Parallel belief revision: revising by sets of formulas (Q420814) (← links)
- Guarantees and limits of preprocessing in constraint satisfaction and reasoning (Q460604) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- A weighted causal theory for acquiring and utilizing open knowledge (Q465606) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- On the tractability of minimal model computation for some CNF theories (Q490649) (← links)
- Modeling time and valuation in structured argumentation frameworks (Q508777) (← links)
- Rational evaluation in belief revision (Q514574) (← links)
- From description-logic programs to multi-context systems (Q516031) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Local search with edge weighting and configuration checking heuristics for minimum vertex cover (Q646517) (← links)
- An enhanced logical benders approach for linear programs with complementarity constraints (Q785626) (← links)
- Non existence of some mixed Moore graphs of diameter 2 using SAT (Q898115) (← links)
- Relevance in belief revision (Q900306) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- The packing while traveling problem (Q1751654) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Qualitative case-based reasoning and learning (Q1989398) (← links)
- Recursive definitions of tabular transformations (Q1995374) (← links)
- SAT and IP based algorithms for magic labeling including a complete search for total magic labelings (Q2018542) (← links)
- Stochastic optimization with adaptive restart: a framework for integrated local and global learning (Q2022223) (← links)
- New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- The aspect calculus (Q2305430) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- Belief base contraction by belief accrual (Q2321321) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) (← links)
- Semi-supervised online structure learning for composite event recognition (Q2425248) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Probability and time (Q2446581) (← links)
- Belief revision in Horn theories (Q2512985) (← links)
- Drawing interactive Euler diagrams from region connection calculus specifications (Q2629218) (← links)
- Evolution of Region Connection Calculus to VRCC-3D+ (Q2815559) (← links)
- The HeKatE methodology. Hybrid engineering of intelligent systems (Q2930572) (← links)
- Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search (Q2938524) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Proof Verification Technology and Elementary Physics (Q3296311) (← links)
- DPLL: The Core of Modern Satisfiability Solvers (Q3305326) (← links)
- Rule-Based Reasoning with Belief Structures (Q3388213) (← links)
- Proving infinitary formulas (Q4593059) (← links)
- Range-based argumentation semantics as two-valued models (Q4593079) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)