Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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)
