8. Internationales Symposium "Frontiers of Combining Systems", Saarbrücken, Deutschland
5 Oktober 2011 - 5 Oktober 2011
Deutschland
Vom 5. bis 7. Oktober 2011 findet in Saarbrücken, Deutschland, das 8. Internationale Symposium "Frontiers of Combining Systems" statt.
In verschiedenen Bereichen der Computerwissenschaft wie Logik, Berechnung, Programmentwicklung und Verifizierung, künstlicher Intelligenz, Wissensrepräsentation und automatisiertem Reasoning besteht Bedarf nach speziellen Formalismen und Inferenzmechanismen zur Lösung spezieller Probleme. Um diese praktisch nutzbar zu machen, müssen die speziellen Systeme miteinander kombiniert und in General-Purpose-Systeme integriert werden.
Bei der Entwicklung allgemeiner Verfahren und Methoden für die Kombination und Integration spezieller formal definierter Systeme sowie die Analyse und Modularisierung komplexer Systeme wurden in vielen Bereichen Fortschritte erzielt. Wie in den Vorjahren widmet sich auch dieses Symposium solchen Forschungsfragen und -aktivitäten und soll die Forschung in diesem Bereich vorantreiben. Themenschwerpunkte sind u.a.:
- Logikkombinationen wie kombinierte Prädikatenlogik, temporale, modale oder epistemische Logik
- Kombinationen und Modularität in Ontologien
- Kombination von Entscheidungs- und Erfüllbarkeitsprozeduren sowie Constraint-Lösungen
- Kombinationen und Modularität bei der Termersetzung
- Kombination von Gleichungs- und anderen Theorien für deduktive Systeme
- Kombination von Deduktionssystemen und Computeralgebra
- Integration von Datenstrukturen für Constraint-Logik-Programmierung und Deduktion
- Hybridmethoden zur Deduktion, Resolution und Constraint-Propagation
- Hybridsysteme in Wissensrepräsentation und natürlichsprachlicher Semantik
- Kombinierte Logik für verteilte und Multi-Agenten-Systeme
- Logische Aspekte beim Kombinieren und Modularisieren von Programmen und Spezifikationen.Weitere Informationen unter: http://www.mpi-inf.mpg.de/conferences/frocos2011/(öffnet in neuem Fenster)
In verschiedenen Bereichen der Computerwissenschaft wie Logik, Berechnung, Programmentwicklung und Verifizierung, künstlicher Intelligenz, Wissensrepräsentation und automatisiertem Reasoning besteht Bedarf nach speziellen Formalismen und Inferenzmechanismen zur Lösung spezieller Probleme. Um diese praktisch nutzbar zu machen, müssen die speziellen Systeme miteinander kombiniert und in General-Purpose-Systeme integriert werden.
Bei der Entwicklung allgemeiner Verfahren und Methoden für die Kombination und Integration spezieller formal definierter Systeme sowie die Analyse und Modularisierung komplexer Systeme wurden in vielen Bereichen Fortschritte erzielt. Wie in den Vorjahren widmet sich auch dieses Symposium solchen Forschungsfragen und -aktivitäten und soll die Forschung in diesem Bereich vorantreiben. Themenschwerpunkte sind u.a.:
- Logikkombinationen wie kombinierte Prädikatenlogik, temporale, modale oder epistemische Logik
- Kombinationen und Modularität in Ontologien
- Kombination von Entscheidungs- und Erfüllbarkeitsprozeduren sowie Constraint-Lösungen
- Kombinationen und Modularität bei der Termersetzung
- Kombination von Gleichungs- und anderen Theorien für deduktive Systeme
- Kombination von Deduktionssystemen und Computeralgebra
- Integration von Datenstrukturen für Constraint-Logik-Programmierung und Deduktion
- Hybridmethoden zur Deduktion, Resolution und Constraint-Propagation
- Hybridsysteme in Wissensrepräsentation und natürlichsprachlicher Semantik
- Kombinierte Logik für verteilte und Multi-Agenten-Systeme
- Logische Aspekte beim Kombinieren und Modularisieren von Programmen und Spezifikationen.Weitere Informationen unter: http://www.mpi-inf.mpg.de/conferences/frocos2011/(öffnet in neuem Fenster)