scientific article; zbMATH DE number 534879
From MaRDI portal
Publication:4285787
zbMath0808.68027MaRDI QIDQ4285787
No author found.
Publication date: 20 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic programmingArtificial intelligencededuction systemsHorn clausesLogicterm rewriting systemsresolution calculusfirst-order modal logiccomputational modelsLogical foundationsdeduction methods
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Related Items
The Došen square under construction: a tale of four modalities ⋮ Preferences in artificial intelligence ⋮ Buchberger's algorithm: The term rewriter's point of view ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ On the existence of free models in fuzzy universal Horn classes ⋮ Programming in metric temporal logic ⋮ Superposition with completely built-in abelian groups ⋮ Best solving modal equations ⋮ First order LUB approximations: characterization and algorithms ⋮ Partition-based logical reasoning for first-order and propositional theories ⋮ Heterogeneous active agents. III: Polynomially implementable agents ⋮ Martin Davis’s Bibliography 1950–2015 ⋮ A non-ground realization of the stable and well-founded semantics ⋮ Semantic information and the correctness theory of truth ⋮ The multiple facets of the canonical direct unit implicational basis ⋮ Shallow confluence of conditional term rewriting systems ⋮ On first-order conditional logics ⋮ Formal verification of multi-agent systems behaviour emerging from cognitive task analysis ⋮ On equality up-to constraints over finite trees, context unification, and one-step rewriting ⋮ A simple propositional \(\text{S}5\) tableau system ⋮ EXPtime tableaux for ALC ⋮ Practically useful variants of definitional translations to normal form ⋮ Nested abnormality theories ⋮ Functional queries in datalog ⋮ Logic programming and knowledge representation---The A-Prolog perspective