An answer set programming encoding of prioritized removed sets revision: Application to GIS

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 604-616

  Ben Naim, Jonathan ^c   Benferhat, Salem ^b   Papini, Odile ^a   Würbel, Eric ^a  

^a UNIVERSITÉ DE TOULON   (France)

^b UNIVERSITÉ D'ARTOIS   (France)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; ANSWER SET SEMANTICS; BELIEF REVISION; SET REVISION; APPLICATION AREA; LOGIC PROGRAMS; REAL APPLICATIONS; REVISION PROBLEMS; SMODELS SYSTEMS;

ENCODING (SYMBOLS); GEOGRAPHIC INFORMATION SYSTEMS; INFORMATION ANALYSIS; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS; SET THEORY; ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; INFORMATION SYSTEMS; LANDFORMS; LOGIC PROGRAMMING;

LOGIC PROGRAMMING; COMPUTER SYSTEMS PROGRAMMING;

EID: 22944449710     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_50     Document Type: Conference Paper

References (33)

1. S. Benferhat, Cayrol C, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings of IJCAI93, pages 640-645, 1993.
2. S. Benferhat, S. Kaci, D. Leberre, and M. Williams. Weakening Conflicting Information for Iterated Revision and Knowledge Integration. In Proceedings of Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01), pages 109-115, 2001.
3. G. Brewka, I. Niemelä, and M. Truszczynski. Answer Set Optimization. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03), pages 867-872, 2003.
4. P. Cholewinski, V. Marek, A. Mikitiuk, and M. Truszczynski. Computing with default logic. Artificial intelligence, 112:105-146, 1999.
5. S. Coste-Marquis and P. Marquis. Knowledge compilation for circumscription and closedworld reasoning. Logic and Computation, 11:579-607, 2001.
6. J. P. Delgrande, T. Schaub, and H. Tompits. A Framework for Compiling Preferences in Logic Programs. To appear in Theory and Practise of Logic Programming, 2004.
7. N. Eén and N. Sörensson. An Extensible SAT-solver. In Proceedings of 6th International Conference on Theory and Applications of Satisfiability Testing, 2003.
8. T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates and counterfactual. Artificial Intelligence, 57:227-270, 1992.
9. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. the kr system dlv: progress report, comparison and benchmarks. In Proceedings of KR'98, pages 406-417, 1998.
10. R. Fagin, J. D. Ullman, and M. Y. Vardi. On The Semantic of Updates in Databases. In Proceedings of the 2nd ACM Symp. on Principles of Data Base Systems, pages 352-365, 1983.
11. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books. MIT Press, Cambridge, 1988.
12. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the International Conference on Logic Programming, pages 1070-1080, 1988.
13. De Kleer J. Using crude probability estimates to guide diagnosis. Artificial Intelligenc, 45:381-392, 1990.
14. J. De Kleer. An assumption-based TMS. Artificial Intelligence, 28:127-162, 1986.
15. D. Lehmann. Belief revision revisited. In Proceedings of 14th Int. Joint Conference on Artificial Intelligence, pages 1534-1539, 1995.
16. Paolo Liberatore and Marco Schaerf. The complexity of model checking for belief revision and update. In AAAI'96, pages 556-561, 1996.
17. T. Linke. More on nomore. In Proceedings of NMR'02, 2002.
18. P. Marquis and N. Porquet. Resource-bounded paraconsistent inference. Annals of Mathematics and Artificial Intelligence, 39:349-384, 2003.
19. I. Niemelä. Logic programs with stable semantics as a constraint programming paradigm. In Proceedings of the workshop on computational Aspect of Non Monotonic Reasoning, pages 72-79, 1998.
20. I. Niemelä and P. Simons. An implementation of stable model and well-founded semantics for normal logic programs. In Proceedings of LPNMR'97, pages 420-429, 1997.
21. Odile Papini. A complete revision function in propositionnal calculus. In B. Neumann, editor, Proceedings of ECAI92, pages 339-343. John Wiley and Sons. Ltd, 1992.
22. Odile Papini. Knowledge base revision. The Knowledge Engineering Review, 15(4):339-370, 2000.
23. D. Raclot and C. Puech. Photographies aériennes et inondation: globalisation d'informations floues par un système de contraintes pour définir les niveaux d'eau en zone inondeé. Revue internationale de géomatique, 8(1):191-206, Février 1998.
24. P. Rao, K. Sagonas, Swift, D. S. Warren, and J. Friere. Xsb: A system for efficiently computing well-founded semantics. In Proceedings of LPNMR'97, pages 430-440, 1997.
25. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95, 1987.
26. C. Sakama and K. Inoue. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123(1-2):185-222, 2000.
27. T. Schaub and K. Wang. A Comparative Study of Logic Programs with Preference. In Proceedings of Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01), pages 597-602, 2001.
28. P. Simons. Extending and implementing the stable model semantics. PhD thesis, Helsinky university of technology, 2000.
29. P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2):181-234, 2002.
30. Lea Sombe. Revision and updating in knowledge bases. International Journal of intelligent Systems. J. Wiley, New York, 1994.
31. M. A. Williams and D. Williams. A belief revision system for the world wide web. In Proceedings of the IJCAI workshop of the Future of Artificial Intelligence and the Internet, pages 39-51, 1997.
32. Eric Würbel, Robert Jeansoulin, and Odile Papini. Revision :An application in the framework of gis. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, Proceedings of the Seventh Internationnal Conference about Principles of Knowledge Representation and Reasoning, KR2000, pages 505-516, Breckenridge, Colorado, USA, April 2000. KR, inc., Morgan Kaufmann.
33. Eric Würbel, Robert Jeansoulin, and Odile Papini. Spatial information revision :A comparison between 3 approaches. In Proceedings of the Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, pages 454-465, Toulouse, France 2001. Springer Verlag.