Forschungsbereich Computational Logic

Organization Name (de) Name der Organisation (de)
E104-02 - Forschungsbereich Computational Logic
 
Code Kennzahl
E104-02
 
Type of Organization Organisationstyp
Research Division
 
Parent OrgUnit Übergeordnete Organisation
Active Aktiv
 


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

PreviewAuthors / EditorsTitleTypeIssue Date
1Kuich, Werner Why We Need Semirings in Automata Theory (Extended Abstract)Konferenzbeitrag Inproceedings2015
2Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna What is an ideal logic for reasoning with inconsistency?Konferenzbeitrag Inproceedings 2011
3Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George ; Baader, Franz ; Voronkov, Andrei Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005
4Cintula, Petr ; Fermüller, Christian ; Godo, Lluis ; Hajek, Petr Understanding Vagueness. Logical, Philosophical and Linguistic PerspectivesBuch Book 2011
5Hetzl, Stefan ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil Understanding resolution proofs through Herbrand's TheoremKonferenzbeitrag Inproceedings 2013
6Turunen, Esko Tapani ; Beziau, Jean-Yves ; Buchsbaum, Arthur ; Altair, Alvaro Two Paraconsistent Semantics for Pavelka's Fuzzy LogicKonferenzbeitrag Inproceedings2014
7Hetzl, Stefan ; Zivota, Sebastian Tree Grammars for the Elimination of Non-prenex CutsKonferenzbeitrag Inproceedings2015
8Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Bjorner, Nikolaj ; Voronkov, Andrei Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
9Kuich, Werner ; Droste, Manfred ; Esik, Zoltan ; Chuhaj-Varju, Erzebet ; Dömösi, Pal ; Vaszil, György The Triple-Pair Construction for Weighted Omega-Pushdown AutomataKonferenzbeitrag Inproceedings2017
10Klinov, Pavel ; Parsia, Bijan ; Picado Muino, David ; Fermüller, Christian ; Voronkov, Andrei The consistency of Cadiag2's knowledge base: A probabilistic approachKonferenzbeitrag Inproceedings2010
11Picado Muino, David THE (PROBABILISTIC) LOGICAL CONTENT OF CADIAG2 - Rule-based Probabilistic ApproachKonferenzbeitrag Inproceedings 2010
12Aleshnikov, S.. ; Boltnev, J. F. ; Esik, Zoltan ; Ishanov, S. ; Kuich, Werner Sovremennaya Teoriya AvtomatovBuch Book2013
13Leigh, Graham E. Some Weak Theories of TruthBuchbeitrag Book Contribution2015
14Kuich, Werner ; Esik, Zoltan ; Konstantinidis, Stavros Solving Fixed Point Equations over Complete SemiringsBuchbeitrag Book Contribution2017
15Aiello, Marco ; Rosenberg, Florian ; Platzer, Christian ; Ciabattoni, Agata ; Dustdar, Schahram Service QoS composition at the level of part namesKonferenzbeitrag Inproceedings2006
16Droste, Manfred ; Kuich, Werner Semirings and formal power seriesBuchbeitrag Book Contribution2009
17Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityKonferenzbeitrag Inproceedings2009
18Baaz, Matthias ; Cintula, Petr ; Haniková, Zuzana ; Svejdar, Vitezslav Recollections of a non-contradictory logicianBuchbeitrag Book Contribution 2009
19Iemhoff, Rosalie ; de Jongh, Dick ; Zhou, C ; Carnielli, Walter ; Dionisio, Miguel ; Mateus, Paulo Properties of intuitionistic provability and preservativity logicsKonferenzbeitrag Inproceedings2004
20Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik ; Borwein, J.M. ; Farmer, William Proof Transformation by CERESKonferenzbeitrag Inproceedings 2006