Representing and building models for decidable subclasses of equational clausal logic (Q861367): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(8 intermediate revisions by 6 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10817-004-5555-7 / rank
Normal rank
 
Property / author
 
Property / author: Nicolas Peltier / rank
Normal rank
 
Property / author
 
Property / author: Nicolas Peltier / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: SATCHMO / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: SPASS / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10817-004-5555-7 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1968211553 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751360 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rewrite-based Equational Theorem Proving with Selection and Simplification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hyper Tableaux with Equality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positive unit hyperresolution tableaux and their application to minimal model generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete axiomatizations of some quotient term algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equational formulae with membership constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the duality of abduction and model generation in a framework for model generation with equality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3905252 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hyperresolution and automated model building / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision procedures and model building in equational clause logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution methods for the decision problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2767012 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751377 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3996619 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4809060 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hyperresolution for guarded formulae / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving refutational completeness of theorem-proving strategies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263163 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using resolution for testing modal satisfiability and building models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution Strategies as Decision Procedures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5581665 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3142019 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4331764 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4139711 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3821629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Efficient Unification Algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the decidability of the PVD class with equality / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus combining resolution and enumeration for building finite models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4430633 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model building with ordered resolution: Extracting models from saturated clause sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Resolution-based Model Building Algorithm for a Fragment of OCC1N = / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: SHR Tableaux -- A Framework for Automated Model Generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic Theorem Proving With Renamable and Semantic Resolution / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10817-004-5555-7 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 05:48, 10 December 2024

scientific article
Language Label Description Also known as
English
Representing and building models for decidable subclasses of equational clausal logic
scientific article

    Statements

    Representing and building models for decidable subclasses of equational clausal logic (English)
    0 references
    29 January 2007
    0 references
    resolution
    0 references
    model building
    0 references
    decision procedure
    0 references
    model representation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers