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
- Locks: Picking key methods for a scalable quantitative analysis + (Journal of Computer and System Sciences)
- Unfolding the Well-founded Semantics + (Journal of Electrical Engineering)
- A "Converse" of the Banach Contraction Mapping Theorem + (Journal of Electrical Engineering, Slovak Academy of Sciences)
- A generalized resolution theorem + (Journal of Electrical Engineering, Slovak Academy of Sciences)
- The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence + (Journal of Information)
- Planning Mathematical Proofs with Methods + (Journal of Information Processing and Cybernetics, EIK)
- Where do business students turn for help? An empirical study on dictionary use in foreign-language learning + (Journal of Lexicography)
- Explicit and Implicit Indeterminism + (Journal of Logic Programming, Special Issue `Action and Change')
- Propositional Dynamic Logic with Recursive Programs + (Journal of Logic and Algebraic Programming)
- The cf2 argumentation semantics revisited + (Journal of Logic and Computation)
- Stage semantics and the SCC-recursive schema for argumentation semantics + (Journal of Logic and Computation)
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies + (Journal of Logic and Computation)
- A Description Logic with Concrete Domains and Role-forming Predicates + (Journal of Logic and Computation)
- Expressive Number Restrictions in Description Logics + (Journal of Logic and Computation)
- Matching in Description Logics + (Journal of Logic and Computation)
- PSPACE Reasoning for Graded Modal Logics + (Journal of Logic and Computation)
- ATL is Indeed ExpTime-complete + (Journal of Logic and Computation)
- Axiom Pinpointing in General Tableaux + (Journal of Logic and Computation)
- Solving a PSPACE-complete problem by gene assembly + (Journal of Logic and Computation)
- Linear Deductive Planning + (Journal of Logic and Computation)
- On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics + (Journal of Logic and Computation)
- On the Number of Bipolar Boolean Functions + (Journal of Logic and Computation)
- Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond + (Journal of Logic and Computation)
- On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations + (Journal of Logic, Language and Information)
- Exact Learning of Lightweight Description Logic Ontologies + (Journal of Machine Learning Research)
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments + (Journal of Parallel and Distributed Computing)
- A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations + (Journal of Philosophical Logic)
- On the Decidability Status of Fuzzy ALC with General Concept Inclusions + (Journal of Philosophical Logic)
- Projection and Scope-Determined Circumscription + (Journal of Symbolic Computation)
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection + (Journal of Symbolic Logic)
- Contextual Abductive Reasoning with Side-Effects + (Journal of Theory and Practice of Logic Programming (TPLP))
- Probabilistic Models for Reo Connector Circuits + (Journal of Universal Computer Science)
- Semantic Wikipedia + (Journal of Web Semantics)
- The two cultures: mashing up Web 2.0 and the Semantic Web + (Journal of Web Semantics)
- Interactive ontology revision + (Journal of Web Semantics)
- Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies + (Journal of Web Semantics)
- Temporalizing Rewritable Query Languages over Knowledge Bases + (Journal of Web Semantics)
- Temporal Query Entailment in the Description Logic SHQ + (Journal of Web Semantics)
- Probabilistic $ømega$-Automata + (Journal of the ACM)
- Representing Concurrent Action and Solving Conflicts + (Journal of the IGPL)
- The Complexity of Lattice-Based Fuzzy Description Logics + (Journal on Data Semantics)
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies + (Journal on Data Semantics)
- Terminologische Logiken + (KI)
- Logik-basierte Wissensrepräsentation + (KI)
- FABEL + (KI)
- Is Your Database System a Semantic Web Reasoner? + (KI)
- Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract) + (KI)
- From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) + (KI)
- Cognitive Argumentation for Human Syllogistic Reasoning + (KI)
- Reasoner = Logical Calculus + Rule Engine + (KI)
- Multi-Context Reasoning in Continuous Data-Flow Environments + (KI - Künstliche Intelligenz)
- Advanced Solving Technology for Dynamic and Reactive Applications + (KI - Künstliche Intelligenz)
