Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Palla, Ravi"'
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lee, Joohyung, Palla, Ravi
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 43, pages 571-620, 2012
Circumscription and logic programs under the stable model semantics are two well-known nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus, the event calculus and tempor
Externí odkaz:
http://arxiv.org/abs/1401.4607
Publikováno v:
Genetic Programming Theory & Practice XIII; 2016, p117-135, 19p
Publikováno v:
International Journal of Measurement Technologies and Instrumentation Engineering (IJMTIE); July 2018, Vol. 7 Issue: 2 p50-58, 9p
Publikováno v:
2014 IEEE International Conference on Semantic Computing; 2014, p92-95, 4p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lee, Joohyung, Palla, Ravi
Publikováno v:
Logic Programming & Nonmonotonic Reasoning (9783642042379); 2009, p515-521, 7p