Suche mittels Attribut

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

• Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases  + (J. ACM)
• Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning  + (J. Applicable Algebra in Engineering, Communication and Computing)
• A Multi-Dimensional Terminological Knowledge Representation Language  + (J. Applied Non-Classical Logics)
• Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies  + (J. Artif. Intell. Res. (JAIR))
• The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies  + (J. Autom. Reasoning)
• The Theory of Idempotent Semigroups is of Unification Type Zero  + (J. Automated Reasoning)
• Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic  + (J. Automated Reasoning)
• Embedding Defaults into Terminological Representation Systems  + (J. Automated Reasoning)
• A rule-based ontological framework for the classification of molecules  + (J. Biomedical Semantics)
• Unification in Commutative Theories  + (J. Symbolic Computation)
• Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures  + (J. Symbolic Computation)
• Unification of Concepts Terms in Description Logics  + (J. Symbolic Computation)
• Unification in Commutative Idempotent Monoids  + (J. Theoretical Computer Science)
• Shortipedia: Aggregating and Curating Semantic Web Data  + (J. Web Sem.)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages  + (J. of Logic and Computation)
• Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems  + (JPL)
• Second-order Confidence in Supervaluationism  + (Journal for General Philosophy of Science)
• Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations  + (Journal of Ambient Intelligence and Smart Environments)
• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (Journal of Applied Logic)
• Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited  + (Journal of Applied Logic)
• Similarity-based Relaxed Instance Queries  + (Journal of Applied Logic)
• A general first-order solution to the ramification problem with cycles  + (Journal of Applied Logic)
• Logic Programs and Connectionist Networks  + (Journal of Applied Logic, Special Issue on Neural-Symbolic Systems)
• Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks  + (Journal of Applied Logic, Special Issue on Neural-Symbolic Systems)
• The Weak Completion Semantics and Counterexamples  + (Journal of Applied Logics - IfCoLog)
• A Correspondence between Temporal Description Logics  + (Journal of Applied Non-Classical Logic)
• PDL with Negation of Atomic Programs  + (Journal of Applied Non-Classical Logic)
• Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics  + (Journal of Applied Non-Classical Logics)
• Modeling the Suppression Task under Weak Completion and Well-Founded Semantics  + (Journal of Applied Non-Classsical Logics)
• A Core Method for the Weak Completion Semantics with Skeptical Abduction  + (Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning)

• Admissibility in Probabilistic Argumentation  + (Journal of Artificial Intelligence Research)
• Answering conjunctive queries in the SHIQ description logic  + (Journal of Artificial Intelligence Research)
• Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks  + (Journal of Artificial Intelligence Research)
• FLUCAP: A Heuristic Search Planner for First-Order MDPs  + (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)
• Keys, Nominals, and Concrete Domains  + (Journal of Artificial Intelligence Research)
• Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!  + (Journal of Artificial Intelligence Research)
• On the Decomposition of ADFs and the Complexity of Naive-based Semantics  + (Journal of Artificial Intelligence Research)
• Proof Theory and Decision Procedures for Deontic STIT Logics  + (Journal of Artificial Intelligence Research)
• The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases  + (Journal of Artificial Intelligence Research)
• The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description 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)