Account
Edit tools
Internal
SucheSearch
Deutsch

International Center for Computational Logic/en: Difference between revisions

From International Center for Computational Logic
No edit summary
(Der Seiteninhalt wurde durch einen anderen Text ersetzt: „{{Main page|L=/en}}“)
Line 1: Line 1:
{{todo|Create our English start page here}}
{{Main page|L=/en}}
 
== Some test elements ==
 
=== Carousel ===
 
<div style="width: 700px;">
{{#makecarousel:
|nav=both
|interval=5000
|indicators=on
|slide=[[Image:Fly-brain.png]]
|caption = <h2>Test1</h2>
|slide = [[Image:Fly-brain.png]]
|caption = <h2>Test2</h2>
|slide=[[Image:Fly-brain.png]]
|caption = <h2>Test3</h2>
}}
</div>
 
=== Tag cloud of research areas ===
 
Note: When linking to non-existing pages in the tag cloud, the link text will appear twice. This might happen because of the handling of red links, which are inserted twice with suitable CSS styles to hide one version.
 
<div style="width: 500px; height: 300px; border: 1px solid #666; ">
{{#ask: [[Category:Publikation]]
| ?Forschungsgebiet
| format=tagcloud
| font=Impact
| includesubject=no
| mincount =1
| limit=1000
| width=500
| height=300
| widget =wordcloud
| link = none
| userparam=/en
}}
</div>
 
=== Tag spere of research areas ===
 
<div style="width: 500px; height: 300px; border: 1px solid #666; ">
{{#ask: [[Category:Forschungsgebiet]] OR [[Category:Mitarbeiter]]
| format=tagcloud
| font=Verdana
| includesubject=yes
| mincount =1
| limit=400
| width=500
| height=300
| widget =sphere
| link = none
| template=Translate Name
| userparam=/en
}}
</div>
 
=== Galleries ===
 
{{#ask: [[Category:Mitarbeiter]] [[Image::+]]
|?Image
|?Name
| order=random
| format=gallery
| widths=200
| heights=300
| imageproperty=Image
| captionproperty=Name
| widget=slideshow
| navigation=auto
| redirects=-
}}
 
{{#ask: [[Category:Forschungsgebiet]] [[Image::+]]
|?Image
|?Name
| order=random
| format=gallery
| widths=400
| heights=300
| imageproperty=Image
| captionproperty=Name
| widget=slideshow
| navigation=auto
| redirects=-
}}

Revision as of 17:45, 20 October 2014


International Center for Computational Logic

EbD-rightmargin.png

                  

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Knowledge Representation, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. The following research groups are associated with ICCL:


Members and Guests

Portrait Rajab AghamovPortrait Simon RazniewskiPortrait Luisa HerrmannPortrait Sergei ObiedkovPortrait Stefan BorgwardtPortrait Sandy SeifarthPortrait Pascal KettmannPortrait Andrea KühnPortrait Jonas KargePortrait Stephan MennickePortrait Kati DomannPortrait Johannes LehmannPortrait Piotr Ostropolski-NalewajaPortrait Philipp HanischPortrait Knut BerlingPortrait Karina AdlerPortrait Elisa BöhlPortrait Lukas GerlachPortrait Maximilian MarxPortrait Manuel BodirskyPortrait Piotr GorczycaPortrait Meghna BhadraPortrait Sarah Alice GagglPortrait Larry GonzálezPortrait Nikolai KäferPortrait Timm SporkPortrait Markus KrötzschPortrait Dörthe ArndtPortrait Tim LyonPortrait Max KornPortrait Patrick WienhöftPortrait Robin ZiemekPortrait Kerstin AchtruthPortrait Filippo De BortoliPortrait Calvin ChauPortrait Jakob PiribauerPortrait Matthias MeißnerPortrait Christel BaierPortrait Martin DillerPortrait Alex IvlievPortrait Hannes StraßPortrait Franz BaaderPortrait Sascha KlüppelholzPortrait Ramona BehlingPortrait Sebastian Rudolph


Newest Publications

Jonas Karge
When Diversity in Voting Trumps Ability
Episteme, to appear
Details
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
In Toby Walsh, Julie Shah, Zico Kolter, eds., Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of 25, 26631-26641, April 2025. AAAI Press
Details Download
Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details
Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Logical Methods in Computer Science, 21(2):7:1-7:35, April 2025
Details Download
View full publication list
NEWS
January 20, 2025

ICCL Researchers Contribute to Lean Standard Library

November 20, 2024

Jonas Karge Wins Student Best Paper Award at PRIMA24

November 5, 2024

Best Paper Award for Nemo

July 1, 2024

CACM blog article on work-family balance in academia by ICCL researcher Luisa Herrmann

June 13, 2024

Markus Krötzsch Wins 2024 Teaching Award

... further results
iCal
EVENTS

Our Projects

Portrait CPEC
Portrait MEDGE
Portrait DeciGUT
Portrait Cfaed
Portrait SECAI
Portrait Semantic MediaWiki
Portrait SEMECO-Q2
Portrait ScaDS.AI
Portrait Nemo
Portrait KIMEDS
Portrait InnoSale
Portrait CeTI
Portrait Wikidata
Portrait Wikidata SPARQL Logs
Portrait Wolpertinger
Portrait SEMECO-Q1

Our Partners

Portrait Universität des Saarlandes
Portrait Uniwersytet Wrocławski
Portrait IOTIQ GmbH
Portrait Institut für Automation und Kommunikation e.V. (IFAK)
Portrait SearchHaus
Portrait Demag Cranes & Components GmbH
Portrait Universität Leipzig
Portrait Technische Universität Wien
Portrait National ICT Australia
Portrait Em engineering methods AG
Portrait Max-Planck-Institut für Softwaresysteme
Portrait Software AG
Portrait Max-Planck-Institut für Informatik
Portrait Wikimedia Deutschland e.V.
Portrait Natif.ai GmbH
Portrait Universidade NOVA de Lisboa
Portrait Free University of Bozen-Bolzano
Portrait Tarakos GmbH
Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=International_Center_for_Computational_Logic/en&oldid=5614"