Search by property

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

• Succinctness and tractability of closure operator representations  + (Theoretical Computer Science)
• On boolean combinations forming piecewise testable languages  + (Theoretical Computer Science)
• Exact Learning of Multivalued Dependency Formulas  + (Theoretical Computer Science)
• One-Variable Logic Meets Presburger Arithmetic  + (Theoretical Computer Science)
• Denotational Semantics in the CPO and Metric Approach  + (Theoretical Computer Science)
• Metric Completion versus Ideal Completion  + (Theoretical Computer Science)
• Trees and Semantics  + (Theoretical Computer Science)
• Metric semantics for true concurrent real time  + (Theoretical Computer Science)
• Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes  + (Theoretical Computer Science)
• Experiments with deterministic $ømega$-automata for formulas of linear temporal logic  + (Theoretical Computer Science)
• Combination Techniques and Decision Problems for Disunification  + (Theoretical Computer Science B)

• Completing the Picture: Complexity of Graded Modal Logics with Converse  + (Theory and Practice of Logic Programming)
• Fuzzy Answer Sets Approximations  + (Theory and Practice of Logic Programming)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Theory and Practice of Logic Programming)
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms  + (Theory and Practice of Logic Programming)
• Solving Advanced Argumentation Problems with Answer Set Programming  + (Theory and Practice of Logic Programming)
• Winning Snake: Design Choices in Multi-Shot ASP  + (Theory and Practice of Logic Programming)

• Improved Answer-Set Programming Encodings for Abstract Argumentation  + (Theory and Practice of Logic Programming (TPLP))
• Probabilistic Model Checking for Feature-oriented Systems  + (Transactions on Aspect-Oriented Software Development)
• Deduktives Planen  + (Wissenschaftliche Zeitschrift der TU Dresden)
• Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL  + (eDITion)
• Medizinische Aus- und Weiterbildung: Mit dem Computer lernen  + (interMed - Arzt & neue Medien)