The following pages link to (Q4285787):
Displaying 26 items.
- Preferences in artificial intelligence (Q314443) (← links)
- Semantic information and the correctness theory of truth (Q535391) (← links)
- A non-ground realization of the stable and well-founded semantics (Q671655) (← links)
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- On first-order conditional logics (Q1274556) (← links)
- A simple propositional \(\text{S}5\) tableau system (Q1295438) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Superposition with completely built-in abelian groups (Q1432887) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Practically useful variants of definitional translations to normal form (Q1854384) (← links)
- Nested abnormality theories (Q1855215) (← links)
- Functional queries in datalog (Q1862647) (← links)
- Best solving modal equations (Q1971794) (← links)
- Heterogeneous active agents. III: Polynomially implementable agents (Q1978315) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)
- First order LUB approximations: characterization and algorithms (Q2457687) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Martin Davis’s Bibliography 1950–2015 (Q3305330) (← links)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis (Q4467046) (← links)
- On equality up-to constraints over finite trees, context unification, and one-step rewriting (Q5234685) (← links)