Suche mittels Attribut

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

A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning + (17th International Conference on Cognitive Modelling Meetings (ICCM))
RFuzzy Framework + (18th Workshop on Logic-based methods in Programming Environments (WLPE))
To Encode or to Propagate? The Best Choice for Each Constraint in SAT + (19th International Conference on Principles and Practice of Constraint Programming)
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints + (19th International Conference on Principles and Practice of Constraint Programming)
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems + (19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers)
Towards Knowledge-Based Assistance for Scholarly Editing + (1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 (Book of Abstracts))
Partial Order Reduction for Probabilistic Systems + (1st International Conference on Quantitative Evaluation of Systems (QEST))
Answer-Set Programming Encodings for Argumentation Frameworks + (1st Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008))

A Concept Language Extended with Different Kinds of Transitive Roles + (20. Deutsche Jahrestagung für Künstliche Intelligenz)

Relative Observability in Coordination Control + (2015 IEEE International Conference on Automation Science and Engineering (CASE))
Responsibility and verification: Importance value in temporal logics + (2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS))
Semantic Annotation in Specific Domains with rich Ontologies (in French) + (20ème conférence du Traitement Automatique du Langage Naturel)
Asynchronous Graph Pattern Matching on Multiprocessor Systems + (21st European Conference on Advances in Databases and Information Systems, Nicosia, Cyprus)
Multi-context systems for reactive reasoning in dynamic environments + (21st European Conference on Artificial Intelligence (ECAI 2014))
On Metric Temporal Description Logics + (22nd European Conference on Artificial Intelligence)
The Weak Completion Semantics and Equality + (22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning)
Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization + (22nd International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS2024))
Partitioning Strategy Selection for In-Memory Graph Pattern Matching on Multiprocessor Systems + (23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain)
Symbolic Model Checking for Probabilistic Processes + (24th International Colloquium on Automata, Languages and Programming (ICALP))
Metric Semantics for True Concurrent Real Time + (25th International Colloquium on Automata, Languages and Programming (ICALP))
Query Containment in Very Expressive XPath dialects + (26th ACM Symposium on Principles of Database Systems (PODS'07))
On the Logical Characterisation of Performability Properties + (27th International Colloquium on Automata, Languages and Programming (ICALP))
A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem + (28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017))
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents + (28th EACSL Annual Conference on Computer Science Logic (CSL 2020))
Global One-Counter Tree Automata + (28th International Conference on Implementation and Application of Automata (CIAA 2024))
Exact Learning Description Logic Ontologies from Data Retrieval Examples + (28th International Workshop on Description Logics)
PROBMELA: a modeling language for communicating probabilistic processes + (2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE))
Models and Temporal Logics for Timed Component Connectors + (2nd International Conference on Software Engineering and Formal Methods (SEFM))
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking + (32nd International Conference on Concurrency Theory (CONCUR 2021))
The Orbit Problem for Parametric Linear Dynamical Systems + (32nd International Conference on Concurrency Theory, CONCUR)
Fast Dual Simulation Processing of Graph Database Queries + (35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019)
A Spectrum of Approximate Probabilistic Bisimulations + (35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada)
Norm Functions for Probabilistic Bisimulations with Delays + (3rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS))
Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine + (42. Internationales Wissenschaftliches Kolloquium)