Prime implicates and prime implicants in modal logic

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 379-384

  Bienvenu, Meghyn ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; MODAL ANALYSIS;

COMPLEXITY-THEORETIC PROPERTIES; RECOGNITION TASKS;

LOGIC PROGRAMMING;

EID: 36348981045     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Blackburn, P.; de Rijke, M.; and Venema, Y. 2001. Modal Logic. Cambridge University Press.
2. Chellas, B. 1980, Modal logic: an introduction. Cambridge University Press.
3. Darwiche, A., and Marquis, P. 2002, A knowledge compilation map. Journal of Artificial Intelligence Research 17:229-264.
4. Elsenbroich, C.; Kutz, O.; and Sattler, U. 2006, A case for abductive reasoning over ontologies. In Proceedings of OWL: Experiences and Directions.
5. Enjalbert, P., and Farinas Del Cerro, L. 1989. Modal resolution in clausal form. Theoretical Computer Science 65(1): 1-33.
6. Giunchiglia, F., and Sebastiani, R. 1996. A sat-based decision procedure for ALC. In Proc. of KR-96, 304-314.
7. Marquis, P. 2000. Handbook on Defeasible Reasoning and Uncertainty Management Systems, volume 5. Kluwer. chapter Consequence Finding Algorithms, 41-145.
8. Mayer, M., and Pirri, F. 1995. Propositional abduction in modal logic. Logic Journal of the IGPL 3(6):907-919.