Следене
Vladimir Lifschitz
Vladimir Lifschitz
Потвърден имейл адрес: cs.utexas.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
The stable model semantics for logic programming.
M Gelfond, V Lifschitz
ICLP/SLP 88, 1070-1080, 1988
53241988
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz
New generation computing 9, 365-385, 1991
30621991
Logic programs with classical negation
M Gelfond
Proceedings of 7th International Conference on Logic Programming, 579-597, 1990
8661990
Answer set programming
V Lifschitz
Springer, 2019
8052019
Handbook of knowledge representation
F Van Harmelen, V Lifschitz, B Porter
Elsevier, 2008
7822008
Representing action and change by logic programs
M Gelfond, V Lifschitz
The Journal of Logic Programming 17 (2-4), 301-321, 1993
7501993
Computing circumscription.
V Lifschitz
IJCAI 85, 121-127, 1985
6901985
Action languages
M Gelfond, V Lifschitz
Linköping University Electronic Press, 1998
6781998
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
6292001
Answer set programming and plan generation
V Lifschitz
Artificial Intelligence 138 (1-2), 39-54, 2002
6052002
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5792004
Splitting a logic program.
V Lifschitz, H Turner
ICLP 94, 23-37, 1994
5021994
Answer set planning
V Lifschitz
Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 1999
4591999
On the semantics of STRIPS
V Lifschitz
Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987
4481987
Circumscription
V Lifschitz
Handbook of logic in artificial intelligence and logic programming (vol. 3 …, 1994
3791994
Nested expressions in logic programs
V Lifschitz, LR Tang, H Turner
Annals of Mathematics and Artificial Intelligence 25, 369-389, 1999
3651999
Formal theories of action
V Lifschitz
The frame problem in Artificial Intelligence, 35-57, 1987
3601987
Pointwise circumscription
V Lifschitz
Readings in nonmonotonic reasoning, 179-193, 1987
3051987
Formalizing common sense
J McCarthy
Intellect Books, 1990
2931990
Formalizing common sense
J McCarthy
Intellect Books, 1990
2931990
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20