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
- 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)
