Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Turner, Hudson"'
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
Autor:
Turner, Hudson
Publikováno v:
Theory and Practice of Logic Programming, vol 3 (4&5), pages 609-622, 2003
Logic programs P and Q are strongly equivalent if, given any program R, programs P union R and Q union R are equivalent (that is, have the same answer sets). Strong equivalence is convenient for the study of equivalent transformations of logic progra
Externí odkaz:
http://arxiv.org/abs/cs/0312029
Autor:
Turner, Hudson
Some normal logic programs under the answer set (stable model) semantics lack the appealing property of "cautious monotonicity." That is, augmenting a program with one of its consequences may cause it to lose another of its consequences. The syntacti
Externí odkaz:
http://arxiv.org/abs/cs/0011042
Publikováno v:
In Artificial Intelligence 2004 153(1):49-104
Publikováno v:
In Artificial Intelligence 2004 153(1):105-140
Publikováno v:
Mediation Quarterly. 16:287-301
Although stage models of mediation have dominated theory and practice in mediation, several aspects of mediation practice are not fully consistent with a stage model. This article makes explicit several stage model anomalies and offers an alternative
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::70f11983ce250760dc030a66c333d99f
https://doi.org/10.1002/crq.3890160307
https://doi.org/10.1002/crq.3890160307
Autor:
Lifschitz, Vladimir, Turner, Hudson
Publikováno v:
Logic Programming (9780262257145); 1994, p23-37, 15p
Autor:
McCain, Norman, Turner, Hudson
Publikováno v:
Logic Programming (9780262257145); 1994, p38-57, 20p