Refine
Year of publication
- 2010 (1445) (remove)
Document Type
- Article (817)
- Doctoral Thesis (248)
- Monograph/Edited Volume (188)
- Review (54)
- Postprint (49)
- Conference Proceeding (25)
- Part of Periodical (18)
- Preprint (16)
- Master's Thesis (10)
- Other (6)
Language
- English (705)
- German (686)
- Spanish (21)
- French (13)
- Italian (9)
- Multiple languages (9)
- Polish (1)
- Portuguese (1)
Keywords
- Deutschland (20)
- Germany (19)
- Poland (18)
- Polen (18)
- Integration (17)
- Consolidation (15)
- European Union (15)
- Europäische Union (15)
- Vertiefung (15)
- Humboldt und Hispanoamerika (5)
- Ansichten der Kordilleren und Monumente der eingeborenen Völker Amerikas (4)
- Außenpolitik (4)
- Deutsche Literatur der Frühen Neuzeit (4)
- Frühe Neuzeit (4)
- Iran (4)
- Judaism (4)
- Judentum (4)
- Vues des Cordilleres (4)
- middleware (4)
- Africa (3)
- Afrika (3)
- Argumentationstheorie (3)
- Cuba (3)
- EU (3)
- Eliten (3)
- Globalisierung (3)
- Neue Ökonomische Geographie (3)
- Spracherwerb (3)
- Transportkosten (3)
- Unterricht (3)
- freshwater (3)
- 1799-1804 (2)
- 1800-1830 (2)
- Afghanistan (2)
- Alexander-von-Humboldt-Forschungsstelle (2)
- Anreize (2)
- Ansichten der Natur (2)
- Aristoteles (2)
- Arrayseismologie (2)
- Aspektorientierte Softwareentwicklung (2)
- Außenwirtschaftstheorie (2)
- Betriebssysteme (2)
- Brandenburg (2)
- Briefe (2)
- Chile (2)
- Christoph Girtanner (2)
- Constraint Solving (2)
- Cornelius de Pauw (2)
- Cosmogenic nuclides (2)
- De inventione dialectica (2)
- Deduction (2)
- Demokratie (2)
- Dialektik (2)
- Didaktik (2)
- Die Straße der Vulkane - Humboldt in Ecuador (2)
- Diplomatie (2)
- Ecuador (2)
- Emilio Roig de Leuchsenring (2)
- Ensayo Político cobre la isla de Cuba (2)
- Erdbeben (2)
- Erdbebenkatalog (2)
- Erdbebenschwarm 2008/09 (2)
- F. W. J. Schelling (2)
- Fernando Ortiz (2)
- Fernerkundung (2)
- Foreign Policy (2)
- Forschungsmethode (2)
- Francisco de Arango y Parreño (2)
- Frédéric de Waldeck (2)
- Fusionsmanagement (2)
- Gelatine (2)
- Gelegenheitsdichtung (2)
- Gene Ontology (2)
- Geografieunterricht (2)
- Geographie (2)
- Geophysik (2)
- Georg Forster (2)
- Geschichte (2)
- Geschichtsphilosophie (2)
- Guillaume-Thomas Raynal (2)
- Historial intelectual (2)
- Hochschuldidaktik (2)
- Human Rights (2)
- Humboldt und Lateinamerika (2)
- Humboldt-Rezeption (2)
- Ideengeschichte (2)
- Ilse Jahn (2)
- Immigration (2)
- InSAR (2)
- Informationsextraktion (2)
- Informationsstruktur (2)
- Johann Wolfgang von Goethe (2)
- José Antonio Saco (2)
- José de la Luz y Caballero (2)
- Jugendbriefe (2)
- Jules Vernes (2)
- Kanarische Inseln (2)
- Kant (2)
- Kasualdichtung (2)
- Klassifikation (2)
- Klimapolitik (2)
- Klimawandel (2)
- Kosmogene Nuklide (2)
- Kraków (2)
- Kreisgebietsreform (2)
- Landkreise (2)
- Lehrerbildung (2)
- Lehrereffektivität (2)
- Logic Programming (2)
- Logics (2)
- Länder (2)
- L’Histoire des deux Indes (2)
- Maya (2)
- Mecklenburg-Vorpommern (2)
- Menschenrechte (2)
- Middleware (2)
- Miguel Barnet (2)
- Mineralogie (2)
- Minería (2)
- México (2)
- Nachlass (2)
- Narrenschiff (2)
- Neue ökonomische Geographie (2)
- New Economic Geography (2)
- Optimization (2)
- Orientalismus (2)
- Palenque (2)
- Personalintegration (2)
- Perú (2)
- Philolaos aus Kroton (2)
- Phosphorylation Site (2)
- Planing (2)
- Poetik (2)
- Privatisierung (2)
- Pythagoreer (2)
- Ramón de la Sagra (2)
- Recherches philosophiques sur les Américains (2)
- Reise in die Äquinoktial-Gegenden des Neuen Kontinents (2)
- Reise um die Welt (2)
- Religion (2)
- Rudolf Agricola (2)
- Russia (2)
- Russland (2)
- Sebastian Brant (2)
- Standorteffekte (2)
- Steuerreform (2)
- Synchrotronstrahlung (2)
- Systemsoftware (2)
- Tagebuch (2)
- Talmud (2)
- Transitional Justice (2)
- Transitions (2)
- Transtional Justice (2)
- Uxmal (2)
- Verwaltungskooperation (2)
- Vidal Morales y Morales (2)
- Virtuelle Maschinen (2)
- Vistas de las cordilleras y monumentos de los pueblos indígenas de América (2)
- Vogtland/West Bohemia (2)
- Vogtland/Westböhmen (2)
- Voyage dans les Régions équinoxiales du Nouveau Continent (2)
- Wissenschaftsbeziehungen (2)
- Wissenschaftsgeschichte (2)
- Wissenschaftspraxis (2)
- Wissenschaftstheorie (2)
- Yucatán (2)
- adaptive processes (2)
- administrative cooperation (2)
- analysis (2)
- aquatic (2)
- array seismology (2)
- bifurcation (2)
- biodiversity (2)
- classification (2)
- climate change (2)
- climate warming (2)
- community (2)
- cosmopolitismo (2)
- counties (2)
- didactics (2)
- district local government reform (2)
- earthquake catalog (2)
- earthquake swarm 2008/09 (2)
- eutrophication (2)
- eye movements (2)
- fisheries (2)
- food web dynamics (2)
- global change (2)
- human integration (2)
- hydrology (2)
- incentives (2)
- information structure (2)
- instruction (2)
- lake (2)
- language acquisition (2)
- loci communes (2)
- management (2)
- marine (2)
- merger management (2)
- migration (2)
- mitigation (2)
- model integration (2)
- model limitations (2)
- non-linear dynamics (2)
- nutrients (2)
- operating systems (2)
- phosphorylated amino acid (2)
- physikalische Geographie (2)
- plankton (2)
- population (2)
- prediction (2)
- reading (2)
- research method (2)
- seismic noise (2)
- single nucleotide polymorphism mapping (2)
- site effects (2)
- slim term (2)
- spatial (2)
- synchrotron radiation (2)
- systems software (2)
- tax administration (2)
- tax reform (2)
- tax system (2)
- taxation (2)
- teacher effectiveness (2)
- teacher training (2)
- total internal reflection fluorescence microscopy (2)
- understanding (2)
- virtual machines (2)
- von Humboldts Hand (2)
- élites cubanas (2)
- (Alters-) Datierungen (1)
- 126a StPO (1)
- 2D city model (1)
- 2D-Stadtmodell (1)
- 3D city models (1)
- 3D geovisualisation (1)
- 3D visualization (1)
- 3D-Geovisualisierung (1)
- 3D-Stadtmodelle (1)
- 3D-Visualisierung (1)
- 4th-5th century AD. (1)
- A-bar-movement (1)
- ANP (1)
- Abbau (1)
- Accentuation (1)
- Ackerschmalwand (1)
- Aerosol (1)
- Aesthetics (1)
- Agglomeration (1)
- Agglomerationen (1)
- Agglomerations (1)
- Agrammatismus (1)
- Akan (1)
- Aktienmarkt (1)
- Alarich (1)
- Alborz (1)
- Andreas Maier (1)
- Antipersistence (1)
- Aqua-Cycling (1)
- Aqua-Fitness (1)
- Arabidopsis (1)
- Arbeitsethik (1)
- Arbeitsmarktpolitik (1)
- Arctic (1)
- Argumentation Theory (1)
- Arktis (1)
- Armed Conflicts (1)
- Armed Forces (1)
- Artenreichtum (1)
- Aspekt (1)
- Assoziatives Anisotropiemodell (1)
- Asynchrone Schaltung (1)
- Asynchronous circuit (1)
- Athanarich (1)
- Athaulf (1)
- Atomic Force Microscope (1)
- Attributanalyse (1)
- Aufgabenerfüllung (1)
- Aufklärung (1)
- Ausbildung (1)
- Ausdehnungslehre (1)
- Auslandseinsätze (1)
- Autokratie (1)
- BESSY (1)
- BRD (1)
- Bagatelldelikt (1)
- Bagatelle (1)
- Banken (1)
- Bayesian Value-at-Risk (1)
- Bayesianischer Value-at-Risk (1)
- Berlinisch (1)
- Bibel (1)
- Bildbearbeitung (1)
- Bildungsideal (1)
- Biogenic amine (1)
- Biomarker (1)
- Biomaterial (1)
- Biomaterialien (1)
- Biosensor (1)
- Biotin-Streptavidin (1)
- Blaulichtsensoren (1)
- Blickbewegungsmessung (1)
- Blue-light sensors (1)
- Bodenwasser (1)
- Bonuszahlungen (1)
- Border Control (1)
- Bottom-up (1)
- Bruce Nauman (1)
- Bulgarian (1)
- Bulgarisch (1)
- Bundeswehr (1)
- Business Intelligence (1)
- Business Process Models (1)
- Bürgerbeteiligung (1)
- Bürokratisierung (1)
- CGE (1)
- CIS-countries (1)
- CSC (1)
- Calcineurin (1)
- Cascading (1)
- Central Banking Policy (1)
- Chances de vie (1)
- Chaotische Oszillationen (1)
- Charles Darwin (1)
- Chemie-Transport-Modell (1)
- Chemometrie (1)
- Christianity (1)
- Chronotope (1)
- Chronotopos (1)
- Clientelism (1)
- Climate Policy (1)
- Climate change (1)
- Clôture sociale (1)
- Coccinelle (1)
- Collective Identity (1)
- Colombia (1)
- Communicative task (1)
- Compacton (1)
- Compliance (1)
- Composite (1)
- Computer Networks (1)
- Computernetzwerke (1)
- Computerspiele (1)
- Conflict resolution (1)
- Conflict theory (1)
- Conscription (1)
- Consumption (1)
- Controller-Resynthese (1)
- Corruption (1)
- Crime mapping (1)
- Cross Contamination (1)
- Cultural Integration (1)
- Curriculum Framework (1)
- Cyaninfarbstoffe (1)
- Cyclic linearization (1)
- Cyclosporin A (1)
- Cytochrom c (1)
- Czech (1)
- DDR (1)
- DDR-Fußball (1)
- DSGE (1)
- DVD-Video (1)
- DaF (1)
- Data Mining (1)
- Datenanalyse (1)
- Datenintegration (1)
- Decentralization (1)
- Democratisation (1)
- Demokratisierung (1)
- Deutsche Außenpolitik (1)
- Deutsche Literatur (1)
- Deutschland, DDR (1)
- Dezentralisierung (1)
- Dickdarmkanzerogenese (1)
- Die Jugendbriefe Alexander von Humboldts (1)
- Dienstkomposition (1)
- Dienstplattform (1)
- Dirac operators (1)
- Diskursanalyse (1)
- Distribution functions with upper bound (1)
- Donovani (1)
- Doppelte Buchführung (1)
- Dreizustandsmodell (1)
- Drittwirkung (1)
- Druck-Temperatur Bedingungen (1)
- Dtn. 6:18 (1)
- Dunant (1)
- Dynamic Type System (1)
- Dynamik (1)
- Dynamische Typ Systeme (1)
- E-Learning (1)
- E-Teaching (1)
- EEG (1)
- EOF (1)
- Earthquake (1)
- Earthquake magnitude (1)
- East African Community (1)
- East Antarctica (1)
- East-Germany (1)
- Eberhard Werner Happel (1)
- Economic Policy (1)
- Einnahmenautonomie (1)
- Eisdynamik (1)
- Eisen (1)
- Eklogite (1)
- Elburs (1)
- Electroactive material (1)
- Elektroaktive Materialien (1)
- Elektrochemie (1)
- Elektrolumineszenz (1)
- Elektrospinnen (1)
- Elite (1)
- Elliptizität (1)
- Emotionales Verhalten (1)
- Endocannabinoide (1)
- Energiehaushalt (1)
- Energiestoffwechsel (1)
- Enlargement (1)
- Enligthenment (1)
- Enterprise Search (1)
- Entscheidungsverhalten (1)
- Epidemiologie (1)
- Epidemiology (1)
- Epigallocatechingallat (1)
- Erdbeben-Magnitude (1)
- Erfolgsfaktoren (1)
- Erinnerung (1)
- Erinnerungskultur (1)
- Erweiterung (1)
- Erziehung (1)
- Erzählung (1)
- Estimation for branching processes (1)
- Euchel, Isaac Abraham (1)
- Euro (1)
- European Monetary Union (1)
- European values education (1)
- Europäische Werteerziehung (1)
- Europäische Währungsunion (1)
- Evaluation (1)
- Evaluierung der Steuerpolitik (1)
- Evolutionstheorie (1)
- Exhumationsraten (1)
- Expenditure Assignment (1)
- Expert Elicitation (1)
- Expertenbefragung (1)
- Exploration (1)
- FC Carl Zeiss Jena (1)
- FC Rot-Weiss Erfurt (1)
- FC Rot-Weiß Erfurt (1)
- Faser (1)
- Fault interaction (1)
- Fehlersuche (1)
- Feller Diffusionsprozesse (1)
- Feller diffusion processes (1)
- Femininität (1)
- Ferroelektret (1)
- Fettstoffwechsel (1)
- Feuer (1)
- Financial Policy (1)
- Finanzkrise (1)
- Finanzpolitik (1)
- Finanzzuweisungen (1)
- Finite Differenzen (1)
- Fiscal Federalism (1)
- Fiskalischer Föderalismus (1)
- Flexion (1)
- Flood frequency analysis (1)
- Flood regionalisation (1)
- Fluid-Schmelze Wechselwirkung (1)
- Fluoreszenz (1)
- Fluoreszenz-Korrelations-Spektroskopie (1)
- Fluoreszenzanisotropie (1)
- Focus (1)
- Fokuspartikel (1)
- Foraging (1)
- Foreign language communication (1)
- Forschungskolleg (1)
- Frequenz (1)
- Friedens- und Konfliktforschung (1)
- Friedensprozess (1)
- Frühaufklärung (1)
- Fundament (1)
- Funktionsvorbehalt (1)
- G-protein-coupled receptor (1)
- GDR-football (1)
- GIS (1)
- GITEWS (1)
- GOAT (1)
- GPS (1)
- GUS-Staaten (1)
- Gebote (1)
- Gebrüder Humboldt (1)
- Gelatin (1)
- Gemeindehaushaltsrecht (1)
- Gender role stereotypes (1)
- Geneva Convention (1)
- Genfer Konvention (1)
- Genotypisierung (1)
- Geomagnetism (1)
- Georadar (1)
- Georgian Constitution (1)
- Georgian Constitutional Court (1)
- Georgische Verfassung (1)
- Georgisches Verfassungsgericht (1)
- German (1)
- German Foreign Policy (1)
- German Literature (1)
- Geschichtswahrnehmung (1)
- Geschlechtsrollenselbstkonzept (1)
- Geschäftsprozessmodelle (1)
- Gewalt (1)
- Gewässer (1)
- Ghana (1)
- Ghrelin (1)
- Gitterdynamik (1)
- Givenness (1)
- Glaciers (1)
- Gleichstellungspolitik (1)
- Gletscher (1)
- Global Economic Crisis (1)
- Global Governance (1)
- Globaler Wasserkreislauf (1)
- Globalisation (1)
- Governance (1)
- Grammar Acqiuisition (1)
- Grammatikalische Inferenz (1)
- Grammatikerwerb (1)
- Granular chain (1)
- Graph-basiertes Ranking (1)
- Graphen (1)
- Grassmann Bicentennial Conference (1)
- Graßmann, Hermann, 1809-1877 (1)
- Greece (1)
- Grenzen (1)
- Grenzkontrolle (1)
- Griechenland (1)
- Growth (1)
- Grundlagen der Selbstverwaltung (1)
- Grundrechte (1)
- Grundwasserneubildung (1)
- Grüner Tee (1)
- HDAC (1)
- HP-HT Experimente (1)
- HP-HT experiments (1)
- Halacha (1)
- Halakhah (1)
- Hamilton (1)
- Hamiltonian (1)
- Haskala (1)
- Haskalah (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institut (1)
- Haushaltsrecht (1)
- Herodotos (1)
- HiN 21 (1)
- High-Level Synthesis (1)
- Himalaja (Kaghan) (1)
- Himalaya (1)
- Himalaya (Kaghan Valley) (1)
- History of pattern occurrences (1)
- Hochschulen (1)
- Hochwasserregionalisierung (1)
- Hochwasserstatistik (1)
- Human Rights Violations (1)
- Human rights (1)
- Hungerhormon (1)
- Hydrogele (1)
- Hydrogeophysics (1)
- Hydrogeopyhsik (1)
- Hydrolgische Modellierung (1)
- Hydroxyapatit (1)
- Hydroxyapatite (1)
- Hörspiel (1)
- IPv4 (1)
- IPv6 (1)
- Identifizierung (1)
- Identität (1)
- Ideologie (1)
- Ideologische Arbeit (1)
- Immersion (1)
- Immigrant (1)
- Immigrationspolitik (1)
- Immobilization (1)
- Imperio romano (1)
- Imre Kertész (1)
- In-Situ-Analyse (1)
- Informatik (1)
- Information Extraction (1)
- Information Structure (1)
- Information structure (1)
- Informationsverwendung (1)
- Infrastructure (1)
- Infrastruktur (1)
- Inkorporation (1)
- Installationskunst (1)
- Institutional Public Private Partnerships (1)
- Institutionelle Öffentlich Private Partnerschaften (1)
- Insulin (1)
- Integrationspolitik (1)
- Intergovernmental transfers (1)
- International Organisations (1)
- International Politics (1)
- International Relations (1)
- Internationale Beziehungen (1)
- Internationale Organisationen (1)
- Internationale Politik (1)
- Internet (1)
- Internet Protocol (1)
- Intertextuality (1)
- Intertextualität (1)
- Intervention effects (1)
- Invariance (1)
- Invarianz (1)
- Inversion (1)
- Investment (1)
- Islam (1)
- Israel (1)
- Issac Abraham Euchel (1)
- Jan Böttcher (1)
- Jena (1)
- Jenaer Klassik (1)
- Jugendsprache (1)
- Justus Christian Loder (1)
- Kartoffelknolle (1)
- Kasachstan (1)
- Kazakhstan (1)
- Kenia (1)
- Kenya (1)
- Kiezdeutsch (1)
- Klausurtagung (1)
- Klientelismus (1)
- Klimaänderungen (1)
- Kobalt (1)
- Kollektive Identität (1)
- Kolumbien (1)
- Kommunalwirtschaft (1)
- Kommunikationsaufgabe (1)
- Komplementsatzverstehen (1)
- Komposite (1)
- Konferenz (1)
- Konfliktbewältigung (1)
- Konflikttheorie (1)
- Kongress (1)
- Konsumorietirte Steuerreform (1)
- Korrelation (1)
- Korruption (1)
- Krieg (1)
- Kyoto Protocol (1)
- Kyoto-Protokoll (1)
- Kündigung (1)
- L1 Türkisch (1)
- LAWA (1)
- LHCII (1)
- Ladungstransport (1)
- Landesgröße (1)
- Language Acquisition (1)
- Lattice dynamics (1)
- Laufzeitanalyse (1)
- Lebenschancen (1)
- Lehre (1)
- Lehrevaluation (1)
- Lehrhospitation (1)
- Leitbild (1)
- Lesen (1)
- Lexikalischer Zugriff (1)
- Life-chances (1)
- Linked Data (1)
- Lipolyse (1)
- Lombok (1)
- Ludologie (1)
- Luftmassentransport (1)
- MCMC Simulation (1)
- MHD (1)
- Magnetfeld-Satellit (1)
- Magnetic field measurements (1)
- Magnetische Feldmessungen (1)
- Magnetometer-Kalibrierung (1)
- Marktrecherche (1)
- Martin Walser (1)
- Maskulinität (1)
- Maßregelvollzug (1)
- Medien (1)
- Mediendidaktik (1)
- Mehrtyp-Verzweigungsprozesse (1)
- Melville (1)
- Memorial culture (1)
- Menschenrechtsverletzungen (1)
- Metadatenentdeckung (1)
- Metadatenqualität (1)
- Metaphorologie (1)
- Metaphorology (1)
- Mexiko (1)
- Michail Bachtin (1)
- Microcontact Printing (1)
- Microtus (1)
- Middle-East Conflict (1)
- Migration (1)
- Mikhail Bakhtin (1)
- Mikrosimulation (1)
- Militär (1)
- Minderheit (1)
- Minijobs (1)
- Ministerialverwaltung (1)
- Mizwot (1)
- Moby-Dick (1)
- Model Weighting (1)
- Modelgewichtung (1)
- Modellierung (1)
- Molecular modeling (1)
- Molekulare Modellierung (1)
- Molekülmodelle (1)
- Monetary Policy (1)
- Mongolei (1)
- Mongolia (1)
- Monte Carlo testing (1)
- Moral Reasoning (1)
- Moralbegründung (1)
- Motor Jena (1)
- Multiprocessor (1)
- Multiprozessor (1)
- Multitype branching processes (1)
- Muster (1)
- Musterabgleich (1)
- Mykotoxine (1)
- NCI3 (1)
- NFAT (1)
- NLO (1)
- NW Iran (1)
- Nachwuchskräfte (1)
- Nahostkonflikt (1)
- Nahrungsfette (1)
- Nahrungssuche (1)
- Nanofluidik (1)
- Nanopartikel (1)
- Naturwissenschaft (1)
- Naturwissenschaftler (1)
- Negation (1)
- Neo-Tethys (1)
- Neoliberalismus (1)
- Network Politics (1)
- Netzpolitik (1)
- Neubaugebiet (1)
- Neuer Institutionalismus (1)
- New Institutionalism (1)
- Next Generation Network (1)
- Ngizim (1)
- Nordostdeutsches Tiefland (1)
- North-East German Plain (1)
- Oberflächenkräfte (1)
- Object-Oriented Programming (1)
- Objekt-Orientiertes Programmieren (1)
- Olafur Eliasson (1)
- Opportunity structure (1)
- Opportunitätsstruktur (1)
- Optimality (1)
- Optimalität (1)
- Ordinary Differential Equation model (1)
- Ostantarktis (1)
- Ostdeutschland (1)
- Ozon (1)
- P(VDF-TrFE) (1)
- PDLC (1)
- PDMS (1)
- PPP (1)
- PPP-factors of success (1)
- Palestine (1)
- Palästina (1)
- Parallel Programming (1)
- Parallel Seismik (1)
- Parallele Datenverarbeitung (1)
- Parallelrechner (1)
- Parametrices (1)
- Parlament (1)
- Passiv (1)
- Passive voice (1)
- Patholinguistik (1)
- Pattern Matching (1)
- Patterns (1)
- Peace and Conflict Studies (1)
- Pektatlyase (1)
- Performance Information (1)
- Performance Management (1)
- Performance-Informationen (1)
- Perfromativität (1)
- Persistenz (1)
- Personalauswahl (1)
- Personalmarketing (1)
- Petrinetz (1)
- Pfahl (1)
- Pfefferfließ (1)
- Ph.D. Retreat (1)
- Phase (1)
- Phase II Enzyme (1)
- Phasendynamik (1)
- Phasenkopplung (1)
- Phenotyping (1)
- Philosophical Anthropology (1)
- Philosophische Anthropologie (1)
- Photoelektronenmikroskopie (1)
- Photosynthese (1)
- Photosynthesis (1)
- Physical Network (1)
- Physikalische Quervernetzung (1)
- Phytoplankton (1)
- Phänologie (1)
- Phänotypisierung (1)
- Piezoelektrizität (1)
- PoNeGri (1)
- Policy Enforcement (1)
- Politisierung (1)
- Polyethylenglykol (1)
- Polymer (1)
- Polymer-Netzwerke (1)
- Polymerfilm (1)
- Polymerschaum (1)
- Polynia (1)
- Postmoderne (1)
- Postmodernism (1)
- Potsdam (1)
- Potsdamer Stadtgeschichte (1)
- Predation (1)
- Prediction Markets (1)
- Probabilistic regional envelope curves (1)
- Probabilistische Regionale Hüllkurven (1)
- Professionalisierung der Hochschullehre (1)
- Programmierung (1)
- Prolog (1)
- Property Prices (1)
- Prosody-syntax interface (1)
- Prostaglandin E2 (1)
- Protein (1)
- Protein-Engineering (1)
- Proteom (1)
- Protophase (1)
- Prädation (1)
- Psalm 58 (1)
- Pseudo-Differentialoperatoren (1)
- Pseudo-differential operators (1)
- Psycholinguistik (1)
- Public Management (1)
- Public Sector (1)
- Public-Private Partnerships (1)
- QPM (1)
- Qualitative Sozialforschung (1)
- Qualitative enquiry (1)
- Quellenparameter (1)
- RCAN1 (1)
- RNA (1)
- RUnUP (1)
- Radio Play (1)
- Rashba effect (1)
- Rashba-Effekt (1)
- Raumwirtschaftstheorie (1)
- Rechtsgängige parallele beta-Helix (1)
- Reconfigurable (1)
- Recruiting (1)
- Red Cross (1)
- Region (1)
- Regional Economic Structures (1)
- Regionale Entwicklung (1)
- Regionale Identität (1)
- Reintegration (1)
- Relflexion des Lehrhandelns (1)
- Remote sensing (1)
- Reporting (1)
- Research School (1)
- Revenue Autonomy (1)
- Rheologie (1)
- Rheology (1)
- Risikoanalyse (1)
- Risk analysis (1)
- Roma (1)
- Roman Empires (1)
- Romanticism (1)
- Romantik (1)
- Rotes Kreuz (1)
- Roth GmbH (1)
- RuBisCO (1)
- Russian-Jewish Elites (1)
- Russisch-jüdische Eliten (1)
- Räumlicher Wettbewerb (1)
- Rückkehrprogramm (1)
- SHG (1)
- SOA (1)
- STG decomposition (1)
- STG-Dekomposition (1)
- Satzverständnis (1)
- Schaumfilme (1)
- Schemaentdeckung (1)
- Schimmelpilze (1)
- Schule (1)
- Schutzpflichten (1)
- Schwerefeld (1)
- Schätzung von Verzweigungsprozessen (1)
- Seasonality (1)
- Sedimentbecken (1)
- Seewasserhaushalt (1)
- Selbstzuschreibung (1)
- Selektion (1)
- Selen (1)
- Selenoproteine (1)
- Service Creation (1)
- Service Delivery Platform (1)
- Service Provider (1)
- Service convergence (1)
- Service-oriented Systems Engineering (1)
- Shabbat (1)
- Signalflankengraph (SFG oder STG) (1)
- Signalübertragung (1)
- Simulation (1)
- Simulationsmethoden (1)
- Sintern (1)
- Sinti (1)
- Smalltalk (1)
- Social Welfare Administration of Berlin (1)
- Social closure (1)
- Social structure (1)
- Solferino (1)
- Soliton (1)
- Soviet Union (1)
- Sowjetunion (1)
- Soziale Schließung (1)
- Sozialhilfeverwaltung Berlin (1)
- Sozialisation (1)
- Sozialstruktur (1)
- Spannungsfeld (1)
- Spermidin (1)
- Spin- und winkelaufgelöste Photoemission (1)
- Spinwellen (1)
- Spitzenbeamte (1)
- Sprachproduktion (1)
- Sprachtherapie (1)
- Sprachverständnis (1)
- Sprechapraxie (1)
- Spurenelement-Partitionierung (1)
- Spätantike (1)
- Stadtsoziologie (1)
- Stadtverordnetenversammlung (1)
- Stalinism (1)
- Stalinismus (1)
- Stein's reform for city administration (1)
- Steinsche Städteordnung (1)
- Steuer (1)
- Steuerlastverteilung (1)
- Steuersystem (1)
- Stimulus-Onset Asynchrony (1)
- Stochastische Oszillationen (1)
- Stock Prices (1)
- Stoffwechselprodukt (1)
- Story (1)
- Stratosphäre (1)
- Strausberg (1)
- Straßenfußball (1)
- Structuralism (1)
- Structure d’opportunités (1)
- Structure sociale (1)
- Struktur (1)
- Studienprojekt (1)
- Studienqualität (1)
- Studierendenaustausch (1)
- Styrol (1)
- Städtesysteme (1)
- Störungsinteraktion (1)
- Sukka (1)
- Sulforaphan (1)
- Superoxid (1)
- Support-Vektor-Maschine (1)
- Supraleitender Gravimeter (SG) (1)
- Supramolecular Interaction (1)
- Supramolekularen Wechselwirkung (1)
- Syntaxerwerb (1)
- Synthese (1)
- System (1)
- TIRF (1)
- Takab (1)
- Tax distribution (1)
- Tectonic geomorphology (1)
- Teecatechin (1)
- Tektonische Geomorphologie (1)
- Telekommunikation (1)
- Temporal Logic (1)
- Temporallogik (1)
- Testmethoden (1)
- Text linguistics (1)
- Text structure (1)
- Text type (1)
- Textlinguistik (1)
- Textsorte (1)
- Textstruktur (1)
- Textuality criteria (1)
- Textualitätskriterien (1)
- The media (1)
- Theocracy (1)
- Theokratie (1)
- Theory of Mind (1)
- Théorie du conflit (1)
- Titandioxid (1)
- Tonoplast (1)
- Top-down (1)
- Topic (1)
- Trajektorien (1)
- Transformationsprozesse (1)
- Transnational Diaspora (1)
- Transnationale Diaspora (1)
- Transport Costs (1)
- Transsexualität (1)
- Truth Commissions (1)
- Tsunami (1)
- Turbine Erfurt (1)
- Two-Photon-Absorption (1)
- Typologie (1)
- UN (1)
- Ulrike Leitner (1)
- Universität Jena (1)
- Universitätsroman (1)
- Unscented Kalman Filter (1)
- Unternehmensethik (1)
- Unterrichtseinheiten (1)
- Use of Information (1)
- VIL (1)
- VOC (1)
- Variabilität (1)
- Verben (1)
- Vereinigungs-Mapping (1)
- Vergangenheitsbewältigung (1)
- Vergütungssysteme (1)
- Verletzung Auflösung (1)
- Verletzung Erklärung (1)
- Vernunft (1)
- Verteilungsfunktionen mit einer oberen Grenze (1)
- Verwaltung (1)
- Verwaltungssteuerung (1)
- Videospiele (1)
- Violation Explanation (1)
- Violation Resolution (1)
- Violence (1)
- Vorerwähntheit (1)
- Vorhersagbarkeit (1)
- Vulcano (1)
- Vulkan (1)
- Vulkan Verformung (1)
- Wachstum (1)
- Wahlen (1)
- Wahrheitskommissionen (1)
- Waldumbau (1)
- Wanderungen (1)
- War (1)
- Wasser (1)
- Wasserabsorption (1)
- Wassermassenvariationen (1)
- Wasserspeicheränderungen (1)
- Web-Anwendungen (1)
- Wehrpflicht (1)
- Wellengleichung (1)
- Weltwirtschaftskrise (1)
- Werkbegriff (1)
- Westerplatte (1)
- Westgoten (1)
- Wikipedia (1)
- Wilhelm von Humboldt (1)
- Wirtschaftsethik (1)
- Wirtschaftspolitik (1)
- Wohlfahrtsstaatsforschung (1)
- World War II (1)
- Währungspolitik (1)
- Wühlmaus (1)
- XM (1)
- Zapatisten (1)
- Zeitgenossen (1)
- Zeitreihenanalyse (1)
- Zelladhäsion (1)
- Zerstörungsfreie Prüfung (1)
- Zirkulardichroismus (1)
- Zukunftsmärkte (1)
- Zuwanderer (1)
- Zwei-Länder-Modell (1)
- Zweiphotonenanregung (1)
- Zweiter Weltkrieg (1)
- accelerated life time model (1)
- acyltransferase gene family (1)
- aerosol (1)
- aesthetics of performative (1)
- affective priming (1)
- agglomeration (1)
- agrammatism (1)
- air mass transport (1)
- amino-acids (1)
- analytical approaches (1)
- analytische Lösungsansätze (1)
- apraxia of speech (1)
- aspect (1)
- aspect adapter (1)
- aspect oriented programming (1)
- aspect-oriented (1)
- aspects (1)
- aspectualization (1)
- assessment methods (1)
- associated anisotropy (1)
- association mapping (1)
- attribute analysis (1)
- autocracy (1)
- automatic processes (1)
- bewaffnete Konflikte (1)
- bioactive (1)
- bioaktiv (1)
- biomarker (1)
- biosensor (1)
- biotin streptavidin (1)
- bipolar blockcopolymers (1)
- bipolare Blockcopolymere (1)
- bistable regime (1)
- borders (1)
- bottom water (1)
- bottom-up (1)
- bottom–up (1)
- bug tracking (1)
- built–in predicates (1)
- buraucratisation (1)
- business ethics (1)
- cadmium tolerance (1)
- calcineurin (1)
- capital and ownership structure (1)
- cell adhesion (1)
- cellular signalling (1)
- censoring (1)
- central Andes (1)
- centralization (1)
- chaotic oscillations (1)
- charge transport (1)
- chemistry-transport-model (1)
- chemometrics (1)
- chlorbenzol (1)
- circular dichroism (1)
- city council (1)
- climate policy (1)
- cobalt (1)
- collective memory (1)
- colon carcinogenesis (1)
- complex networks (1)
- compliance (1)
- comprehension of complement sentences (1)
- computer games (1)
- concurrency (1)
- conference (1)
- consistency (1)
- constitutive activity (1)
- control resynthesis (1)
- core executive (1)
- core field modeling (1)
- core flow modeling (1)
- coronal mass ejections (1)
- correlation (1)
- corruption (1)
- cristianismo (1)
- crosscutting wrappers (1)
- curriculum framework (1)
- cyanine dyes (1)
- cyclosporin A (1)
- cysteine synthase complex (1)
- cytochrome c (1)
- data integration (1)
- data profiling (1)
- de novo ncRNA Vorhersage (1)
- de novo ncRNA prediction (1)
- debugging (1)
- decentralization (1)
- deductive databases (1)
- degradation (1)
- democracy (1)
- democrazy (1)
- dendritic network (1)
- development cooperation (1)
- dichlorbenzol (1)
- dichlorobenzene (1)
- dictyostelium cell (1)
- dietary lipids (1)
- dietary supplements (1)
- differential gene expression (1)
- digitale Medien (1)
- direct taxes (1)
- discourse analysis (1)
- dismissal (1)
- distributed systems (1)
- domestic work (1)
- double taxation (1)
- dynamic reconfiguration (1)
- dynamics (1)
- earthquake (1)
- eclogite (UHP) (1)
- economic ethics (1)
- edge- and corner-degenerate symbols (1)
- education (1)
- efficient market hypothesis (1)
- elections (1)
- electro-optical (1)
- electrochemistry (1)
- electroluminsecence (1)
- electrospinning (1)
- elektro-optisch (1)
- elite athletes (1)
- ellipticity (1)
- employment policies (1)
- endocannabinoids (1)
- energy homeostasis (1)
- energy metabolism (1)
- enterprise search (1)
- epigallocatechin gallate (1)
- ereigniskorrelierte Potentiale (1)
- estructuralismo (1)
- ethnic differences (1)
- evaluation (1)
- evaluative priming (1)
- event-related potentials (1)
- evolving systems (1)
- exercise (1)
- exhumation rates (1)
- extension theory (1)
- extensions of logic programs (1)
- eye tracking (1)
- family policies (1)
- fat metabolism (1)
- femininity (1)
- ferroelectret (1)
- fiber (1)
- finite differences (1)
- fire (1)
- fiscal federalism (1)
- fiscal planning (1)
- fiscal policy (1)
- fluid-melt interaction (1)
- fluorescence (1)
- fluorescence anisotropy (1)
- fluorescence correlation spectroscopy (1)
- foam films (1)
- focus particle (1)
- focus sensitive expressions (1)
- forest conversion (1)
- forschendes Lernen (1)
- forward / backward chaining (1)
- foundation (1)
- fragile state (1)
- fragility index (1)
- fremdsprachige Kommunikation (1)
- frequency (1)
- frozen-flux (1)
- function symbols (1)
- functional (1)
- functional reservation (1)
- functional-analysis (1)
- funktional (1)
- gelatin (1)
- gene expression matrix (1)
- generalized logic programs (1)
- genotyping (1)
- geochronology (1)
- geomagnetic (1)
- geometric algebra (1)
- geovirtual environments (1)
- geovirtuelle Umgebungen (1)
- german defense force (1)
- global sensitivity analysis (1)
- global water cycle (1)
- glutathione homeostasis (1)
- godos (1)
- good governance (1)
- goodness-of-fit testing (1)
- goths (1)
- grammar inference (1)
- granitoids (1)
- granulare Kette (1)
- graph-based ranking (1)
- graphene (1)
- gravity (1)
- green tea (1)
- ground penetrating radar (1)
- groundwater recharge (1)
- gydrological modelling (1)
- harmonization (1)
- haushaltsnahe Dienstleistung (1)
- health behavior (1)
- heterogeneous tissue (1)
- higher education (1)
- higher singularities (1)
- historical cross-section (1)
- historical maps (1)
- historischer Querschnitt (1)
- historisches Kartenmaterial (1)
- history (1)
- history of mathematics (1)
- history of the city of Potsdam (1)
- homogeneous cell population (1)
- horizontal effect (1)
- hospital order treatment (1)
- household services (1)
- housing estate (1)
- human dynamics (1)
- humanitäres Völkerrecht (1)
- hunger hormone (1)
- hybrid thin solar cells (1)
- hybride Solarzellen (1)
- hydrogels (1)
- hydrological monitoring and modelling (1)
- hydrologische Modellierung (1)
- höhere Singularitäten (1)
- ice dynamics (1)
- identification (1)
- identity (1)
- image processing (1)
- implicit (1)
- implizit (1)
- in-situ analysis (1)
- index (1)
- indirect taxes (1)
- individual based modeling (1)
- individuelle Modellierung (1)
- inflection (1)
- informatics (1)
- information exchange (1)
- information extraction (1)
- inkorporation (1)
- insect (1)
- installation art (1)
- instrumental seismology (1)
- instrumentelle Seismologie (1)
- integrated personal income tax (1)
- integration (1)
- inter- and intra-station variability (1)
- interfacial forces (1)
- international humanitarian law (1)
- international tax law (1)
- invasive aspects (1)
- inverse Modellierung (1)
- inverse modeling (1)
- inversion (1)
- iron (1)
- joint normal distribution (1)
- kanten- und ecken-entartete Symbole (1)
- knowledge representation (1)
- kollektives Gedächtnis (1)
- komplexe Netzwerke (1)
- konvergente Dienste (1)
- lakes water balance (1)
- language comprehension (1)
- language production (1)
- learning theory (1)
- legal framework of municipal (1)
- lesson evaluation (1)
- lexical access (1)
- linguistic determinism (1)
- linguistische Determinismushypothese (1)
- local economy (1)
- local identity (1)
- long memory (1)
- low wage sector (1)
- lower channel (1)
- ludology (1)
- magnetic field satellites (1)
- magnetic fields (1)
- magnetohydrodynamics (1)
- magnetometer calibration (1)
- map-based cloning (1)
- masculinity (1)
- menschliche Dynamik (1)
- mergers and acquisitions (1)
- metabolite (1)
- metadata discovery (1)
- metadata quality (1)
- methodology (1)
- methods of simulation (1)
- microdissection (1)
- microfluidic device (1)
- microsimulation (1)
- minerals (1)
- model (1)
- modelling (1)
- molecular modeling (1)
- monochlorobenzene (1)
- mould (1)
- multi core data processing (1)
- multi-stage exhumation (1)
- multi-valued logic (1)
- mycotoxins (1)
- nanofluidics (1)
- nanoparticles (1)
- nation building (1)
- negation (1)
- nematic LC (1)
- neu gelesen (1)
- new economic geography (1)
- nichtlineare Dynamik (1)
- non-destructive testing (1)
- nonlinear Dynamics (1)
- nonparametric regression estimation (1)
- numerical relativity (1)
- numerischen Relativitätstheorie (1)
- o-acetylserine(thiol)lyase gene (1)
- ordinary differential equation (1)
- organic light emitting diode (1)
- organische Licht emittierende Diode (1)
- oriental city (1)
- orientalische Stadt (1)
- out of area missions (1)
- ozone (1)
- paraconsistency (1)
- parafoveal preview (1)
- parallel seismic (1)
- parametrices (1)
- parliament (1)
- partial melting (1)
- participation of citizens (1)
- patholinguistics (1)
- peace process (1)
- pectate lyase (1)
- pepper yield (1)
- perception of history (1)
- performative Ästhetik (1)
- performativity (1)
- persistence (1)
- petri net (1)
- petty offence (1)
- phase II enzymes (1)
- phase coupling (1)
- phase dynamics (1)
- phenology (1)
- phosphorescent Terpolymers (1)
- phosphoreszente Terpolymere (1)
- photoelectron microscopy (1)
- phytoplankton (1)
- piezo-optical (1)
- piezo-optisch (1)
- piezoelectricity (1)
- pile (1)
- plant functional types (1)
- politicisation (1)
- polyethylene glycol (1)
- polymer film (1)
- polymer foam (1)
- polymer networks (1)
- polymers (1)
- polynya (1)
- porous scaffolds (1)
- poröse Gerüste (1)
- potato tuber (1)
- predictability (1)
- privatisation (1)
- privatization (1)
- professionalisation of teaching in higher education (1)
- profiling (1)
- program analysis (1)
- programming (1)
- programming language (1)
- prostaglandin E2 (1)
- protection duties (1)
- protein (1)
- protein engineering (1)
- protein folding (1)
- proteome (1)
- psycholinguistics (1)
- public enterprise (1)
- qPCR (1)
- quantile normalization (1)
- raumbezogene Straftatenanalyse (1)
- reconciliation work and family (1)
- reflection (1)
- regenerative Medizin (1)
- regenerative medicine (1)
- region (1)
- regional development (1)
- rekonfigurierbar (1)
- relfection on teaching (1)
- remembrance (1)
- remote sensing (1)
- residue (1)
- reusable aspects (1)
- revenue authorities (1)
- revenue sharing (1)
- right-handed parallel beta-helix (1)
- räumliche Wirtschaftsstrukturen (1)
- schema discovery (1)
- security policies (1)
- sedimentary basin (1)
- seismische Rauschen (1)
- seismisches Rauschen (1)
- seismo-electromagnetic (1)
- selbsterhaltende Oszillatoren (1)
- selection (1)
- selenium (1)
- selenoproteins (1)
- self-sustained Oscillators (1)
- semantic fieldwork (1)
- semantic priming (1)
- semantic web services (1)
- semantics (1)
- sentence comprehension (1)
- sentence processing (1)
- serine acetyltransferase (1)
- service mediation (1)
- service-oriented (1)
- shadow economy (1)
- siglos IV-V d.C (1)
- signal transduction (1)
- signal transition graph (1)
- simulation (1)
- smalltalk (1)
- social integration (1)
- social networks (1)
- socialisation (1)
- source parameters (1)
- soziale Integration (1)
- soziale Netzwerke (1)
- species richness (1)
- speech and language therapy (1)
- speed independent (1)
- spermidine (1)
- spin waves (1)
- spin- and angle-resolved photoemission (1)
- stable fixed point (1)
- stable states (1)
- state theory (1)
- status quo and reform model (1)
- stem selection (1)
- stimulus-onset asynchrony (1)
- stochastic oscillations (1)
- stock market (1)
- stock returns (1)
- stratification (1)
- stratosphere (1)
- street football (1)
- stress field (1)
- structure (1)
- student exchange (1)
- student project (1)
- styrene (1)
- subjektwissenschaftliche Lerntheorie (1)
- sulforaphane (1)
- sulfur metabolism (1)
- sun (1)
- superconducting gravimeter (SG) (1)
- superoxide (1)
- support vector machine (1)
- sustainable fiscal policy (1)
- syntax (1)
- syntax acquisition (1)
- tax harmonization (1)
- tax policy evaluation (1)
- tea catechin (1)
- teaching units (1)
- tectonic (1)
- temporal gravity variations (1)
- theory of mind (1)
- thermal treatment (1)
- thermo-responsive Polymere (1)
- thermo-responsive polymers (1)
- thermodynamic stability (1)
- thermodynamische Stabilität (1)
- three-state model (1)
- time series analysis (1)
- titanium dioxide (1)
- tolerable upper limits (1)
- top bureaucrats (1)
- top-down (1)
- top– down (1)
- total internal reflection fluorescence (1)
- trace element partitioning (1)
- trajectories (1)
- transnational migration (1)
- transnationale Migration (1)
- transparency (1)
- transsexuality (1)
- tuple spaces (1)
- typology (1)
- universities (1)
- urban sociology (1)
- urban systems (1)
- variability (1)
- vector algebra (1)
- verbs (1)
- video games (1)
- views (1)
- visual word recognition (1)
- visuelle Worterkennung (1)
- vitamins (1)
- volcano deformation (1)
- water (1)
- water absorbance (1)
- water mass variations (1)
- water storage changes (1)
- wave equation (1)
- web services (1)
- web-applications (1)
- word processing (1)
- work ethics (1)
- zeitabhängige Gravitationsvariation (1)
- zentralen Anden (1)
- §§ 81 (1)
- Ästhetik (1)
- ÖPP (1)
- ÖPP-Erfolgsfaktoren (1)
- Öffentlich Private Partnerschaften (1)
- Öffentlichkeit (1)
- Übergangsprozesse (1)
- öffentliche Unternehmen (1)
Institute
- Institut für Biochemie und Biologie (162)
- Institut für Romanistik (103)
- Institut für Chemie (95)
- Institut für Geowissenschaften (90)
- Institut für Physik und Astronomie (90)
- Historisches Institut (80)
- Wirtschaftswissenschaften (76)
- Institut für Informatik und Computational Science (59)
- Institut für Jüdische Studien und Religionswissenschaft (54)
- Department Linguistik (52)
In the most abstract definition of its operational semantics, the declarative and concurrent programming language CHR is trivially non-terminating for a significant class of programs. Common refinements of this definition, in closing the gap to real-world implementations, compromise on declarativity and/or concurrency. Building on recent work and the notion of persistent constraints, we introduce an operational semantics avoiding trivial non-termination without compromising on its essential features.
Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.
Deductive databases need general formulas in rule bodies, not only conjuctions of literals. This is well known since the work of Lloyd and Topor about extended logic programming. Of course, formulas must be restricted in such a way that they can be effectively evaluated in finite time, and produce only a finite number of new tuples (in each iteration of the TP-operator: the fixpoint can still be infinite). It is also necessary to respect binding restrictions of built-in predicates: many of these predicates can be executed only when certain arguments are ground. Whereas for standard logic programming rules, questions of safety, allowedness, and range-restriction are relatively easy and well understood, the situation for general formulas is a bit more complicated. We give a syntactic analysis of formulas that guarantees the necessary properties.
Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver.
The interest in extensions of the logic programming paradigm beyond the class of normal logic programs is motivated by the need of an adequate representation and processing of knowledge. One of the most difficult problems in this area is to find an adequate declarative semantics for logic programs. In the present paper a general preference criterion is proposed that selects the ‘intended’ partial models of generalized logic programs which is a conservative extension of the stationary semantics for normal logic programs of [Prz91]. The presented preference criterion defines a partial model of a generalized logic program as intended if it is generated by a stationary chain. It turns out that the stationary generated models coincide with the stationary models on the class of normal logic programs. The general wellfounded semantics of such a program is defined as the set-theoretical intersection of its stationary generated models. For normal logic programs the general wellfounded semantics equals the wellfounded semantics.
We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].
We present the tool Kato which is, to the best of our knowledge, the first tool for plagiarism detection that is directly tailored for answer-set programming (ASP). Kato aims at finding similarities between (segments of) logic programs to help detecting cases of plagiarism. Currently, the tool is realised for DLV programs but it is designed to handle various logic-programming syntax versions. We review basic features and the underlying methodology of the tool.
In this paper we consider a simple syntactic extension of Answer Set Programming (ASP) for dealing with (nested) existential quantifiers and double negation in the rule bodies, in a close way to the recent proposal RASPL-1. The semantics for this extension just resorts to Equilibrium Logic (or, equivalently, to the General Theory of Stable Models), which provides a logic-programming interpretation for any arbitrary theory in the syntax of Predicate Calculus. We present a translation of this syntactic class into standard logic programs with variables (either disjunctive or normal, depending on the input rule heads), as those allowed by current ASP solvers. The translation relies on the introduction of auxiliary predicates and the main result shows that it preserves strong equivalence modulo the original signature.
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.
A wide range of additional forward chaining applications could be realized with deductive databases, if their rule formalism, their immediate consequence operator, and their fixpoint iteration process would be more flexible. Deductive databases normally represent knowledge using stratified Datalog programs with default negation. But many practical applications of forward chaining require an extensible set of user–defined built–in predicates. Moreover, they often need function symbols for building complex data structures, and the stratified fixpoint iteration has to be extended by aggregation operations. We present an new language Datalog*, which extends Datalog by stratified meta–predicates (including default negation), function symbols, and user–defined built–in predicates, which are implemented and evaluated top–down in Prolog. All predicates are subject to the same backtracking mechanism. The bottom–up fixpoint iteration can aggregate the derived facts after each iteration based on user–defined Prolog predicates.