Add to ORKGWe investigate the relationship between rules representing synonymity in nonmonotonic causal logic and in answer set programming. This question is of interest in connection with current work on modular languages for describing actions
AbstractFor many commonsense reasoning tasks associated with action domains, only a relatively simpl...
AbstractFor many commonsense reasoning tasks associated with action domains, only a relatively simpl...
AbstractClark's completion is a simple nonmonotonic formalism and a special case of several nonmonot...
textKnowledge about actions is an important part of commonsense knowledge studied in Artificial Inte...
Nonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal t...
AbstractEven within a single knowledge representation system there are often many different ways to ...
AbstractThe McCain-Turner semantics of causal rules is based on a fixpoint construction similar to t...
AbstractWe propose a novel semantics for logic programs with negation by viewing the application of ...
AbstractWe address the problem of representing common sense knowledge about action domains in the fo...
AbstractWe propose a novel semantics for logic programs with negation by viewing the application of ...
AbstractThe nonmonotonic causal logic defined in this paper can be used to represent properties of a...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
AbstractDescription logic programs (dl-programs) proposed by Eiter et al. constitute an elegant yet ...
AbstractWe address the problem of representing common sense knowledge about action domains in the fo...
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) pr...
AbstractFor many commonsense reasoning tasks associated with action domains, only a relatively simpl...
AbstractFor many commonsense reasoning tasks associated with action domains, only a relatively simpl...
AbstractClark's completion is a simple nonmonotonic formalism and a special case of several nonmonot...
textKnowledge about actions is an important part of commonsense knowledge studied in Artificial Inte...
Nonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal t...
AbstractEven within a single knowledge representation system there are often many different ways to ...
AbstractThe McCain-Turner semantics of causal rules is based on a fixpoint construction similar to t...
AbstractWe propose a novel semantics for logic programs with negation by viewing the application of ...
AbstractWe address the problem of representing common sense knowledge about action domains in the fo...
AbstractWe propose a novel semantics for logic programs with negation by viewing the application of ...
AbstractThe nonmonotonic causal logic defined in this paper can be used to represent properties of a...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
AbstractDescription logic programs (dl-programs) proposed by Eiter et al. constitute an elegant yet ...
AbstractWe address the problem of representing common sense knowledge about action domains in the fo...
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) pr...
AbstractFor many commonsense reasoning tasks associated with action domains, only a relatively simpl...
AbstractFor many commonsense reasoning tasks associated with action domains, only a relatively simpl...
AbstractClark's completion is a simple nonmonotonic formalism and a special case of several nonmonot...