Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: On the Synthesis of Finite-State Machines from Samples of Their Behavior / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5398039 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic learning theory. 23rd international conference, ALT 2012, Lyon, France, October 29--31, 2012. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Detection and exploitation of functional dependencies for model generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lazy Model Expansion by Incremental Grounding / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Tarskian Informal Semantics for Answer Set Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic of nonmonotone inductive definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4246955 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2917447 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory and Applications of Satisfiability Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday / rank
 
Normal rank
Property / cites work
 
Property / cites work: Essence: A constraint language for specifying combinatorial problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of automaton identification from given data / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Itemset mining: a constraint programming perspective / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exact DFA Identification Using SAT Solvers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4051550 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The DLV system for knowledge representation and reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The design of the zinc modelling language / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of type polymorphism in programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving SAT and SAT Modulo Theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-founded and stable semantics of logic programs with aggregates / rank
 
Normal rank
Property / cites work
 
Property / cites work: XSB: Extending Prolog with Tabled Logic Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4800171 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The well-founded semantics for general logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraint Propagation for First-Order Logic and Inductive Definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Grounding FO and FO(ID) with Bounds / rank
 
Normal rank

Revision as of 16:25, 14 July 2024

scientific article; zbMATH DE number 6804573
Language Label Description Also known as
English
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i>
scientific article; zbMATH DE number 6804573

    Statements

    Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    9 November 2017
    0 references
    knowledge representation
    0 references
    declarative modeling
    0 references
    logic programming
    0 references
    knowledge-base systems
    0 references
    IDP system
    0 references
    stemmatology
    0 references
    phylogenetic tree
    0 references
    deterministic finite-state automaton
    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

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references