scientific article; zbMATH DE number 534879

MaRDI QIDQ4285787zbMATH OpenFDO

Authors

Publication date 20 March 1994

zbMATH Keywords

Artificial intelligencecomputational modelsdeduction methodsdeduction systemsfirst-order modal logicHorn clausesLogicLogic programmingLogical foundationsresolution calculusterm rewriting systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 592368
• scientific article; zbMATH DE number 46019
• Handbook of philosophical logic. Vol. 1.
• Handbook of automated reasoning. In 2 vols
• scientific article; zbMATH DE number 783780

Cited in

(32)

• Programming in metric temporal logic
• On first-order conditional logics
• A simple propositional \(\text{S}5\) tableau system
• Buchberger's algorithm: The term rewriter's point of view
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Superposition with completely built-in abelian groups
• EXPtime tableaux for ALC
• Logic programming and knowledge representation---The A-Prolog perspective
• Practically useful variants of definitional translations to normal form
• Nested abnormality theories
• Functional queries in datalog
• Handbook of philosophical logic. Vol. 9
• Best solving modal equations
• Heterogeneous active agents. III: Polynomially implementable agents
• The Došen square under construction: a tale of four modalities
• Algebraic modal correspondence: Sahlqvist and beyond
• On the existence of free models in fuzzy universal Horn classes
• First order LUB approximations: characterization and algorithms
• Partition-based logical reasoning for first-order and propositional theories
• Shallow confluence of conditional term rewriting systems
• Preferences in artificial intelligence
• Martin Davis’s Bibliography 1950–2015
• scientific article; zbMATH DE number 5539366 (Why is no real title available?)
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
• scientific article; zbMATH DE number 783780 (Why is no real title available?)
• On equality up-to constraints over finite trees, context unification, and one-step rewriting
• Semantic information and the correctness theory of truth
• Handbook of philosophical logic. Vol. 1.
• Backward reasoning in systems with cut
• A non-ground realization of the stable and well-founded semantics
• The multiple facets of the canonical direct unit implicational basis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4285787)