Search by property
From International Center for Computational Logic
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
- Keys, Nominals, and Concrete Domains + (Journal of Artificial Intelligence Research)
- Answering conjunctive queries in the SHIQ description logic + (Journal of Artificial Intelligence Research)
- FLUCAP: A Heuristic Search Planner for First-Order MDPs + (Journal of Artificial Intelligence Research)
- On the Decomposition of ADFs and the Complexity of Naive-based Semantics + (Journal of Artificial Intelligence Research)
- Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks + (Journal of Artificial Intelligence Research)
- Admissibility in Probabilistic Argumentation + (Journal of Artificial Intelligence Research)
- How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC + (Journal of Artificial Intelligence Research)
- Proof Theory and Decision Procedures for Deontic STIT Logics + (Journal of Artificial Intelligence Research)
- Fusions of Description Logics and Abstract Description Systems + (Journal of Artificial Intelligence Research (JAIR))
- A Tableau Algorithm for DLs with Concrete Domains and GCIs + (Journal of Automated Reasoning)
- Automata-based Axiom Pinpointing + (Journal of Automated Reasoning)
- The Bayesian Ontology Language BEL + (Journal of Automated Reasoning)
- A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes + (Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods)
- Deciding Bisimilarity and Similarity for Probabilistic Processes + (Journal of Computer and System Science)
- On restricted context-free grammars + (Journal of Computer and System Sciences)
- Simple restriction in context-free rewriting + (Journal of Computer and System Sciences)
- Satisfiability of ECTL* with Constraints + (Journal of Computer and System Sciences)
- 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)
- 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)
