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
- Contextual abduction and its complexity issues + (Emmanuelle-Anna)
- Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles + (Emmanuelle-Anna)
- The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters + (Emmanuelle-Anna)
- The Weak Completion Semantics and Equality + (Emmanuelle-Anna)
- From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) + (Emmanuelle-Anna)
- A Core Method for the Weak Completion Semantics with Skeptical Abduction + (Emmanuelle-Anna)
- Cognitive Argumentation for Human Syllogistic Reasoning + (Emmanuelle-Anna)
- From Linear Proofs to Direct Logic with Exponentials + (Enno)
- Proceedings 39th International Conference on Logic Programming + (Enrico)
- New CNF Features and Formula Classification + (Enrique)
- Riss 4.27 BlackBox + (Enrique M.)
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) + (Ernst Moritz)
- Blackhole Pushdown Automata + (Erzsébet)
- Blackhole State-Controlled Regulated Pushdown Automata + (Erzsébet)
- Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017) + (Eva)
- Anforderungen an die FABEL-Sprache + (F.)
- A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) + (Faiq Miftakhul)
- AGM Revision in Description Logics under Fixed-Domain Semantics + (Faiq Miftakhul)
- Semantic Characterizations of AGM Revision for Tarskian Logics + (Faiq Miftakhul)
- Models and Temporal Logics for Timed Component Connectors + (Farhad)
- Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract) + (Farhad)
- Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications + (Farhad)
- Models and temporal logical specifications for timed component connectors + (Farhad)
- SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors + (Farhad)
- Synthesis of Reo circuits from scenario-based specifications + (Farhad)
- Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements + (Fariz)
- A Benchmark Framework for a Computational Argumentation Competition + (Federico)
- Foundations of Implementations for Formal Argumentation + (Federico)
- Foundations of Implementations for Formal Argumentation + (Federico)
- An Approach to Exploring Description Logic Knowledge Bases + (Felix)
- Hardness of Enumerating Pseudo-Intents in the Lectic Order + (Felix)
- Some Complexity Results about Essential Closed Sets + (Felix)
- On the complexity of enumerating pseudo-intents + (Felix)
- Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics + (Felix)
- A hybrid approach for learning concept definitions from text + (Felix)
- Concept Dissimilarity with Triangle Inequality + (Felix)
- Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations + (Felix)
- Model-based Most Specific Concepts in Description Logics with Value Restrictions + (Felix)
- Left-forbidding cooperating distributed grammar systems + (Filip)
- Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques + (Filippo)
- Automated Reasoning Support for Standpoint-OWL 2 + (Florian)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints + (Florian)
- Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs + (Francisco)
- Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs + (Francisco)
- Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition + (Francisco)
- D1.1.1 Conceptual models for enterprise knowledge (Initial Models) + (Frank)
- High-level modelling and efficiency analysis of randomized protocols + (Frank)
- LiQuor: A tool for Qualitative and Quantitative Linear Time Analysis of Reactive Systems + (Frank)
- Generating compact MTBDD-representations from Probmela specifications + (Frank)
- Reduction Techniques for Model Checking Markov Decision Processes + (Frank)
- Fixed Parameter Tractable Reasoning in DLs via Decomposition + (František)
- Combination of Constraint Solving Techniques: An Algebraic Point of View + (Franz)
- A Multi-Dimensional Terminological Knowledge Representation Language + (Franz)
