ECAI 2014

View Statistics Email Alert RSS Feed

Description

Event name
ECAI 2014
 
Event type
Event for scientific audience
 
Start date
18-08-2014
End date
22-08-2014
 
Location
Prag
Prag
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Woltzenlogel-Paleo, Bruno ; Benzmüller, Christoph Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem ProversKonferenzbeitrag Inproceedings2014
2Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan Belief merging within fragments of propositional logicKonferenzbeitrag Inproceedings 2014
3Baumann, Ringo ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Strass, Hannes ; Woltran, Stefan Compact Argumentation FrameworksKonferenzbeitrag Inproceedings 2014
4Brewka, Gerd ; Woltran, Stefan GRAPPA: A Semantical Framework for Graph-Based Argument ProcessingKonferenzbeitrag Inproceedings 2014