Refine
Year of publication
- 2007 (487) (remove)
Document Type
- Article (213)
- Doctoral Thesis (105)
- Conference Proceeding (65)
- Monograph/Edited Volume (40)
- Part of a Book (17)
- Postprint (12)
- Preprint (10)
- Master's Thesis (7)
- Other (6)
- Review (6)
Language
- English (487) (remove)
Keywords
- focus (5)
- Arabidopsis thaliana (4)
- Focus (4)
- Japanese (3)
- Seismologie (3)
- Synchronisation (3)
- Synchronization (3)
- Topic (3)
- contrastive focus (3)
- AMNET (2)
- Diversität (2)
- Erdbeben (2)
- Indischer Ozean (2)
- Information Structure (2)
- Intonation (2)
- Klimawandel (2)
- Modellierung (2)
- Perception (2)
- Raman (2)
- Transkriptionsfaktoren (2)
- Tsunami (2)
- ad hoc learning (2)
- ad hoc messaging network (2)
- cleft constructions (2)
- diversity (2)
- e-learning platform (2)
- eye movements (2)
- givenness (2)
- information structure (2)
- prosody (2)
- scope of focus (2)
- synchronization (2)
- transcription factors (2)
- (Statement-Question Matching) (1)
- (implicit) prosody (1)
- 3D Linsen (1)
- 3D lenses (1)
- Abflussbildung (1)
- Aboutness Topics (1)
- Accretion (1)
- Active Galactic Nuclei (1)
- Adsorption (1)
- Agent (1)
- Agrarökosystem (1)
- Akkretion (1)
- Aktive Galaxienkerne (1)
- Alternative Semantics (1)
- Alzheimer's Disease (1)
- Anden (1)
- Andes (1)
- Antarctic (1)
- Antarktis (1)
- Anthropometrie (1)
- Antwortmengenprogrammierung (1)
- Atomwaffen (1)
- Atomwaffensperrvertrag (1)
- Attention (1)
- Aufmerksamkeit (1)
- Australia (1)
- Australien (1)
- Automated Theorem Proving (1)
- Automatisches Beweisen (1)
- Bedeutung (1)
- Bemessungshochwasser (1)
- Bias (1)
- Bilddatenanalyse (1)
- Bildgeschichtenaufgabe (1)
- Bilirubin oxidase (1)
- Biogenic amine (1)
- Biosensor (1)
- Blickbewegung (1)
- Blickbewegungen (1)
- Blickbewegungskontrolle (1)
- Bodenhydrologie (1)
- Bologna process (1)
- Brain Code (1)
- Bruchausbreitung (1)
- Calorimetry (1)
- Cell cycle (1)
- Celtic languages (1)
- Chaos (1)
- Chemotaxis (1)
- Chile (1)
- Chilean Andes (1)
- Christian Hebraists (1)
- Clause Learning (1)
- Climate (1)
- Climate change (1)
- Cloze predictability (1)
- Cloze-Vorhersagbarkeit (1)
- Colombia (1)
- Complex Speech Acts (1)
- Context (1)
- Continental Celtic (1)
- Contrast (1)
- Correlation Analysis (1)
- Corynephorus canescens (1)
- Cosmic Dust (1)
- Covalent imprinting (1)
- Cretaceous (1)
- Cytochrome c (1)
- DGVM (1)
- DPLL (1)
- Daten Analyse (1)
- Deduction (1)
- Deligne Cohomology (1)
- Deligne Kohomologie (1)
- Democracy Promotion (1)
- Demokratieförderung (1)
- Demokratisierung (1)
- Development (1)
- Dezentralisierung (1)
- Diversity (1)
- Divisionsbäume (1)
- Domänen (1)
- Downstep (1)
- Dynamics (1)
- Dynamik (1)
- EAAT1 (1)
- Earthquake (1)
- East Prussia (1)
- Echtzeitanwendung (1)
- Electron acceleration (1)
- Electron transfer (1)
- Elektronenbeschleunigung (1)
- Energieerzeugung (1)
- Entwicklung (1)
- Equisetum hyemale (1)
- Erzählungen (1)
- Etablierung (1)
- European Foreign Policy (1)
- European Neighbourhood Policy (1)
- European Union (1)
- Europäische Außenpolitik (1)
- Europäische Nachbarschaftspolitik (1)
- Europäische Union (1)
- Evolution of Language (1)
- Eye movement (1)
- F-marking (1)
- FARIMA (1)
- Faltungsdynamik (1)
- Filament-Bündel (1)
- Filamente (1)
- Fiscal decentralisation (1)
- Fluss-Seen (1)
- Foodo (1)
- Fore-Arc (1)
- Fructose (1)
- Fructosyl valine (1)
- G protein-coupled receptor (1)
- G-marking (1)
- GITEWS (1)
- Gender (1)
- Gene expression profiling (1)
- Genetic transformation (1)
- Geochemie (1)
- Geometrieerzeugung (1)
- George W. Bush (1)
- Geostatistik (1)
- Gerben (1)
- Gerbes (1)
- Geschichte 2003-2006 (1)
- Geschlecht (1)
- Geschwindigkeit (1)
- Gewässerökologie (1)
- Givenness (1)
- Gleichgewicht der Kräfte (1)
- Global Differentialgeometry (1)
- Globale Differentialgeometrie (1)
- Glutamat (1)
- Glutamate (1)
- Glycated hemoglobin (1)
- Gravitational Wave (1)
- Gravitationswellen (1)
- HMA (1)
- Habitatmodell (1)
- Handedness (1)
- Hangstabilität (1)
- Hauptfaserbündel (1)
- HbA1c (1)
- Holonomie (1)
- Holonomy (1)
- Hsp (1)
- Human-Eco-System (1)
- Hydrodynamischer Fluss (1)
- Hydrologic Modeling (1)
- Hydrologische Modellierung (1)
- Hyperakkumulation (1)
- I/O-effiziente Algorithmen (1)
- IASP Program of the DAAD (1)
- Identity (1)
- Identität (1)
- Immunhistochemie (1)
- Indefinites (1)
- India (1)
- Indian Ocean (1)
- Indien (1)
- Indonesia (1)
- Information (1)
- Information Processing (1)
- Inselkeltisch (1)
- Insular Celtic (1)
- Intervention Effect (1)
- Investitionspolitik (1)
- Irak (1)
- Jets (1)
- Jhabua (1)
- Joint study programs (1)
- Judaism (1)
- Judentum (1)
- Jugendliche (1)
- Kinesin (1)
- Klausellernen (1)
- Klima (1)
- Kohlenstoffhaushalt (1)
- Kohlenstoffmaterialien (1)
- Kohlenstoffmodell (1)
- Kolokalisation (1)
- Kolumbien (1)
- Konditionalregeln (1)
- Konkomba (1)
- Kontext (1)
- Kontinentalkeltisch (1)
- Kosmischer Staub (1)
- Kreide (1)
- Kuramoto Modell (1)
- Kuramoto model (1)
- Künstliche Intelligenz (1)
- LPJ (1)
- Landnutzungswandel (1)
- Latent Semantic Analysis (1)
- Latente-Semantische-Analyse (1)
- Laufzeitresiduen (1)
- Leaf trichomes (1)
- Left-Dislocation (1)
- Literatur (1)
- Literature (1)
- Logarithmic Sobolev inequality (1)
- Logisches Denken (1)
- MCHR-1 (1)
- MHD (1)
- MIP sensor (1)
- Maaseh Book (1)
- Maassebuch (1)
- Madhya Pradesh (1)
- Magmatismus (1)
- Magnetohydrodynamics (1)
- Magnetohydrodynamik (1)
- Mais (1)
- Maize (1)
- Management (1)
- Marokko (1)
- Mars (1)
- Massenbewegung (1)
- Massenverlust (1)
- Maysebuch (1)
- Maßstabsabhängigkeit (1)
- Meaning (1)
- Melampyrum pratense (1)
- Membran (1)
- Mentale Modell Theorie (1)
- Mergel (1)
- Mesoporosity (1)
- Mesoporosität (1)
- Metabolism (1)
- Methankreislauf (1)
- Microalgae (1)
- Mikroalgen (1)
- Mikrotomographie (1)
- Minderheit (1)
- Mobile learning (1)
- Monte Carlo (1)
- Morbus Alzheimer (1)
- Morocco (1)
- Musterbildung (1)
- N400 (1)
- Nachhaltigkeit (1)
- Nation (1)
- Negative (1)
- Networks (1)
- Netzwerk (1)
- Neuronsreliabilität (1)
- Neuropeptides (1)
- Nichtlineare Wellen (1)
- Nichtverbreitung von Kernwaffen (1)
- Nitrat (1)
- Nitrate (1)
- Noise (1)
- Nonlinear waves (1)
- Nuclear non-proliferation (1)
- Nährstoffe (1)
- Oberflächengitter (1)
- Oculomotor control (1)
- On.Line Monitoring (1)
- Ostpreußen (1)
- P-Typ ATPase (1)
- Partition (1)
- Pattern-oriented parameter estimation (1)
- Permafrostökosysteme (1)
- Persistenzlänge (1)
- Phase (1)
- Phase Diffusion (1)
- Phasen-Gleichungen (1)
- Phasen-Oszillatoren (1)
- Phasendiffusion (1)
- Photon density waves (1)
- Photonendichtewellen (1)
- Pitch Reset (1)
- Plant hormones (1)
- Plastid (1)
- Point Process (1)
- Polar Questions (1)
- Politikdiffusion (1)
- Politiktransfer (1)
- Polizeireform (1)
- Polydispersität (1)
- Polyelectrolyte (1)
- Polymere (1)
- Post-Focus Reduction (1)
- Prinicipal Fibre Bundles (1)
- Probabilistische Theorie (1)
- Prosody (1)
- Protein Multilayer (1)
- Proteinfaltung (1)
- Proximity-Effekt (1)
- Präferenzen (1)
- Quantificational Variability Effects (1)
- Quasar (1)
- Quasare (1)
- Ramsey test (1)
- Ramsey-Test (1)
- Ratte (1)
- Rauschen (1)
- Recurrence Plot (1)
- Recursivity (1)
- Regeneratin (1)
- Regeneration (1)
- Reliability of Neurons (1)
- Rollende Adhäsion (1)
- Rupture Propagation (1)
- Röntgenbeugung (1)
- Röntgenhintergrund (1)
- SAT (1)
- SAXS (1)
- SDRT (1)
- SWAP (1)
- Saccade (1)
- Sakkade (1)
- Saturation model (1)
- Saturn (1)
- Schleifenschließung (1)
- Schwefel (1)
- Second Occurrence Focus (1)
- Seen (1)
- Segmentierung (1)
- Seismology (1)
- Seismotektonik (1)
- Semi-arid (1)
- Shader (1)
- Shock waves (1)
- Shrub encroachment (1)
- Signal transfer chain (1)
- Siliciumdioxid (1)
- Simulationen (1)
- Simulations (1)
- Simulationsmodell (1)
- Single cell level (1)
- Skelettberechnung (1)
- Social Identity Theory (1)
- Solar corona (1)
- Sonne (1)
- Sonnenkorona (1)
- Southeast Asia (1)
- Spielleistung (1)
- Spleißvariante (1)
- Splice Variant (1)
- Sprachkontakt (1)
- Spurengasflüsse (1)
- Sternwinde (1)
- Stochastics (1)
- Stochastik (1)
- Stochastische Prozesse (1)
- Stochastischer Prozess (1)
- Stoffwechsel (1)
- Stokesion Dynamics (1)
- Stokessche Dynamik (1)
- Stoßwellen (1)
- Strahlungstransport (1)
- Strike-Slip Störungen (1)
- Stäbchen (1)
- Subduktionszone (1)
- Substrat (1)
- Sukzession (1)
- Sun (1)
- Surface characterization (1)
- Surrogate Data (1)
- Synchrony (1)
- Südostasien (1)
- Tachocline (1)
- Tachokline (1)
- Tag Questions (1)
- Taylor-Couette (1)
- Team Composition (1)
- Team Development (1)
- Testen (1)
- Tetration (1)
- Thermistor (1)
- Tone (language) (1)
- Topic/Comment (1)
- Transatlantic Degree Program (TDP) (1)
- Transport (1)
- TreeNet (1)
- Trichome initial cells (1)
- Tropen (1)
- Type I AGN (1)
- Type II AGN (1)
- US foreign policy (1)
- US-Außenpolitik (1)
- Understanding (1)
- Unilateralismus (1)
- Unsicherheitsanalyse (1)
- Upper Limit (1)
- Vegetationsmodell (1)
- Verhältnis der Struktur und Funktion (1)
- Verstehen (1)
- Vesikel (1)
- Vietnamese (1)
- Virtuelles 3D Stadtmodell (1)
- Visualisierung (1)
- Visualisierungsmodell (1)
- Volleyball (1)
- WASA (1)
- WOFOST (1)
- WRKY (1)
- Wahlen (1)
- Wahlmuster (1)
- Wahlverhalten (1)
- Wahrnehmung (1)
- Wassergüte (1)
- Weglänge (1)
- Weitwinkelröntgenstreuung (1)
- Weißstorch (1)
- Wellengeschwindigkeiten (1)
- Wh-question (1)
- Whinterrogatives (1)
- Wide Scope (1)
- Wiederkehrverhalten (1)
- Winterschachtelhalm (1)
- Wittgenstein (1)
- Wort-n-Gramme-Wahrscheinlichkeit (1)
- X-ray background (1)
- Zelladhäsion (1)
- Zink (1)
- Zusammenarbeit in Sicherheitsfragen (1)
- [N]phenylene dyads (1)
- [N]phenylenes (1)
- adolescents (1)
- adsorption (1)
- adverbial quantification (1)
- alternative semantics presupposition projection (1)
- answer set programming (1)
- anthropometry (1)
- antioxidant response (1)
- arid (1)
- artificial intelligence (1)
- asymptotic stable (1)
- attractive interaction (1)
- attraktive Wechselwirkung (1)
- azobenzene polymer (1)
- azobenzenhaltige Polymere (1)
- balance of power (1)
- bild (1)
- biodiversity (1)
- breadth of focus (1)
- c-Fos (1)
- carbon cycle (1)
- carbon materials (1)
- cell adhesion (1)
- cell cycle (1)
- chilenische Anden (1)
- chloroplast (1)
- christliche Hebraisten (1)
- ciconia ciconia (1)
- climate change (1)
- clitic doubling (1)
- colocalisation study (1)
- community (1)
- complex brain networks (1)
- complexity (1)
- conditional reasoning (1)
- conjunction (1)
- contrastive topic (1)
- corrective focus (1)
- data analysis (1)
- de Sitter model ; Fundamental solutions ; Decay estimates (1)
- de-accenting (1)
- decentralization (1)
- deep-seated landslide (1)
- definites (1)
- degenerate elliptic equations (1)
- democratization (1)
- discourse expectability (1)
- division trees (1)
- domains (1)
- economic transformation (1)
- economics curriculum (1)
- elections (1)
- electoral patterns (1)
- emphasis (1)
- erzeugte Kraft (1)
- establishment (1)
- event-related potentials (ERP) (1)
- exhaustive identification (1)
- external memory algorithms (1)
- eye-movements (1)
- filament bundles (1)
- filaments (1)
- fiscal federalism (1)
- fiscal policy (1)
- fixation durations (1)
- focus ambiguity (1)
- focus anaphoricity (1)
- focus constructions (1)
- focus intonation (1)
- focus meaning (1)
- focus position (1)
- focus type (1)
- focus types (1)
- folding dynamics (1)
- fore-arc (1)
- freshwater ecology (1)
- generated force (1)
- genetische Manipulation (1)
- geochemistry (1)
- geometry generation (1)
- geostatistics (1)
- geovisualization (1)
- global change (1)
- global solution (1)
- governance (1)
- hierarchical model (1)
- hierarchical porosity (1)
- hierarchische Porosität (1)
- hierarchisches Model (1)
- higher operations (1)
- hydrodynamic flow (1)
- hydrodynamic modeling (1)
- hydrodynamische Modellierung (1)
- hydrological processes (1)
- hydrologische Prozesse (1)
- hyperaccumulation (1)
- höhere Operationen (1)
- image (1)
- image data analysis (1)
- immunohistochemistry (1)
- implicit motives (1)
- implizite Motive (1)
- individual-based model (1)
- informational focus (1)
- insect (1)
- interface (1)
- intergalactic medium (1)
- intergalaktisches Medium (1)
- intergovernmental relations (1)
- intonation (1)
- intonation (language) (1)
- job characteristics (1)
- keltische Sprachen (1)
- kinesin (1)
- komplexe Hirnnetzwerke (1)
- lakes (1)
- landslide hydrology (1)
- landuse change (1)
- langreichweitige Korrelationen (1)
- language contact (1)
- lexical tone (1)
- local and regional autonomy (1)
- local jurisdictions (1)
- logic programming (1)
- logische Programmierung (1)
- long-memory (1)
- long-range dependence (1)
- loop closure (1)
- magmatism (1)
- management (1)
- marls (1)
- mass loss (1)
- massereiche Sterne (1)
- massive stars (1)
- mean first passage times (1)
- medical (1)
- medizinisch (1)
- membrane (1)
- mental modell theory (1)
- methane cycle (1)
- micro- and nanotechnologies (1)
- microbial processes (1)
- microtomography (1)
- mikrobielle Prozesse (1)
- mobile learning (1)
- modeling (1)
- morphological focus marking (1)
- nachhaltige Landnutzung (1)
- negative polarity item (NPI) (1)
- neogene (1)
- neuropeptides (1)
- nichtgenestete Modellselektion (1)
- non-nested model selection (1)
- nonlinear dynamics (1)
- nuclear non-proliferation treaty (1)
- nuclear weapons (1)
- numerical models (1)
- numerische Modelle (1)
- nutrients (1)
- overgrazing (1)
- oxidative stress (1)
- p-type ATPase (1)
- parafoveal-on-foveal effects (1)
- path analysis (1)
- pattern formation (1)
- performance (1)
- permafrost ecosystems (1)
- persistence length (1)
- personal goals (1)
- personal initiative (1)
- persönliche Ziele (1)
- pervasive learning (1)
- phase equations (1)
- phase oscillators (1)
- photoinduced electron transfer (1)
- picture story exercise (1)
- pitch accent (1)
- police reform (1)
- policy diffusion (1)
- policy transfer (1)
- polydispersity (1)
- polymers (1)
- predictive habitat model (1)
- preferences (1)
- presentational constructions (1)
- pressure propagation (1)
- presupposition (1)
- preview benefit (1)
- priorities (1)
- probabilistic theory (1)
- processing (1)
- prosodic phrasing (1)
- protein folding (1)
- proximity effect (1)
- prozeß-basierte Modellierung (1)
- quasar (1)
- quasars (1)
- quasiperiodic dynamical systems (1)
- quasiperiodisches dynamisches System (1)
- radiative transfer (1)
- rapid serial visual presentation (RSVP) (1)
- rat (1)
- reading (1)
- real-time application (1)
- reciprocal relationship (1)
- reconstruction (1)
- recurrence (1)
- recurrence plots (1)
- referential competence (1)
- referentielle Kompetenz (1)
- regional modeling (1)
- regionales Modell (1)
- reptiles (1)
- residuals (1)
- return level estimation (1)
- revenue sharing (1)
- river-lake systems (1)
- rods (1)
- rolling adhesion (1)
- run length (1)
- runoff generation (1)
- räumliche Analyse (1)
- salivary gland (1)
- scale dependence (1)
- scrambling (1)
- second occurrence focus (1)
- secondary metabolism (1)
- secretion (1)
- security cooperation (1)
- seed dispersal (1)
- segmentation (1)
- seismology (1)
- seismotectonics (1)
- selbst-attribuierte Motive (1)
- self-attributed motives (1)
- self-organization (1)
- selfefficacy (1)
- sentence reading (1)
- shader (1)
- silica (1)
- similarity measures (1)
- simulation model (1)
- situation variables (1)
- skeletonization (1)
- soft and hard templating (1)
- soil hydrology (1)
- spatial analysis (1)
- spatially explicit modelling (1)
- state and local budgets (1)
- stellar winds (1)
- stochastic gradient boosting (1)
- stochastic process (1)
- stochastic processes (1)
- stories (1)
- strike-slip faults (1)
- structur-function relationship (1)
- structured numbers (1)
- strukturierte Zahlen (1)
- subduction zone (1)
- substrate (1)
- succession (1)
- sulphur (1)
- surface relief grating (1)
- sustainable management (1)
- syntactic focus marking (1)
- syntax (1)
- tax distribution (1)
- testing (1)
- tetration (1)
- topic (1)
- topic affixes (1)
- topic-comment (1)
- topicalization (1)
- trace gas fluxes (1)
- transition economy (1)
- transition metals (1)
- transition state (1)
- transport (1)
- traveltime (1)
- tropics (1)
- tuition fees (1)
- type I AGN (1)
- type II AGN (1)
- uncertainty analysis (1)
- unilateralism (1)
- universal quantifiers (1)
- vegetation model (1)
- velocity (1)
- verb-initial (1)
- verb-initial cleft constructions (1)
- vesicle (1)
- virtual 3D city model (1)
- virtual corporation (1)
- viscoplastic theory (1)
- viskoplastische Theorie (1)
- visualization (1)
- volleyball (1)
- voting behaviour (1)
- water quality (1)
- weiche und harte Templatierung (1)
- wh-question (1)
- white stork (1)
- wide-angle x-ray scattering (1)
- word n-gram probability (1)
- zinc (1)
- Ähnlichkeit-Masse (1)
- Übergangsmetalle (1)
- Übergangszustand (1)
Institute
- Extern (78)
- Institut für Biochemie und Biologie (71)
- Institut für Physik und Astronomie (68)
- Department Linguistik (51)
- Institut für Informatik und Computational Science (36)
- Institut für Chemie (31)
- Institut für Anglistik und Amerikanistik (30)
- Wirtschaftswissenschaften (28)
- Department Psychologie (24)
- Institut für Mathematik (22)
Als die SED-Diktatur zusammenbrach, übte der Glanz der ostdeutschen Medaillen nach wie vor eine große Anziehungskraft aus, vor allem auf westdeutsche Sportpolitiker. Der Sport war ein Spezialfall der deutschen Vereinigung, da hier der Westen vom Osten zu lernen hoffte. Bald jedoch wurden die dunklen Seiten des DDR-Sports offensichtlich: die Verstrickung mit dem Ministerium für Staatsicherheit ebenso wie das staatlich forcierte Zwangsdoping. Bis heute gehen die Meinungen über den DDR-Sport weit auseinander: während die Einen ihn als repressiv und unmenschlich verurteilen, wird er von den Anderen gleichzeitig als Organisationsvorbild für die Zukunft gehandelt.
Massive stars usually form groups such as OB associations. Their fast stellar winds sweep up collectively the surrounding insterstellar medium (ISM) to generate superbubbles. Observations suggest that superbubble evolution on the surrounding ISM can be very irregular. Numerical simulations considering these conditions could help to understand the evolution of these superbubbles and to clarify the dynamics of these objects as well as the difference between observed X-ray luminosities and the predicted ones by the standard model (Weaver et al. 1977).
We report the influence of different nutritional modes-autotrophy, mixotrophy, and heterotrophy-on the fatty acid and sterol composition of the freshwater flagellate Ochromonas sp. and discuss the ecological significance of our results with respect to the resource competition theory (rct). Polyunsaturated fatty acids (PUFAs) are the most efficient biochemical variable distinguishing between nutritional modes of Ochromonas sp. Decreasing concentrations of PUFAs were observed in the order autotrophs, mixotrophs, heterotrophs. In mixotrophs and heterotrophs, concentrations of saturated fatty acids were higher than those of monounsaturated fatty acids and PUFAs as a result of bacterivory. Stigmasterol was the main sterol in Ochromonas sp., regardless of nutritional mode. Mixotrophs showed higher growth rates than heterotrophs, which could not be explained by rct. Heterotrophs, in turn, exhibited higher growth rates than autotrophs, which were cultured under the same light conditions as mixotrophs. Mixotrophs can synthesize PUFAs, which are important for many physiological functions such as membrane permeability and growth. Thus, mixotrophy facilitated efficient growth as well as the ability to synthesize complex and essential biomolecules. These strong synergetic effects are due to the combination of biochemical benefits of heterotrophic and autotrophic metabolic pathways and cannot be predicted by rct.
We consider a class of ergodic Hamilton-Jacobi-Bellman (HJB) equations, related to large time asymptotics of non-smooth multiplicative functional of difusion processes. Under suitable ergodicity assumptions on the underlying difusion, we show existence of these asymptotics, and that they solve the related HJB equation in the viscosity sense.
We consider the problem of representing arbitrary preferences in causal reasoning and planning systems. In planning, a preference may be seen as a goal or constraint that is desirable, but not necessary, to satisfy. To begin, we define a very general query language for histories, or interleaved sequences of world states and actions. Based on this, we specify a second language in which preferences are defined. A single preference defines a binary relation on histories, indicating that one history is preferred to the other. From this, one can define global preference orderings on the set of histories, the maximal elements of which are the preferred histories. The approach is very general and flexible; thus it constitutes a base language in terms of which higher-level preferences may be defined. To this end, we investigate two fundamental types of preferences that we call choice and temporal preferences. We consider concrete strategies for these types of preferences and encode them in terms of our framework. We suggest how to express aggregates in the approach, allowing, e.g. the expression of a preference for histories with lowest total action costs. Last, our approach can be used to express other approaches and so serves as a common framework in which such approaches can be expressed and compared. We illustrate this by indicating how an approach due to Son and Pontelli can be encoded in our approach, as well as the language PDDL3.
This paper describes the proof calculus LD for clausal propositional logic, which is a linearized form of the well-known DPLL calculus extended by clause learning. It is motivated by the demand to model how current SAT solvers built on clause learning are working, while abstracting from decision heuristics and implementation details. The calculus is proved sound and terminating. Further, it is shown that both the original DPLL calculus and the conflict-directed backtracking calculus with clause learning, as it is implemented in many current SAT solvers, are complete and proof-confluent instances of the LD calculus.