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)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← 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)
- Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
- Transforming gringo rules into formulas in a natural way (Q2055818) (← links)
- On the relationship between the complexity of decidability and decomposability of first-order theories (Q2062094) (← links)
- New records of pre-image search of reduced SHA-1 using SAT solvers (Q2079908) (← links)
- Possible models computation and revision -- a practical approach (Q2096456) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Careful synchronization of partial deterministic finite automata (Q2170286) (← links)
- Some thoughts on knowledge-enhanced machine learning (Q2237522) (← links)
- Paracoherent answer set computation (Q2238696) (← 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)