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
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals + (65-79)
- Integrating Reactive and Reflexive Reasoning by Generating Rational Models + (65-80)
- Coordination control of discrete-event systems revisited + (65-94)
- Configuration of Inter-Process Communication with Probabilistic Model Checking + (651--666)
- Synthesis of Reo circuits from scenario-based interaction specifications + (651--680)
- Runtime Characterisation of Triple Stores + (66-73)
- Description Logics and the Two-Variable Fragment + (66-75)
- Domain equations for probabilistic processes + (665--717)
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs + (666-671)
- Keys, Nominals, and Concrete Domains + (667-726)
- How to Prefer More Specific Defaults in Terminological Default Logic + (669-674)
- NExpTime-complete Description Logics with Concrete Domains + (669-705)
- The Bayesian Ontology Language BEL + (67--95)
- Incremental Fuzzy Decision Trees + (67-81)
- A Terminological Knowledge Representation System with Complete Inference Algorithms + (67-85)
- Disjunction in Resource-Oriented Deductive Planning + (670)
- LATPub527 + (670-688)
- Ontology-Based Monitoring of Dynamic Systems + (678-681)
- Piecewise Testable Languages and Nondeterministic Automata + (67:1--67:14)
- Reactive multi-context systems: Heterogeneous reasoning in dynamic environments + (68-104)
- Riss 4.27 BlackBox + (68-69)
- Descriptional complexity of multi-parallel grammars + (68-70)
- Towards a Massively Parallel Computational Model for Logic Programming. + (68-77)
- Line Drawing, Leap Years, and Euclid + (68-80)
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge + (68-80)
- DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts + (681-699)
- Symbolic model checking for channel-based component connectors + (688--701)
- Foundations of Implementations for Formal Argumentation + (688-767)
- Compact Argumentation Frameworks + (69--74)
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) + (69--92)
- A Rule-Based Language for Ordered Multidimensional Databases + (69-81)
- A Multi-Dimensional Terminological Knowledge Representation Language + (690-695)
- A computational logic approach to the belief bias in human syllogistic reasoning + (691--707)
- Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (695-708)
- The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence + (7-20)
- FABEL + (70-76)
- Fuzzy Ontologies over Lattices with T-norms + (70-80)
- Unification in the Description Logic EL without the Top Concept + (70-84)
- A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies + (70-85)
- Model Checking Action- and State-Labelled Markov Chains + (701--710)
- Metric Semantics from Partial Order Semantics + (701--735)
- Unification in Modal and Description Logics + (705-730)
- Certain Answers in a Rough World + (709-712)
- On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints + (71--79)
- Gödel FL_0 with Greatest Fixed-Point Semantics + (71-82)
- Roughening the EL Envelope + (71-86)
- More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation + (71-90)
- Walking the Complexity Lines for Generalized Guarded Existential Rules + (712-717)
- Temporal Query Entailment in the Description Logic SHQ + (71–93)
- Reasoning About Structured Objects: Knowledge Representation Meets Databases + (73-76)
