Sound and E cient Closed-World Reasoning for Planning Technical Report 95-02-02

@inproceedings{Etzioni2013SoundAE,
  title={Sound and E cient Closed-World Reasoning for Planning Technical Report 95-02-02},
  author={Oren Etzioni and Keith Golden and Daniel S. Weld},
  year={2013}
}
Closed-world reasoning is the process of inferring that a logical sentence is false based on its absence from a knowledge base, or the inability to derive it. Previous work on circumscription, autoepistemic logic, and database theory has explored logical axiomatizations of closed-world reasoning, and investigated computational tractability for propositional theories. Work in planning has traditionally made the closed world assumption but has avoided closed-world reasoning. We take a middle… CONTINUE READING

Figures from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 49 REFERENCES

A Softbot-Based Interface to the Internet

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Intelligence without Robots: A Reply to Brooks

  • AI Magazine
  • 1993
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

On the use of an extended relational model to handle changing incomplete information

A. Keller, M.Wilkins
  • IEEE Transactions on Software Engineering,
  • 1985
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Finding All of the Solutions to a Problem

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…