A resolution principle for constrained logics

DOI10.1016/0004-3702(94)90027-2MaRDI QIDQ1327159zbMATH OpenOpenAlexFDO

Authors Hans-Jürgen Bürckert

Publication date 15 June 1994

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(94)90027-2

zbMATH Keywords

constrained logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 7680806
• A resolution principle for a logic with restricted quantifiers
• Publication:4503913
• scientific article; zbMATH DE number 1761416
• On Skolemization in constrained logics

Cites work

• scientific article; zbMATH DE number 417880 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4155934 (Why is no real title available?)
• scientific article; zbMATH DE number 4164128 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 3986668 (Why is no real title available?)
• scientific article; zbMATH DE number 3986672 (Why is no real title available?)
• scientific article; zbMATH DE number 4049131 (Why is no real title available?)
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 4072435 (Why is no real title available?)
• scientific article; zbMATH DE number 4089518 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 43237 (Why is no real title available?)
• scientific article; zbMATH DE number 44853 (Why is no real title available?)
• scientific article; zbMATH DE number 140385 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3349331 (Why is no real title available?)
• scientific article; zbMATH DE number 3349332 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• scientific article; zbMATH DE number 7680806 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A resolution principle for a logic with restricted quantifiers
• A theory of restricted quantification I
• An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
• Another Generalization of Resolution
• Automated deduction by theory resolution
• Computational aspects of an order-sorted logic with term declarations
• Equality, types, modules, and (why not?) generics for logic programming
• Investigations in many-sorted quantor logic
• Link inheritance in abstract clause graphs
• Reasoning and revision in hybrid representation systems
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• Unification: a multidisciplinary survey

Cited in

(23)

• Connection calculus theorem proving with multiple built-in theories
• Combining Horn rules and description logics in CARIN
• A typed resolution principle for deduction with conditional typing theory
• scientific article; zbMATH DE number 5050044 (Why is no real title available?)
• Linear resolution for consequence finding
• On Skolemization in constrained logics
• A resolution principle for a logic with restricted quantifiers
• scientific article; zbMATH DE number 58299 (Why is no real title available?)
• Replacing unification by constraint satisfaction to improve logic program expressiveness
• Constraint solving for proof planning
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• scientific article; zbMATH DE number 1507193 (Why is no real title available?)
• scientific article; zbMATH DE number 77919 (Why is no real title available?)
• Unions of non-disjoint theories and combinations of satisfiability procedures
• Locality transfer: from constrained axiomatizations to reachability predicates
• scientific article; zbMATH DE number 4108722 (Why is no real title available?)
• scientific article; zbMATH DE number 1761416 (Why is no real title available?)
• Resolution principles in possibilistic logic
• Knowledge-based proof planning
• Verification from Declarative Specifications Using Logic Programming
• scientific article; zbMATH DE number 4053070 (Why is no real title available?)
• scientific article; zbMATH DE number 67457 (Why is no real title available?)
• scientific article; zbMATH DE number 7680806 (Why is no real title available?)

Describes a project that uses

Uses Software

• CHIP

This page was built for publication: A resolution principle for constrained logics

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