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 reasoning: Usually birds can abductively fly + (Dietz Saldanha)
- From Logic Programming to Human Reasoning: How to be Artificially Human + (Dietz Saldanha)
- Contextual abduction and its complexity issues + (Dietz Saldanha)
- Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles + (Dietz Saldanha)
- The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters + (Dietz Saldanha)
- The Weak Completion Semantics and Equality + (Dietz Saldanha)
- From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) + (Dietz Saldanha)
- A Core Method for the Weak Completion Semantics with Skeptical Abduction + (Dietz Saldanha)
- Cognitive Argumentation for Human Syllogistic Reasoning + (Dietz Saldanha)
- Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación + (Diller)
- An Extension-Based Approach to Belief Revision in Abstract Argumentation + (Diller)
- Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas + (Diller)
- Encoding monotonic multi-set preferences using CI-nets: preliminary report + (Diller)
- Encoding monotonic multiset preferences using CI-nets + (Diller)
- Defeasible AceRules: A prototype + (Diller)
- Investigating Subclasses of Abstract Dialectical Frameworks + (Diller)
- An Extension-Based Approach to Belief Revision in Abstract Argumentation + (Diller)
- Applications of ASP in Formal Argumentation + (Diller)
- Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization + (Diller)
- Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas + (Diller)
- Investigating subclasses of abstract dialectical frameworks + (Diller)
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation + (Diller)
- Defeasible AceRules: A Prototype + (Diller)
- Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization + (Diller)
- Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation + (Diller)
- flexABle – System Description for ICCMA 2023 + (Diller)
- The Fuzzy Linguistic Description Logic ALC_FL + (Dinh-Khac)
- The Fuzzy Linguistic Description Logic ALC_FL + (Dinh-Khac)
- An Approach to Exploring Description Logic Knowledge Bases + (Distel)
- Hardness of Enumerating Pseudo-Intents in the Lectic Order + (Distel)
- Some Complexity Results about Essential Closed Sets + (Distel)
- On the complexity of enumerating pseudo-intents + (Distel)
- Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics + (Distel)
- A hybrid approach for learning concept definitions from text + (Distel)
- Concept Dissimilarity with Triangle Inequality + (Distel)
- Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations + (Distel)
- Model-based Most Specific Concepts in Description Logics with Value Restrictions + (Distel)
- Applying Triadic FCA in Studying Web Usage Behaviors + (Dragoș)
- An FCA grounded study of user dynamics through log exploration + (Dragoș)
- Ausgezeichnete Informatikdissertationen 2004 + (Dreier)
- Putting ABox Updates into Action + (Drescher)
- Putting ABox Updates into Action + (Drescher)
- Putting ABox Updates into Action + (Drescher)
- Lazy model checking for recursive state machines + (Dubslaff)
- Model Checking Probabilistic Systems Against Pushdown Specifications + (Dubslaff)
- Probabilistic Model Checking for Energy Analysis in Software Product Lines + (Dubslaff)
- Probabilistic Model Checking for Feature-oriented Systems + (Dubslaff)
- Quantitative Analysis of Communication Scenarios + (Dubslaff)
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs + (Dubslaff)
- Compositional Feature-oriented Systems + (Dubslaff)
- Breaking the Limits of Redundancy Systems Analysis + (Dubslaff)
- Ontology-Mediated Probabilistic Model Checking + (Dubslaff)