Refine
Year of publication
Document Type
- Conference Proceeding (493) (remove)
Language
- English (493) (remove)
Keywords
- social media (5)
- Information Structure (4)
- COVID-19 (3)
- Cloud Computing (3)
- E-Mail Tracking (3)
- ERP (3)
- MOOC (3)
- Privacy (3)
- conversational agents (3)
- enterprise systems (3)
- knowledge management (3)
- knowledge transfer (3)
- machine learning (3)
- middleware (3)
- privacy (3)
- Blockchain (2)
- CPS (2)
- Constraint Solving (2)
- Deduction (2)
- EMOTIKON (2)
- Forschungsprojekte (2)
- Future SOC Lab (2)
- In-Memory Technologie (2)
- Interoception (2)
- Linear Mixed Models (2)
- Logic Programming (2)
- Logics (2)
- Multicore Architekturen (2)
- Optimization (2)
- Planing (2)
- Platform Innovation (2)
- additive particle (2)
- artificial intelligence (2)
- big data (2)
- cloud computing (2)
- creativity (2)
- crisis communication (2)
- deep reinforcement learning (2)
- digital education (2)
- e-learning (2)
- enteprise-level (2)
- ethics (2)
- evaluation (2)
- higher education (2)
- improvement (2)
- information systems research (2)
- künstliche Intelligenz (2)
- learning (2)
- maschinelles Lernen (2)
- mental health (2)
- online course (2)
- online course creation (2)
- online course design (2)
- prediction (2)
- priming (2)
- product generation engineering (2)
- production control (2)
- self-disclosure (2)
- semantics (2)
- semiconductors (2)
- systematic literature review (2)
- vocational training (2)
- "Big Data"-Dienste (1)
- ATLAS.t (1)
- African languages (1)
- Alpha-amylase (1)
- Analytic Infrastructures (1)
- Aortic valve (1)
- Asian languages (1)
- Aspektorientierte Softwareentwicklung (1)
- Austronesian languages (1)
- Auswirkungen auf Schüler (1)
- Automatentheorie (1)
- Backgrounding (1)
- Bankenregulierung (1)
- Bedürfnisse (1)
- Betriebssysteme (1)
- Bildung (1)
- Blood (1)
- Browser Platform (1)
- Browser Platforms (1)
- Cardiac rehabilitation (1)
- Case Study (1)
- Changing World (1)
- Chrome (1)
- Coccinelle (1)
- Competition (1)
- Compton and pair creation telescope (1)
- Computer Science Education (1)
- Computerlinguistik (1)
- Consensus algorithms (1)
- Construal (1)
- Contrast (1)
- Convergent thinking (1)
- Coring (1)
- Correction (1)
- Countermeasures (1)
- Covid pandemic effects (1)
- Creative process (1)
- Creativity (1)
- Cross-System (1)
- Customization (1)
- Cyber-Physical Manufacturing Systems (1)
- Dealing with mistakes (1)
- Decentral Decision Making (1)
- Developmental gains (1)
- Didaktik (1)
- Digital Marketplaces (1)
- Digital Platforms (1)
- Digital-Enabled Human-Information Interaction (1)
- Digitale Bildung (1)
- Discontinued Features (1)
- Dynamic Pricing (1)
- EMG (1)
- ERP system (1)
- Echtzeitmessung (1)
- Embodiment (1)
- Emerging Topics in Digital Government (1)
- Emotionen (1)
- Emotions (1)
- Empirical Modelling (1)
- Emulsion (1)
- Endliche Automaten (1)
- Enterprise Resource Planning (1)
- Enterprise Resource Planning (ERP) System (1)
- Enterprise System (1)
- Euro (1)
- Euro-Financial-Crisis (1)
- Euro-Finanzkrise (1)
- Exercise tests (1)
- FORTH (1)
- FabLabs (1)
- Feature Removal (1)
- Feldforschung (1)
- Felix-App (1)
- Finanzmärkte (1)
- Firefox (1)
- Focus (1)
- Focus-sensitivity (1)
- Fokus (1)
- Fokussensitivität (1)
- Fourier Integraloperatoren (1)
- Gamma-ray astronomy (1)
- Germany (1)
- Givenness (1)
- Heart Rate (1)
- Herodotos (1)
- History of pattern occurrences (1)
- Holocaust (1)
- ICT (1)
- ISSEP (1)
- In-Memory technology (1)
- Individualization (1)
- Industrial Analytics (1)
- Industry 4.0 (1)
- Informatics (1)
- Informatics Education (1)
- Informatik (1)
- Informatikdidaktik (1)
- Information Security and Privacy (1)
- Informationsstruktur (1)
- Innovation in Organizations: Learning (1)
- Instragram (1)
- Intentional Forgetting (1)
- Internet of Things (1)
- Ishkashimi (1)
- Key Competencies (1)
- Keyage children (1)
- Klimaänderung (1)
- Kursdesign (1)
- Kwa languages (1)
- LOGO (1)
- Lagrange Distributionen (1)
- Lagrangian submanifolds (1)
- Langzeitverhalten (1)
- Lean Core (1)
- Lernen (1)
- Literature Review (1)
- MCT oil (1)
- Machine Learning (1)
- Markedness (1)
- Markov processes (1)
- Markovprozesse (1)
- Massenverlust (1)
- Measuring Efficient Task Processing (1)
- Mellin (1)
- Micro Degree (1)
- Middleware (1)
- Milk (1)
- Mobile Software Ecosystems (1)
- Modeling (1)
- Modification (1)
- Motivation (1)
- Mozilla Firefox (1)
- NMDL (1)
- NatRiskChange (1)
- Natural Hazards (1)
- Naturgefahren (1)
- Nazi Germany (1)
- Neurostimulation (1)
- Newsletter (1)
- Older-than-keyage children (1)
- Online Marketing (1)
- Online-Lehre (1)
- Onlinekurs (1)
- Onlinekurs-Produktion (1)
- Optimal Control (1)
- PF Interface (1)
- Papert (1)
- Personalization (1)
- Physical Fitness (1)
- Physical fitness (1)
- Platform Coring (1)
- Pockets of creativity (1)
- Point of Care Assay and Vitamin A (1)
- Pooled Data (1)
- Price Cycles (1)
- Primary school children (1)
- Problems (1)
- Process Mining (1)
- Production (1)
- Prolog (1)
- Prosody (1)
- Pseudo-differential algebras (1)
- RFID (1)
- Reaction Time (1)
- Requirements (1)
- Research Agenda (1)
- Response Strategies (1)
- Russian History (1)
- Russian Scrambling (1)
- Russian Sign Language (1)
- Salivary (1)
- Sars-CoV-2 (1)
- Schlüsselkompetenzen (1)
- Second World War (1)
- Security (1)
- Semantik (1)
- Sign Language of the Netherlands (1)
- Software Platforms (1)
- Soviet History (1)
- Sprachverarbeitung (1)
- Squashes pulp (1)
- Stability (1)
- Sternwinde (1)
- Strahlungstransport (1)
- Sustainability (1)
- Systematic literature revieew (1)
- Systemsoftware (1)
- TAVI (1)
- Tailoring (1)
- The Sharing Economy (1)
- Three-tier Architecture (1)
- Topic (1)
- Topik (1)
- Trait Anxiety (1)
- Transcatheter Aortic Valve Implantation (1)
- Transcutaneous Auricular Vagus Nerve Stimulation (1)
- US Intensity (1)
- US Work-up (1)
- UV light (1)
- Umgang mit Fehlern (1)
- Unlearning (1)
- VIL (1)
- Verwaltung von Rechenzentren (1)
- Verzweigungsprozesse (1)
- Virtuelle Maschinen (1)
- XM (1)
- adolescent (1)
- afrikanische Sprachen (1)
- age-appropriate competence development (1)
- airbnb (1)
- analytical framework (1)
- argument structure (1)
- artifical intelligence (1)
- artificial neural networks (1)
- asiatische Sprachen (1)
- aspect adapter (1)
- aspect oriented programming (1)
- aspect-oriented (1)
- aspects (1)
- aspectualization (1)
- attitude-behaviour gap (1)
- augmentation (1)
- austronesische Sprachen (1)
- automata theory (1)
- backpropagation (1)
- bank regulation (1)
- big data services (1)
- bitcoin (1)
- blockchain (1)
- body mass index procedure (1)
- body surface area (1)
- bottom–up (1)
- bracketing paradox (1)
- branching processes (1)
- brand ambassadors (1)
- bug tracking (1)
- built–in predicates (1)
- business models (1)
- business process (1)
- business process optimization (1)
- business process platform (1)
- carotenoids bioavailability (1)
- case study (1)
- case-based reasoning (1)
- certolizumab pegol (1)
- child (1)
- children (1)
- clinicians (1)
- co-creation (1)
- cognitive activation (1)
- cognitive levels (1)
- cognitive load theory (1)
- cold pressor pain (1)
- commitment (1)
- complexity (1)
- computational linguistics (1)
- concurrency (1)
- confidentiality (1)
- connected health (1)
- consistency (1)
- contrast (1)
- crohn's disease (1)
- crosscutting wrappers (1)
- cryptocurrencies (1)
- culture, identity, and inclusion (1)
- cyber-physical production systems (1)
- cyber-physical systems (1)
- data center management (1)
- data analysis (1)
- data mining (1)
- data security (1)
- data sharing (1)
- data-driven artifacts (1)
- datasets (1)
- deductive databases (1)
- degree of givenness (1)
- deleted tweets (1)
- demand forecasting (1)
- demographic change (1)
- design-science research (1)
- digital activism (1)
- digital health (1)
- digital identity (1)
- digital learning (1)
- digital nudging (1)
- digital platform openness (1)
- digitalization (1)
- dimensional (1)
- discourse referent (1)
- discrete event simulation (1)
- disinformation campaigns (1)
- distributed ledger technology (1)
- distributed systems (1)
- documentation (1)
- doubling (1)
- dynamic reconfiguration (1)
- education (1)
- eference Architecture Model (1)
- effects on pupils (1)
- electromagnetic (1)
- emigration and immigration (1)
- emotion (1)
- empirical evaluation (1)
- empowerment (1)
- engagement (1)
- enhancement (1)
- enterprise architecture (1)
- enterprise ecosystems: the integrated enterprise (1)
- enterprise system (1)
- ethical implications (1)
- experience (1)
- experiment (1)
- explicit knowledge (1)
- extensions of logic programs (1)
- fMRI (1)
- false information (1)
- fat-free mass (1)
- federated industrial platform ecosystems (1)
- feedback (1)
- fieldwork (1)
- financial literacy (1)
- financial markets (1)
- finite-state automata (1)
- floods (1)
- focus (1)
- focus particle (1)
- forecasting data (1)
- forecasting methods (1)
- foregrounding (1)
- forgetting (1)
- forward / backward chaining (1)
- fried (1)
- function symbols (1)
- future curriculum (1)
- gaming (1)
- gamma-ray polarization (1)
- gender gap (1)
- generalized logic programs (1)
- geomorphology (1)
- global change (1)
- government agencies (1)
- group-subgroup relations (1)
- halide perovskites (1)
- hallow offshore (1)
- health crisis (1)
- health personnel (1)
- healthcare technologies (1)
- high-energy astrophysical phenomena (1)
- hospitals (1)
- human-AI interaction (1)
- hybrid simulation (1)
- hydrodynamic modeling (1)
- hydrodynamische Modellierung (1)
- ict (1)
- identity management (1)
- immersion (1)
- immigrants (1)
- industry 4.0 (1)
- infliximab (1)
- influence mapping (1)
- information flow control (1)
- information gateway (1)
- information status (1)
- inpatients (1)
- integral Fourier operators (1)
- intention-behaviour gap (1)
- intervention (1)
- interventions (1)
- invasive aspects (1)
- is governance (1)
- it/business alignment (1)
- knowledge crystallization (1)
- knowledge management system (1)
- knowledge representation (1)
- knowledge transfers (1)
- language erp (1)
- learner characteristics (1)
- learning environment (1)
- learning factory (1)
- legal implications (1)
- levels of information systems research (process, enterprise-, ecosystem- & industry-level) (1)
- linical databases (1)
- literature review (1)
- long-time behaviour (1)
- lutein ester (1)
- mHealth (1)
- macromolecular decay (1)
- makromolekularer Zerfall (1)
- manufacturing industry (1)
- manufacturing systems (1)
- mass loss (1)
- massereiche Sterne (1)
- massive stars (1)
- media literacy (1)
- mediated conversation (1)
- medical (1)
- mental disorders (1)
- micro degree (1)
- micro- and nanotechnologies (1)
- micro-credential (1)
- microcredential (1)
- microlocal analysis (1)
- microlokale Analysis (1)
- mindset (1)
- mobile technology (1)
- modelling (1)
- modular production (1)
- monoclonal antibodies (1)
- morphological analysis (1)
- mountainous rivers (1)
- multi-agent system (1)
- multi-frequency (1)
- multi-valued logic (1)
- multicore architectures (1)
- natural hazards (1)
- natural language processing (1)
- needs (1)
- negotiating (1)
- neural networks (1)
- new product development (1)
- nitride materials (1)
- nonlinear dynamics (1)
- nurses (1)
- nursing staff (1)
- on-demand healthcare (1)
- online courses (1)
- online photographs (1)
- online regrets (1)
- online teaching (1)
- open hardware (1)
- open science (1)
- open science practices in information systems research (1)
- operating systems (1)
- operator calculus (1)
- organizational level (1)
- paraconsistency (1)
- parental mediation (1)
- participatory learning (1)
- perception (1)
- personal development (1)
- personal satisfaction (1)
- persönliche Entwicklung (1)
- pitch accent (1)
- platform acceptance (1)
- power relations (1)
- prevention (1)
- primary school children (1)
- prior knowledge (1)
- privacy paradox (1)
- problematic media use (1)
- process modelling (1)
- product development (1)
- production engineering computing (1)
- production planning (1)
- production process (1)
- professional identity (1)
- program analysis (1)
- programming language (1)
- prominence (1)
- prosody (1)
- prototype (1)
- prototyping process (1)
- pseudodifferential operators (1)
- pseudodifferentiale Operatoren (1)
- public health medicine (1)
- quality (1)
- radiative transfer (1)
- real-time measurement (1)
- reflection (1)
- refugees (1)
- regimen (1)
- reputation management (1)
- research challenges (1)
- research data management (1)
- research projects (1)
- retentivity (1)
- reusable aspects (1)
- reward system (1)
- risk tolerance (1)
- rubicon model (1)
- rules (1)
- sales forecasting (1)
- school (environment) (1)
- second-order conditioning (1)
- security policies (1)
- self report scales (1)
- self-organization (1)
- self-sovereign identity (1)
- sentiment analysis (1)
- service-oriented (1)
- sharing economy (1)
- singular manifolds (1)
- smart health (1)
- smartphone (1)
- social attraction (1)
- social inclusion (1)
- social networking sites (1)
- space mission (1)
- stakeholder analysis (1)
- statutes and laws (1)
- steam-dried (1)
- steamed (1)
- stellar winds (1)
- stratification (1)
- structure-property relationships (1)
- subject differences (1)
- subject-oriented learning (1)
- supervised machine learning (1)
- surveillance (1)
- sustainable product development (1)
- sustained negativity (1)
- symbols (1)
- systematic review (1)
- systems software (1)
- tacit knowledge (1)
- taxonomy (1)
- teaching (1)
- teamwork (1)
- technologies (1)
- technology (1)
- technology addiction (1)
- the bright and dark side of social media in the marginalized contexts (1)
- time-domain astronomy (1)
- top– down (1)
- trace data (1)
- transdiagnostic (1)
- trust (1)
- tuple spaces (1)
- twinning (1)
- ventral striatum (1)
- views (1)
- virtual learning (1)
- virtual learning environments (1)
- virtual machines (1)
- visual analytics (1)
- visual normalization theory (1)
- visualization (1)
- web-tracking (1)
- weight perception (1)
- well-being (1)
Institute
- Extern (122)
- Fachgruppe Betriebswirtschaftslehre (76)
- Institut für Biochemie und Biologie (56)
- Department Sport- und Gesundheitswissenschaften (40)
- Institut für Ernährungswissenschaft (37)
- Department Psychologie (28)
- Institut für Künste und Medien (22)
- Institut für Chemie (15)
- Institut für Physik und Astronomie (15)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (14)
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.
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.
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.
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 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.
We describe a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore and most important, the implementation ensures the consistency of the database w.r.t. the data dependencies specified in the ER model, i.e., updates initiated by the user cannot lead to an inconsistent state of the database. In order to generate a high-level declarative implementation that can be easily adapted to individual customer requirements, the framework exploits previous works on declarative database programming and web user interface construction in Curry.
Preface
(2010)
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. In this decade, previous workshops took place in Dresden (2008), Würzburg (2007), Vienna (2006), Ulm (2005), Potsdam (2004), Dresden (2002), Kiel (2001), and Würzburg (2000). Contributions to workshops deal with all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including foundations of constraint/ logic programming. Some of the special topics are constraint solving and optimization, extensions of functional logic programming, deductive databases, data mining, nonmonotonic reasoning, , interaction of CP/LP with other formalisms like agents, XML, JAVA, program analysis, program transformation, program verification, meta programming, parallelism and concurrency, answer set programming, implementation and software techniques (e.g., types, modularity, design patterns), applications (e.g., in production, environment, education, internet), constraint/logic programming for semantic web systems and applications, reasoning on the semantic web, data modelling for the web, semistructured data, and web query languages.
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 – 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules.
Aspect-oriented middleware is a promising technology for the realisation of dynamic reconfiguration in heterogeneous distributed systems. However, like other dynamic reconfiguration approaches, AO-middleware-based reconfiguration requires that the consistency of the system is maintained across reconfigurations. AO-middleware-based reconfiguration is an ongoing research topic and several consistency approaches have been proposed. However, most of these approaches tend to be targeted at specific contexts, whereas for distributed systems it is crucial to cover a wide range of operating conditions. In this paper we propose an approach that offers distributed, dynamic reconfiguration in a consistent manner, and features a flexible framework-based consistency management approach to cover a wide range of operating conditions. We evaluate our approach by investigating the configurability and transparency of our approach and also quantify the performance overheads of the associated consistency mechanisms.
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.