004 Datenverarbeitung; Informatik
Refine
Year of publication
- 2015 (81) (remove)
Document Type
- Article (50)
- Monograph/Edited Volume (11)
- Doctoral Thesis (11)
- Conference Proceeding (4)
- Postprint (4)
- Master's Thesis (1)
Keywords
- Computer Science Education (5)
- Competence Measurement (3)
- Secondary Education (3)
- Big Data (2)
- Cloud Computing (2)
- Competence Modelling (2)
- Computational thinking (2)
- Forschungskolleg (2)
- Geschäftsprozessmanagement (2)
- Hasso Plattner Institute (2)
- Hasso-Plattner-Institut (2)
- ICT competencies (2)
- Informatics (2)
- Informatics Education (2)
- Informatics Modelling (2)
- Informatics System Application (2)
- Informatics System Comprehension (2)
- Informatikdidaktik (2)
- Key Competencies (2)
- Klausurtagung (2)
- Ph.D. retreat (2)
- Service-oriented Systems Engineering (2)
- abstraction (2)
- answer set programming (2)
- competencies (2)
- computational thinking (2)
- education (2)
- innovation (2)
- key competencies (2)
- service-oriented systems engineering (2)
- tools (2)
- "Big Data"-Dienste (1)
- 21st century skills, (1)
- ABRACADABRA (1)
- Abstraktion (1)
- Achievement (1)
- Activity Theory (1)
- Activity-orientated Learning (1)
- Algorithmen (1)
- Analyse (1)
- Arduino (1)
- Assessment (1)
- Austria (1)
- BPM (1)
- Batchprozesse (1)
- Bildung (1)
- Blockheizkraftwerke (1)
- Bloom’s Taxonomy (1)
- CEP (1)
- CS concepts (1)
- Capability approach (1)
- Challenges (1)
- Change Management (1)
- Cognitive Skills (1)
- Competences (1)
- Competencies (1)
- Computational Thinking (1)
- Computer Science (1)
- Computer Science in Context (1)
- Computing (1)
- Contest (1)
- Contextualisation (1)
- Contradictions (1)
- Curriculum (1)
- Curriculum Development (1)
- Cyber-Physical Systems (1)
- Data Analysis (1)
- Data Management (1)
- Data Privacy (1)
- Databases (1)
- Daten (1)
- Datenextraktion (1)
- Datenkorrektheit (1)
- Datenobjekte (1)
- Datenzustände (1)
- Deadline-Verbreitung (1)
- Defining characteristics of physical computing (1)
- Design Thinking (1)
- Digital Competence (1)
- Digital Education (1)
- Digital Revolution (1)
- Dynamic assessment (1)
- Early Literacy (1)
- Educational Standards (1)
- Educational software (1)
- Effizienz (1)
- Embedded Systems (1)
- Energiesparen (1)
- Ereignisabstraktion (1)
- Ereignisse (1)
- Euclid’s algorithm (1)
- Evolution in MDE (1)
- FOSS (1)
- Facebook (1)
- Fallstudie (1)
- Feedback Loops (1)
- Fibonacci numbers (1)
- Forschungsprojekte (1)
- Function (1)
- Fundamental Ideas (1)
- Future SOC Lab (1)
- Geschäftsprozesse (1)
- Graphdatenbanken (1)
- Graphtransformationen (1)
- ICT (1)
- ICT Competence (1)
- ICT skills (1)
- In-Memory Technologie (1)
- Informatik (1)
- Informatische Kompetenzen (1)
- Innovation (1)
- Innovationsmanagement (1)
- Innovationsmethode (1)
- Inquiry-based Learning (1)
- Interface design (1)
- Kollaborationen (1)
- Kompetenzen (1)
- Leadership (1)
- Learners (1)
- Learning Fields (1)
- Learning ecology (1)
- Learning interfaces development (1)
- Learning with ICT (1)
- Lively Kernel (1)
- Logarithm (1)
- Lower Secondary Level (1)
- MDE Ansatz (1)
- MDE settings (1)
- MOOCs (1)
- Management (1)
- Massive Open Online Courses (1)
- Measurement (1)
- Mehrfamilienhäuser (1)
- Modellgetrieben (1)
- Modellierung (1)
- Modelltransformation (1)
- Multi-Instanzen (1)
- Multicore Architekturen (1)
- Music Technology (1)
- NUI (1)
- Natural Science Education (1)
- Navigation (1)
- NoSQL (1)
- Norway (1)
- Novice programmers (1)
- Objekt-Constraint Programmierung (1)
- Optimierungen (1)
- Organisationsveränderung (1)
- Pedagogical content knowledge (1)
- Physical Science (1)
- Problem Solving (1)
- Process Mining (1)
- Prognosen (1)
- Prozess- und Datenintegration (1)
- Prozessarchitektur (1)
- Prozessautomatisierung (1)
- Prozessverfeinerung (1)
- Recommendations for CS-Curricula in Higher Education (1)
- Research School (1)
- Schlüsselkompetenzen (1)
- Schlüsselkompetenzen (1)
- Sensors (1)
- Skript-Entwicklungsumgebungen (1)
- Small Private Online Courses (1)
- Social (1)
- Sprachspezifikation (1)
- Studie (1)
- System of Systems (1)
- Tasks (1)
- Teacher perceptions (1)
- Teachers (1)
- Teaching information security (1)
- Technology proficiency (1)
- Terminology (1)
- Tests (1)
- Theory (1)
- Verifikation (1)
- Verwaltung von Rechenzentren (1)
- Verzögerungs-Verbreitung (1)
- Visualisierung (1)
- Vocational Education (1)
- Wartung von Graphdatenbanksichten (1)
- Werkzeuge (1)
- Young People (1)
- adaptive Systeme (1)
- adaptive systems (1)
- adoption (1)
- algorithm schedules (1)
- algorithms (1)
- analogical thinking (1)
- analysis (1)
- ausführbare Semantiken (1)
- batch processing (1)
- big data services (1)
- binary representation (1)
- binary search (1)
- bpm (1)
- business process architecture (1)
- business process management (1)
- business processes (1)
- case study (1)
- change management (1)
- classes of logic programs (1)
- classroom language (1)
- cloud computing (1)
- cogeneration units (1)
- cognitive modifiability (1)
- collaboration (1)
- competence (1)
- competency (1)
- complexity (1)
- comprehension (1)
- computer science education (1)
- computer science education (CSE) (1)
- computer science teachers (1)
- conformance analysis (1)
- cs4fn (1)
- curriculum theory (1)
- cyber-physical systems (1)
- data (1)
- data center management (1)
- data correctness checking (1)
- data extraction (1)
- data objects (1)
- data states (1)
- deadline propagation (1)
- delay propagation (1)
- design thinking (1)
- diffusion (1)
- digitally-enabled pedagogies (1)
- divide and conquer (1)
- e-mentoring (1)
- education and public policy (1)
- educational programming (1)
- educational systems (1)
- edutainment (1)
- efficiency (1)
- energy savings (1)
- environments (1)
- event abstraction (1)
- events (1)
- evolution in MDE (1)
- executable semantics (1)
- exponentiation (1)
- feedback loops (1)
- forecasts (1)
- formal framework (1)
- formales Framework (1)
- formalism (1)
- freie Daten (1)
- freie Software (1)
- fun (1)
- general education in computer science (1)
- graph databases (1)
- graph transformation (1)
- high school (1)
- higher (1)
- incremental graph pattern matching (1)
- inductive invariant checking (1)
- induktives Invariant Checking (1)
- informal and formal learning (1)
- informatics education (1)
- informatische Allgemeinbildung (1)
- inkrementelles Graph Pattern Matching (1)
- innovation capabilities (1)
- innovation management (1)
- interactive course (1)
- interactive workshop (1)
- key competences in physical computing (1)
- kinaesthetic teaching (1)
- künstliche Intelligenz (1)
- language specification (1)
- leadership (1)
- learning (1)
- lively kernel (1)
- location-based (1)
- management (1)
- maschinelles Lernen (1)
- mediated learning experience (1)
- mobile learning (1)
- mobile technologies and apps (1)
- model transformation (1)
- model-driven (1)
- model-driven engineering (1)
- modeling (1)
- modellgetriebene Entwicklung (1)
- monitoring (1)
- multi-instances (1)
- multi-family residential buildings (1)
- navigation (1)
- nested expressions (1)
- networks (1)
- object-constraint programming (1)
- operating system (1)
- optimizations (1)
- organisational evolution (1)
- organizational change (1)
- orts-basiert (1)
- paper prototyping (1)
- parameter (1)
- partial application conditions (1)
- partielle Anwendungsbedingungen (1)
- pedagogy (1)
- personal (1)
- personal response systems (1)
- philosophical foundation of informatics pedagogy (1)
- physical computing tools (1)
- portfolio-based solving (1)
- pre-primary level (1)
- primary education (1)
- primary level (1)
- problem-solving (1)
- process and data integration (1)
- process automation (1)
- process mining (1)
- process refinement (1)
- professional development (1)
- programming (1)
- programming in context (1)
- propositional satisfiability (1)
- research school (1)
- scripting environments (1)
- secondary computer science education (1)
- secondary education (1)
- self-efficacy (1)
- social media (1)
- strong and uniform equivalence (1)
- student activation (1)
- student experience (1)
- student perceptions (1)
- students’ conceptions (1)
- students’ knowledge (1)
- study (1)
- system of systems (1)
- teacher competencies (1)
- teaching informatics in general education (1)
- tracing (1)
- user-centred (1)
- verification (1)
- view maintenance (1)
- virtual reality (1)
- visualization (1)
- Übereinstimmungsanalyse (1)
- Überwachung (1)
- ‘unplugged’ computing (1)
Abstract gringo
(2015)
This paper defines the syntax and semantics of the input language of the ASP grounder gringo. The definition covers several constructs that were not discussed in earlier work on the semantics of that language, including intervals, pools, division of integers, aggregates with non-numeric values, and lparse-style aggregate expressions. The definition is abstract in the sense that it disregards some details related to representing programs by strings of ASCII characters. It serves as a specification for gringo from Version 4.5 on.