Monotonic Solution of the Frame Problem in the Situation Calculus: an Eecient Method for Worlds with Fully Speciied Actions, Knowledge Representation 8 Comparison and Discussion Non-atomic Actions in the Situation Calculus ?

@inproceedings{Reasoning1995MonotonicSO,
  title={Monotonic Solution of the Frame Problem in the Situation Calculus: an Eecient Method for Worlds with Fully Speciied Actions, Knowledge Representation 8 Comparison and Discussion Non-atomic Actions in the Situation Calculus ?},
  author={Defeasible Reasoning and H E Kyberg and Ronald Prescott Loui and Greg N. Carlson and References Alferes and Renwei Li and Lu{\'i}s Moniz Pereira and Jos E J Ulio Alferes and Lu and Moniz Pereira},
  year={1995}
}
  • Defeasible Reasoning, H E Kyberg, +7 authors Moniz Pereira
  • Published 1995
This article was processed using the L a T E X macro package with LLNCS style are independent of each other. For example, the eeect of SwitchonjjOpendoor is the net aggregation of eeects of Switchon and Opendoor. When subactions are independent of each other, both 2] and our default rules can achieve the same conclusions. When subactions are dependent on each other, some eeect descriptions of concurrent actions can be omitted by use of our default rules and some cannot, as shown before. In the… CONTINUE READING

Similar Papers

Loading similar papers…