Publications

Recherche de publications

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant

Publications de StefanWoltran

Articles dans des revues internationales Contributions à des ouvrages de synthèse Conférences et workshops internationaux avec actes édités et comité de lecture
  • Wolfgang Dvorak, Jorge Fandinno, Stefan Woltran

    On the Expressive Power of Collective Attacks (regular paper)

    Dans : International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, 14/09/2018-17/09/2018, Vol. 305, IOS Press, Frontiers in Artificial Intelligence and Applications, p. 49-60, 2018.

    Accès : http://oatao.univ-toulouse.fr/22726/
    BibTeX

  • Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran

    Paraconsistent Logics for Reasoning via Quantified Booelan Formulas II: Circumscribing Inconsistent Theories

    Dans : 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/2003-05/07/2003, Thomas Nielsen, Nevin Zhang (Eds.), Springer, p. 528-539, juillet 2003.

    BibTeX

  • Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran

    Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems

    Dans : 8th European Conference on Logics in Artificial Intelligence (JELIA-2002), Cosenza, Italy, 23/09/2002-26/09/2002, Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (Eds.), Springer, p. 320-331, septembre 2002.

    BibTeX

Conférences sans actes publiés
  • Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran

    Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems

    Dans : Paraconsistent Computational Logic Workshop – part of Federated Logic Conference (FLoC-2002), Roskilde, Denmark, 27/07/2002-28/07/2002, Hendrik Decker, Jorgen Villadsen, Toshiharu Waragai (Eds.).

    BibTeX