5 found
  1. On Abstract Modular Inference Systems and Solvers.Yuliya Lierler & Miroslaw Truszczynski - 2016 - Artificial Intelligence 236 (C):65-89.
  2. Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.Miroslaw Truszczyński - 2010 - Artificial Intelligence 174 (16-17):1285-1306.
  3. Logic Programs with Abstract Constraint Atoms: The Role of Computations.Lengning Liu, Enrico Pontelli, Tran Cao Son & Miroslaw Truszczyński - 2010 - Artificial Intelligence 174 (3-4):295-315.
  4.  18
    A Logical Framework for View Updating in Indefinite Databases.Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczyński & Ester Zumpano - 2019 - Logic Journal of the IGPL 27 (6):777-811.
    This paper introduces and studies a declarative framework for updating views over indefinite databases. An indefinite database is a database with null values that are represented, following the standard database approach, by a single null constant. Typically a database is represented by a single set of facts $D$ that model what is known to be true. This paper proposes a model of an indefinite extensional database that is more expressive with respect to the closed-world assumption adapted for the setting of (...)
    Direct download (3 more)  
    Export citation  
  5.  2
    New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.Giovanni Amendola, Francesco Ricca & Miroslaw Truszczynski - 2020 - Artificial Intelligence 279 (C):103185.
    Direct download (2 more)  
    Export citation