Institut für Informatik und Computational Science
Refine
Has Fulltext
- no (27)
Year of publication
- 2011 (27) (remove)
Document Type
- Article (27) (remove)
Language
- English (27)
Is part of the Bibliography
- yes (27) (remove)
Keywords
- Answer Set Programming (2)
- Answer set programming (1)
- Automata systems (1)
- CP-Logic (1)
- Code generation (1)
- Complex optimization (1)
- D-galactosamine (1)
- Decidability (1)
- Extreme Model-Driven Development (1)
- Hierarchically configurable mask register (1)
- Incremental answer set programming (1)
- Knowledge representation (1)
- L systems (1)
- Localization (1)
- Markov processes (1)
- Masking of X-values (1)
- Meta-Programming (1)
- Model checking (1)
- Operation problem (1)
- Preference Handling (1)
- Process model analysis (1)
- Statistical relational learning (1)
- Stochastic relational process (1)
- Time series (1)
- Tracking (1)
- Unary languages (1)
- Verification (1)
- Wireless Sensor Networks (1)
- acute liver failure (1)
- answer set programming (1)
- behavioral abstraction (1)
- bioinformatics (1)
- block representation (1)
- cellular automata (1)
- consistency (1)
- consistency checking (1)
- consistency measures (1)
- cooperating systems (1)
- decidability questions (1)
- declarative problem solving (1)
- diagnosis (1)
- endothelin (1)
- endothelin-converting enzyme (1)
- finite model computation (1)
- formal languages (1)
- kidney cancer (1)
- loop formulas (1)
- metabolism (1)
- metabolomics (1)
- metastasis (1)
- neighborhood (1)
- neutral endopeptidase (1)
- process model alignment (1)
- quantum (1)
- stable model semantics (1)
- unfounded sets (1)