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
- A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem +
- A Medvedev Characterization of Recognizable Tree Series +
- A computational logic approach to human syllogistic reasoning +
- A computational logic approach to the belief bias in human syllogistic reasoning +
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning +
- Abstract Dialectical Frameworks. An Overview +
- Abstract Dialectical Frameworks. An Overview +
- Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics +
- Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract +
- Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas +
- Argumentation and Logic Programming (Revised Selected Papers of ArgLP 2015) +
- Asynchronous Graph Pattern Matching on Multiprocessor Systems +
- Attributed Description Logics: Ontologies for Knowledge Graphs +
- Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition +
- Business lexicography +
- Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms +
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics +
- Complexity Theory +
- Complexity of Universality and Related Problems for Partially Ordered NFAs +
- Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication +
- Computing Conditional Probabilities: Implementation and Evaluation +
- Contextual abduction and its complexity issues +
- Contextual reasoning: Usually birds can abductively fly +
- Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux +
- Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems +
- Decidability and Complexity of Fuzzy Description Logics +
- Deduction Systems +
- Defeasible AceRules: A Prototype +
- Defeasible AceRules: A prototype +
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs +
- Description Logic +
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments +
- Encoding monotonic multiset preferences using CI-nets +
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes +
- Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos) +
- Exact Learning of Multivalued Dependency Formulas +
- Extending Two-Variable Logic on Trees +
- Formale Systeme +
- Foundations Repetition +
- Foundations of Constraint Programming +
- Foundations of Implementations for Formal Argumentation +
- Foundations of Logic Programming +
- Foundations of Semantic Web Technologies +
- From Logic Programming to Human Reasoning: How to be Artificially Human +
- Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis +
- Hashtag Processing for Enhanced Clustering of Tweets +
- Human Reasoning and Computational Logic +
- Image Schemas and Conceptual Dependency Primitives: A Comparison +
- Introduction to Formal Concept Analysis +
- Introduction to Non-monotonic Reasoning +
