Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)
• On the Decidability Status of Fuzzy ALC with General Concept Inclusions  + (Journal of Philosophical Logic)
• A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations  + (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)
• Description Logics for the Semantic Web  + (KI – Künstliche Intelligenz)
• Small is again Beautiful in Description Logics  + (KI – Künstliche Intelligenz)
• The Basics of Display Calculi  + (Kriterion -- Journal of Philosophy)