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
- A Spectrum of Approximate Probabilistic Bisimulations +
- Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results +
- Advanced Problem Solving and Search +
- Algorithmic Game Theory +
- Backward Responsibility in Transition Systems Using General Power Indices +
- Behind the secrets of large language models +
- Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes +
- Chase Termination Beyond Polynomial Time +
- Complexity Theory +
- Concurrency Theory +
- Configuring BDD Compilation Techniques for Feature Models +
- Consequence Operators for Characterization Logics – The Case of Abstract Argumentation +
- Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents +
- Data Complexity in Expressive Description Logics With Path Expressions +
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions +
- Decidability of Quasi-Dense Modal Logics +
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures +
- EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization +
- Existential Notation3 Logic +
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. +
- Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) +
- Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) +
- First-Order Logic – Semantic and Computational Properties +
- Formale Systeme +
- Foundations of Knowledge Representation +
- Foundations of probability-raising causality in Markov decision processes +
- GPTKB: Comprehensively Materializing Factual LLM Knowledge +
- Global One-Counter Tree Automata +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- Introduction to Existential Rules +
- Knowledge Graphs +
- Lazy model checking for recursive state machines +
- Linear dynamical systems with continuous weight functions +
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability +
- Model Checking Markov Chains as Distribution Transformers +
- Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization +
- Navigating ASP Solution Spaces +
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? +
- Nemo: A Scalable and Versatile Datalog Engine +
- Nemo: Your Friendly and Versatile Rule Reasoning Toolkit +
- Non-Global Parikh Tree Automata +
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences +
- Probabilistic Causality in Markovian Models +
- Proof Theory and Decision Procedures for Deontic STIT Logics +
- Proof Theory and Sequent Systems +
- QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios +
- Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities +
- Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian +
- Seminar Logic-Based Knowledge Representation +
- Taming Dilation in Imprecise Pooling +
