A linear transformation from prioritized circumscription to disjunctive logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4670 LNCS, Issue , 2007, Pages 440-441

  Oikarinen, Emilia ^a   Janhunen, Tomi ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 38149005709     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74610-2_36     Document Type: Conference Paper

References (6)

1. Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57-95 (1987)
2. Lifschitz, V.: Computing circumscription. In: IJCAF85, Los Angeles, CA, USA, pp. 121-127. Morgan Kaufmann, San Francisco (1985)
3. McCarthy, J.: Applications of circumscription to formalizing commonsense knowledge. Artif. Intell. 28, 89-116 (1986)
4. Janhunen, T., Oikarinen, E.: Capturing parallel circumscription with disjunctive logic programs. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 134-146. Springer, Heidelberg (2004)
5. Oikarinen, E., Janhunen, T.: CIRC2DLP-Translating circumscription into disjunctive logic programming. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 405-409. Springer, Heidelberg (2005)
6. Janhunen, T, Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 175-187. Springer, Heidelberg (2007)