BOOTH, Richard ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas
Vazinczak, Ivan
Langue du document :
Anglais
Titre :
PTL: A propositional typicality logic
Date de publication/diffusion :
2012
Nom de la manifestation :
13th Conference on Logics in Artificial Intelligence (JELIA 2012)
Lieu de la manifestation :
Toulouse, France
Date de la manifestation :
September 2012
Titre de l'ouvrage principal :
13th Conference on Logics in Artificial Intelligence (JELIA 2012)
ISBN/EAN :
978-3-642-33352-1
Pagination :
107-119
Peer reviewed :
Peer reviewed
Commentaire :
13th Conference on Logics in Artificial Intelligence (JELIA 2012)
Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510-530 (1985)
Boutilier, C.: Conditional logics of normality: A modal approach. Artificial Intelligence 68(1), 87-154 (1994)
Britz, K., Heidema, J., Labuschagne, W.: Semantics for dual preferential entailment. Journal of Phil. Logic 38, 433-446 (2009)
Britz, K., Meyer, T., Varzinczak, I.: Preferential reasoning for modal logics. Electronic Notes in Theoretical Computer Science 278, 55-69 (2011)
Britz, K., Meyer, T., Varzinczak, I.: Semantic Foundation for Preferential Description Logics. In:Wang, D., Reynolds, M. (eds.) AI 2011. LNCS (LNAI), vol. 7106, pp. 491-500. Springer, Heidelberg (2011)
Britz, K., Varzinczak, I.: Defeasible modes of inference: A preferential perspective. In: 14th International Workshop on Nonmonotonic Reasoning, NMR (2012)
Crocco, G., Lamarre, P.: On the connections between nonmonotonic inference systems and conditional logics. In: Proc. KR, pp. 565-571. Morgan Kaufmann (1992)
Delgrande, J.P.: A first-order logic for prototypical properties. Art. Intel. 33, 105-130 (1987)
Gärdenfors, P., Makinson, D.: Nonmonotonic inference based on expectations. Artificial Intelligence 65(2), 197-245 (1994)
Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A minimal model semantics for rational closure. In: 14th International Workshop on Nonmonotonic Reasoning, NMR (2012)
Giordano, L., Olivetti, N., Gliozzi, V., Pozzato, G.L.: ALC + T : a preferential extension of description logics. Fundamenta Informaticae 96(3), 341-372 (2009)
Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artificial Intelligence 3(52), 263-294 (1991)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167-207 (1990)
Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55, 1-60 (1992)
