The following pages link to Katsumi Inoue (Q374190):
Displaying 50 items.
- Completing causal networks by meta-level abduction (Q374193) (← links)
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Constraint-based probabilistic modeling for statistical abduction (Q413868) (← links)
- Inverse subsumption for complete explanatory induction (Q439023) (← links)
- Incorporating top-down information into bottom-up hypothetical reasoning (Q688821) (← links)
- Speculative computation through consequence-finding in multi-agent environments (Q702112) (← links)
- Limit sets of geometrically finite free Kleinian groups (Q792495) (← links)
- Logic programming in tensor spaces (Q825007) (← links)
- Reconsideration of circumscriptive induction with pointwise circumscription (Q833732) (← links)
- Equivalence issues in abduction and induction (Q833733) (← links)
- A competitive and cooperative approach to propositional satisfiability (Q860390) (← links)
- Remarks on the limit sets of Kleinian groups (Q1155753) (← links)
- Linear resolution for consequence finding (Q1199916) (← links)
- Poincaré series for discrete Moebius groups acting on the upper half space (Q1324169) (← links)
- An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
- (Q1589475) (redirect page) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Modeling delayed dynamics in biological regulatory networks from time series data (Q1662593) (← links)
- Coverage-based clause reduction heuristics for CDCL solvers (Q1680252) (← links)
- Inference of delayed biological regulatory networks from time series data (Q1706578) (← links)
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- Computing extended abduction through transaction programs (Q1978011) (← links)
- Learning any memory-less discrete semantics for dynamical systems represented by logic programs (Q2102410) (← links)
- Learning from interpretation transition using differentiable logic programming semantics (Q2127221) (← links)
- Inductive learning from state transitions over continuous domains (Q2226624) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- Learning from interpretation transition (Q2251449) (← links)
- Ordering argumentation frameworks (Q2297754) (← links)
- Catnap: generating test suites of constrained combinatorial testing with answer set programming (Q2401942) (← links)
- Identification of biological regulatory networks from process hitting models (Q2513608) (← links)
- Reproducible efficient parallel SAT solving (Q2661341) (← links)
- Gradient-based supported model computation in vector spaces (Q2694583) (← links)
- (Q2761046) (← links)
- (Q2767098) (← links)
- Learning Inference by Induction (Q2827477) (← links)
- (Q2844932) (← links)
- Encoding Higher Level Extensions of Petri Nets in Answer Set Programming (Q2851238) (← links)
- Characterization Theorems for Revision of Logic Programs (Q2851279) (← links)
- Analyzing Pathways Using ASP-Based Approaches (Q2889709) (← links)
- Oscillating Behavior of Logic Programs (Q2900531) (← links)
- A BDD-Based Algorithm for Learning from Interpretation Transition (Q2943879) (← links)
- Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation (Q2999147) (← links)
- Abduction of distributed theories through local interactions (Q2999224) (← links)
- Query-Driven Coordination of Multiple Answer Sets (Q2999236) (← links)
- Exploring Relations between Answer Set Programs (Q3001915) (← links)
- (Q3005898) (← links)
- Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction (Q3007598) (← links)
- Probabilistic Rule Learning in Nonmonotonic Domains (Q3092307) (← links)
- A fixpoint characterization of abductive logic programs (Q3129498) (← links)
