Refine
Year of publication
- 2010 (249) (remove)
Document Type
- Article (149)
- Postprint (26)
- Review (25)
- Conference Proceeding (23)
- Preprint (10)
- Monograph/Edited Volume (8)
- Part of Periodical (4)
- Master's Thesis (2)
- Other (2)
Language
- German (174)
- English (64)
- Spanish (8)
- Multiple languages (2)
- French (1)
Is part of the Bibliography
- no (249) (remove)
Keywords
- Deutschland (18)
- Germany (17)
- Poland (16)
- Polen (16)
- Consolidation (14)
- European Union (14)
- Europäische Union (14)
- Integration (14)
- Vertiefung (14)
- Humboldt und Hispanoamerika (4)
Institute
- WeltTrends e.V. Potsdam (35)
- Institut für Jüdische Studien und Religionswissenschaft (32)
- Vereinigung für Jüdische Studien e. V. (32)
- Historisches Institut (25)
- Kommunalwissenschaftliches Institut (23)
- MenschenRechtsZentrum (22)
- Institut für Romanistik (19)
- Department Linguistik (18)
- Extern (18)
- Institut für Informatik und Computational Science (16)
rezensiertes Werk: Schwartz, Yigal: Maamin beli Kenessija : 4 Massot al Aharon Appelfeld. - Tel Aviv : Dvir, 2009.- 181 S.
rezensiertes Werk: Shraibman, Yechiel: Sieben Jahre und sieben Monate : meine Bukarester Jahre ; Roman. - Berlin : be.bra, 2009. - 272 S. ISBN 978-3-937233-56-7
We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only. Our translation is modular and heavily benefits from the expressive input language of ASP. The resulting approach, along with its implementation, allows for solving interesting constraint satisfaction problems in ASP, showing a good performance.
In this talk, I would like to share my experiences gained from participating in four CSP solver competitions and the second ASP solver competition. In particular, I’ll talk about how various programming techniques can make huge differences in solving some of the benchmark problems used in the competitions. These techniques include global constraints, table constraints, and problem-specific propagators and labeling strategies for selecting variables and values. I’ll present these techniques with experimental results from B-Prolog and other CLP(FD) systems.
Wer regiert die Welt?
(2010)
Das Ende des Nachkriegssystems der multilateralen Finanzorganisationen ist keines im eigentlichen Sinn des Wortes. Aber die Veränderungen im internationalen System sind evident und beschränken sich nicht auf Weltbank und Währungsfonds. Die entscheidende Verschiebung des globalen Machtgefüges findet außerhalb des multilateralen Systems der UNO statt. Es sind informelle Gruppen, die Gs in verschiedener Stärke: G-7/8 als westliches Auslaufmodell, der Newcomer G-20 und wenn Europa nicht aufpasst die G-2: Chinamerica.