dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Vasiliki Efstathiou (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasiliki Efstathiou, Anthony Hunter: Algorithms for generating arguments and counterarguments in propositional logic. Int. J. Approx. Reasoning 52(6): 672-704 (2011)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasiliki Efstathiou, Anthony Hunter: An Algorithm for Generating Arguments in Classical Predicate Logic. ECSQARU 2009: 119-130
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasiliki Efstathiou, Anthony Hunter: Focused search for Arguments from Propositional Knowledge. COMMA 2008: 159-170
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasiliki Efstathiou, Anthony Hunter: Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach. FoIKS 2008: 272-290

Selection of 4 from 4 records - Vasiliki Efstathiou has 1 coauthors

Last update 2012-02-17 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page