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

• Generalizing multi-context systems for reactive stream reasoning applications  + (10.4230/OASIcs.ICCSW.2013.19)
• Foundations of probability-raising causality in Markov decision processes  + (10.46298/LMCS-20(1:4)2024)
• Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?  + (10.46298/lmcs-18(3:5)2022)
• Decidability of Querying First-Order Theories via Countermodels of Finite Width  + (10.46298/lmcs-21(2:7)2025)
• The DIAMOND system for argumentation: Preliminary report  + (10.48550/arXiv.1312.6140)
• Existential Notation3 Logic  + (10.48550/arXiv.2308.07332)
• Efficient Rule-Based Inferencing for OWL EL  + (10.5591/978-1-57735-516-8/IJCAI11-444)
• Smoke Test Planning using Answer Set Programming  + (10.9781/ijimai.2021.02.003)
• Solving a PSPACE-complete problem by gene assembly  + (\url{http://dx.doi.org/10.1093/logcom/exr052})
• Winning Snake: Design Choices in Multi-Shot ASP  + (doi.org/10.1017/S1471068424000267)
• Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems  + (doi.org/10.1109/SASO.2017.20)
• On the Decidability Status of Fuzzy ALC with General Concept Inclusions  + (http://dx.doi.org/10.1007/s10992-014-9329-3)
• The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions  + (http://dx.doi.org/10.1016/j.artint.2014.09.001)
• Consistency Reasoning in Lattice-Based Fuzzy Description Logics  + (http://dx.doi.org/10.1016/j.ijar.2013.07.006)
• Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities  + (http://dx.doi.org/10.1016/j.ijar.2014.03.001)
• Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited  + (http://dx.doi.org/10.1016/j.jal.2014.09.001)
• Similarity-based Relaxed Instance Queries  + (http://dx.doi.org/10.1016/j.jal.2015.01.002)
• The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees  + (http://dx.doi.org/10.1016/j.tcs.2014.02.036)
• Temporalizing Rewritable Query Languages over Knowledge Bases  + (http://dx.doi.org/10.1016/j.websem.2014.11.007)
• Temporal Query Entailment in the Description Logic SHQ  + (http://dx.doi.org/10.1016/j.websem.2014.11.008)
• Fuzzy Answer Sets Approximations  + (http://dx.doi.org/10.1017/S1471068413000471)
• Cost-Utility Analysis in Probabilistic Models  + (http://dx.doi.org/10.1109/TASE.2016.10)
• The Logical Difference for ELHr-Terminologies using Hypergraphs  + (http://dx.doi.org/10.3233/978-1-61499-419-0-555)
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics  + (https://doi.org/10.1007/978-3-030-19570-0_52)
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics  + (https://doi.org/10.1007/978-3-030-33792-6_13)

• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms  + (https://doi.org/10.1007/978-3-030-44638-3_14)

• A Framework for Intuitionistic Grammar Logics  + (https://doi.org/10.1007/978-3-030-89391-0_29)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (https://doi.org/10.1007/978-3-031-15707-3_17)
• Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy  + (https://doi.org/10.1007/978-3-031-15707-3_8)
• On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic  + (https://doi.org/10.1007/978-3-031-87054-5_8)
• Pushing the Boundaries of Tractable Ontology Reasoning.  + (https://doi.org/10.1007/978-3-319-11915-1_10)
• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage  + (https://doi.org/10.1007/978-3-319-23021-4_11)
• A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem  + (https://doi.org/10.1007/978-3-319-30000-9_10)
• Linear Context-Free Tree Languages and Inverse Homomorphisms  + (https://doi.org/10.1007/978-3-319-30000-9_37)
• Rule-Based OWL Modeling with ROWLTab Protégé Plugin  + (https://doi.org/10.1007/978-3-319-58068-5_26)
• A Medvedev Characterization of Recognizable Tree Series  + (https://doi.org/10.1007/978-3-319-62809-7_15)
• From Display to Labelled Proofs for Tense Logics  + (https://doi.org/10.1007/978-3-319-72056-2_8)
• Recent Advances in Integrating OWL and Rules  + (https://doi.org/10.1007/978-3-642-33203-6_20)
• A cross-lingual correcting and completive method for multilingual ontology labels  + (https://doi.org/10.1007/978-3-662-43585-4)
• Weighted Symbolic Automata with Data Storage  + (https://doi.org/10.1007/978-3-662-53132-7_17)
• A Neutral Temporal Deontic STIT Logic  + (https://doi.org/10.1007/978-3-662-60292-8_25)
• Second-order Confidence in Supervaluationism  + (https://doi.org/10.1007/s10838-023-09652-7)
• A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations  + (https://doi.org/10.1007/s10992-023-09714-7)
• An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms  + (https://doi.org/10.1016/j.artint.2022.103680)
• Preface: Concept Lattices and Applications: Recent Advances and New Opportunities  + (https://doi.org/10.1016/j.dam.2018.10.007)
• Weighted automata with storage  + (https://doi.org/10.1016/j.ic.2019.104447)
• Linear context-free tree languages and inverse homomorphisms  + (https://doi.org/10.1016/j.ic.2019.104454)
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination  + (https://doi.org/10.1016/j.ic.2019.104504)
• Linear weighted tree automata with storage and inverse linear tree homomorphisms  + (https://doi.org/10.1016/j.ic.2021.104816)
• Exact Learning of Multivalued Dependency Formulas  + (https://doi.org/10.1016/j.tcs.2017.11.018)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (https://doi.org/10.1017/S1471068424000036)