Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 141-160 of 198 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
141Bobillo, Fernando ; Carvalho, Rommel ; da Costa, Paulo C. G. ; d´Amato, Claudia ; Fanizzi, Nicola ; Laskey, Kathryn B. ; Laskey, Kenneth J. ; Lukasiewicz, Thomas ; Martin, Trevor ; Nickles, Matthias ; Pool, Michael Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010)Konferenzband Proceedings 2010
142Blesa, Maria José ; Blum, Christian ; Raidl, Günther ; Roli, Andrea ; Sampels, Michael Hybrid Metaheuristics, 7th Int. Workshop, HM 2010Konferenzband Proceedings 2010
143Eiter, Thomas ; El Ghali, Adil ; Fernández, Sergio ; Heymans, Stijn ; Krennwallner, Thomas ; Lévy, François BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, ProceedingsKonferenzband Proceedings 2010
144Fermüller, Christian Some Critical Remarks on Incompatibility SemanticsBuchbeitrag Book Contribution 2010
145Baaz, Matthias ; Leitsch, Alexander Fast cut-elimination by CERESBuchbeitrag Book Contribution 2010
146Eiter, Thomas ; Gottlob, Georg ; Schwentick, Thomas The Model Checking Problem for Prefix Classes of Second-Order Logic: A SurveyBuchbeitrag Book Contribution 2010
147Leitsch, Alexander ; Baaz, Matthias Fast Cut-Elimination by CERESBuchbeitrag Book Contribution2010
148Cali, Andrea ; Gottlob, Georg ; Lukasiewicz, Thomas Datalog extensions for tractable query answering over ontologiesBuchbeitrag Book Contribution2010
149Freund, Rudolf ; Paun, Andrei Catalytic P SystemsBuchbeitrag Book Contribution 2010
150Fermüller, Christian On Giles style dialoques games and hypersequent systemsBuchbeitrag Book Contribution2010
151Lukasiewicz, Thomas ; Straccia, Umberto Tightly coupled fuzzy description logic programs under the answer set semantics for the Semantic WebBuchbeitrag Book Contribution2010
152Blum, Christian ; Puchinger, Jakob ; Raidl, Günther ; Roli, Andrea Hybrid metaheuristicsBuchbeitrag Book Contribution 2010
153Fermüller, Christian Dialogue Games as Foundation of Fuzzy LogicsBuchbeitrag Book Contribution2009
154Raidl, Günther Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation ConferenceKonferenzband Proceedings 2009
155Bobillo, Fernando ; da Costa, Paulo C. G. ; d´Amato, Claudia ; Fanizzi, Nicola ; Laskey, Kathryn B. ; Laskey, Kenneth J. ; Lukasiewicz, Thomas ; Martin, Trevor ; Nickles, Matthias ; Pool, Michael ; Smrz, Pavel Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)Konferenzband Proceedings 2009
16Tessaris, Sergio ; Franconi, Enrico ; Eiter, Thomas ; Gutierrez, Claudio ; Handschuh, Siegfried ; Rousset, Marie-Christine ; Schmidt, Renate Reasoning Web. Semantic Technologies for Information SystemsKonferenzband Proceedings2009
17Gruber, Martin ; Raidl, Günther (Meta-)heuristic separation of jump cuts in a branch&cut approach for the bounded diameter minimum spanning tree problemBuchbeitrag Book Contribution 2009
18Fermüller, Christian Revisiting Giles's Game - Reconciling Fuzzy Logic and SupervaluationBuchbeitrag Book Contribution2009
19Fermüller, Christian Truth Value Intervals, Bets, and Dialogue GamesBuchbeitrag Book Contribution2009
20Drabent, Wlodzimierz ; Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas ; Lukasiewicz, Thomas ; Maluszynski, Jan Hybrid Reasoning with Rules and OntologiesBuchbeitrag Book Contribution 2009