The following pages link to (Q4051550):
Displaying 25 items.
- Mixed logical-linear programming (Q1961464) (← links)
- Symbolic automatic relations and their applications to SMT and CHC solving (Q2145347) (← links)
- Off-line reasoning for on-line efficiency: knowledge bases (Q2171259) (← links)
- Logical reduction of metarules (Q2203321) (← links)
- The fuzzy logic programming language FASILL: design and implementation (Q2206451) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- Making sense of sensory input (Q2238610) (← links)
- Making sense of raw input (Q2238697) (← links)
- Multiple data structuring (Q2432992) (← links)
- E-generalization using grammars (Q2457667) (← links)
- Multimodal logic programming (Q2503328) (← links)
- Epistemology and artificial intelligence (Q2565612) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Answers that Have Integrity (Q3092322) (← links)
- L-CATA: A logic-based expert travel system (Q3354609) (← links)
- Compacting Boolean Formulae for Inference in Probabilistic Logic Programming (Q3449226) (← links)
- Logic and functional programming by retractions (Q3817574) (← links)
- Logic and functional programming by retractions : operational semantics (Q3817575) (← links)
- Concepts and realization of a high-performance data type architecture (Q3936161) (← links)
- Can we transform logic programs into attribute grammars ? (Q3991299) (← links)
- Horn clause computability (Q4132514) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Immediate consequences operator on generalized quantifiers (Q6083146) (← links)
