Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/donini-fm

Francesco M. Donini (donini-fm)

fradonini(at)hotmail.it

Francesco Donini, ist Doktorand an der Universität Jena und forscht zu "System und Wahrheitskriterium. Hegels Wissenschaft der Logik als Überwindung des Kantischen Formalismus".

My contributions to Philosophie.ch

Ist Dialog ohne Wahrheit möglich?

Der Begriff „Dialog“, der durch die Figur des Sokrates am Anfang der Philosophie steht, wird im heutigen politischen Diskurs reichlich gebraucht. Es stellt sich jedoch die Frage, ob dieser erweiterte Gebrauch zulasten eines Bedeutungsverlustes erf...
Francesco M. Donini | over 6 years

Bibliography

    Buchheit, Martin, Donini, Francesco M., Nutt, Werner and Schaerf, Andrea. 1998. “A Refined Architecture for Terminological Systems: Terminology \(=\) Schema \(+\) Views.” Artificial Intelligence 99(2): 209–260.
    Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo and Schaerf, Marco. 1996. “Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 364–374. San Francisco, California: Morgan Kaufmann Publishers.
    Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo and Schaerf, Marco. 1999. “The Size of a revised Knowledge Base.” Artificial Intelligence 115(1): 25–64.
    Cadoli, Marco, Donini, Francesco M. and Schaerf, Marco. 1994. “Is Intractability of Non-Monotonic Logic a Real Drawback?” in AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, edited by Barbara Hayes-Roth and Richard E. Korf, pp. 946–951. Menlo Park, California: The AAAI Press.
    Cadoli, Marco, Donini, Francesco M. and Schaerf, Marco. 1996. “Is Intractability of Nonmonotonic Reasoning a Real Drawback?” Artificial Intelligence 88(1–2): 215–251.
    Donini, Francesco M. 2018. “Ist Dialog ohne Wahrheit möglich?” Philosophie.ch, the Swiss Portal for Philosophy, https://www.philosophie.ch/de/2018-07-02-donini.
    Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele, Hollunder, Bernhard, Nutt, Werner and Spaccamela, Alberto. 1992. “The Complexity of Existential Quantification in Concept Languages.” Artificial Intelligence 53(2–3): 309–327.
    Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Nutt, Werner. 1991. “The Complexity of Concept Languages.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 151–162. San Francisco, California: Morgan Kaufmann Publishers.
    Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele, Nutt, Werner and Schaerf, Andrea. 1998. “An Epistemic Operator for Description Logics.” Artificial Intelligence 100(1–2): 225–274.
    Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Schaerf, Andrea. 1992. “Adding Epistemic Operators to Concept Languages.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 342–353. San Francisco, California: Morgan Kaufmann Publishers.
    Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Schaerf, Andrea. 1996. “Reasoning in Description Logics.” in Principles of Knowledge Representation, edited by Gerhard Brewka, pp. 191–236. Stanford, California: CSLI Publications.
    Donini, Francesco M., Liberatore, Paolo, Massacci, Fabio and Schaerf, Marco. 2002. “Solving QBF with SMV.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 578–589. San Francisco, California: Morgan Kaufmann Publishers.
    Donini, Francesco M. and Massacci, Fabio. 2000. “EXPtime Tableaux for \({\cal ALC}\).” Artificial Intelligence 124(1): 87–138.
    Donini, Francesco M., Massacci, Fabio, Nardi, Daniele and Rosati, Riccardo. 1996. “A Uniform Tableaux Method for Nonmonotonic Modal Logics.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 87–103. Berlin: Springer.