ECAI 2014
Event name
ECAI 2014
Start date
18-08-2014
End date
22-08-2014
Location
Prag
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Woltzenlogel-Paleo, Bruno ; Benzmüller, Christoph ; Schaub, Torsten | Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers | Konferenzbeitrag Inproceedings | 2014 | |
| 2 | Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan | Belief merging within fragments of propositional logic | Konferenzbeitrag Inproceedings  | 2014 | |
| 3 | Baumann, Ringo ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Strass, Hannes ; Woltran, Stefan | Compact Argumentation Frameworks | Konferenzbeitrag Inproceedings | 2014 | |
| 4 | Brewka, Gerd ; Woltran, Stefan | GRAPPA: A Semantical Framework for Graph-Based Argument Processing | Konferenzbeitrag Inproceedings | 2014 |