Zobrazeno 1 - 10
of 5 717
pro vyhledávání: '"Lifschitz"'
Autor:
O'Byrne, Martin, Kerzabi, Badre, Abbarchi, Marco, Lifschitz, Alejo, Zamora, Tony, Malgras, Victor, Gourdin, Anthony, Modaresialam, Mehrnaz, Grosso, David, Putero, Magali
Publikováno v:
Thin Solid Films, 2024, 790, pp.140193
This work describes the elaboration of rutile titanium dioxide films with high refractive indices and low scattering by sol-gel process and controlled crystallization. The evolutions of the optical properties and crystalline structure of sol-gel proc
Externí odkaz:
http://arxiv.org/abs/2410.13324
Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding -- to the variable-fr
Externí odkaz:
http://arxiv.org/abs/2307.09166
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being "true" and being "caused", as in the system of causal logic introduced by McCain and Turner and in the
Externí odkaz:
http://arxiv.org/abs/2307.10227
Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assistant for the task of verifying that
Externí odkaz:
http://arxiv.org/abs/2305.17485
Autor:
Lifschitz, Vladimir
This paper describes a generalization of Clark's completion that is applicable to logic programs containing arithmetic operations and produces syntactically simple, natural looking formulas. If a set of first-order axioms is equivalent to the complet
Externí odkaz:
http://arxiv.org/abs/2305.15360
Autor:
Fandinno, Jorge, Lifschitz, Vladimir
Theory of stable models is the mathematical basis of answer set programming. Several results in that theory refer to the concept of the positive dependency graph of a logic program. We describe a modification of that concept and show that the new und
Externí odkaz:
http://arxiv.org/abs/2207.08579