Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Improved Answer-Set Programming Encodings for Abstract Argumentation + (4-5)
- Compositional Construction of Most General Controllers + (4-5)
- Left-forbidding cooperating distributed grammar systems + (40-42)
- Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification + (4:1)
- The cf2 argumentation semantics revisited + (5)
- PSpace Reasoning with the Description Logic ALCF(D) + (5)
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection + (5)
- Deduktion: von der Theorie zur Anwendung + (5)
- What's new in Description Logics + (5)
- Two Restrictions on Contraction + (5)
- Satisfiability of ECTL* with Constraints + (5)
- Smoke Test Planning using Answer Set Programming + (5)
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? + (5)
- A uniform framework for weighted decision diagrams and its implementation + (5)
- Control of Distributed Systems: Tutorial and Overview + (5-6)
- Planning Mathematical Proofs with Methods + (5-6)
- ATL is Indeed ExpTime-complete + (6)
- On the complexity of enumerating pseudo-intents + (6)
- Unification in Modal and Description Logics + (6)
- Deduktives Planen + (6)
- Semantic Node-RED for rapid development of interoperable industrial IoT applications + (6)
- Domain equations for probabilistic processes + (6)
- Model-Checking Algorithms for Continuous-Time Markov Chains + (6)
- Alternating-time stream logic for multi-agent systems + (6)
- Some advances in tools and algorithms for the construction and analysis of systems + (6)
- Configuration of Inter-Process Communication with Probabilistic Model Checking + (6)
- Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik + (7)
- Complexity in Union-Free Regular Languages + (7)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator + (7)
- A note on controllability of deterministic context-free systems + (8)
- Abstract Dialectical Frameworks. An Overview + (8)
- Abstract Dialectical Frameworks. An Overview + (8)
- Description Logics with Aggregates and Concrete Domains + (8)
- On the Number of Bipolar Boolean Functions + (8)
- Simple restriction in context-free rewriting + (8)
- Synthesis of Reo circuits from scenario-based interaction specifications + (8)
- Model Checking Probabilistic Systems Against Pushdown Specifications + (8--9)
- Hybride Wissensorganisation mittels Objektstrukturen + (82)
- Managing Structured and Semistructured RDF Data Using Structure Indexes + (9)
- Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities + (9)
- Consistency Reasoning in Lattice-Based Fuzzy Description Logics + (9)
- Fast Compression of Large Semantic Web Data using X10 + (9)
- Metric Semantics from Partial Order Semantics + (9)
- Symbolic model checking for channel-based component connectors + (9)
- Performance evaluation and model checking join forces + (9)
- Automata Can Show PSPACE Results for Description Logics + (9--10)
- D1.1.1 Conceptual models for enterprise knowledge (Initial Models) + (D1.1.1)
- D1.1.1 Networked Ontology Model + (D1.1.1)
- D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation) + (D1.1.2)
- D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes) + (D1.3.1)
- D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator) + (D1.3.2)
- D1.4.2: Knowledge leveraging and repair Demonstrator + (D1.4.2)
- Integrated view and comparison of alignment semantics + (D2.2.5)
- D3.1.1 Context Languages - State of the Art + (D3.1.1)
- An FCA grounded study of user dynamics through log exploration + (LIX)
- Effective algorithm for parameter back calculation - Geotechnical applications + (S1)
- Probabilistic Aspects of Score Systems + (Suppl.)
- SNOMED reaching its adolescence: Ontologists' and logicians' health check + (Supplement 1)
