Seiten, die auf „Research Seminar Logic and AI“ verlinken
Aus International Center for Computational Logic
Die folgenden Seiten verlinken auf Research Seminar Logic and AI:
Angezeigt werden 50 Einträge.
- Markus Krötzsch/en (← Links)
- Lehrveranstaltungen (← Links)
- Lehrveranstaltungen/en (← Links)
- Sebastian Rudolph/en (← Links)
- KBS Seminar (← Links)
- Thomas Feller (← Links)
- Thomas Feller/en (← Links)
- Smoke Test Planning using Answer Set Programming (← Links)
- Research Seminar Logic and AI/en (Weiterleitungsseite) (← Links)
- Thomas Feller/en (← Links)
- Smoke Test Planning using Answer Set Programming/en (← Links)
- Research Seminar Logic and AI (WS2020)/en (Weiterleitungsseite) (← Links)
- Termination of the Skolem Chase on Disjunctive Existential Rules/en (← Links)
- Inconsistency Values for Logic Programs under Answer Set Semantics/en (← Links)
- TBA5/en (← Links)
- TBA6/en (← Links)
- Positivity-Hardness and Saturation Points in Markov Decision Processes/en (← Links)
- "Most of" leads to undecidability: Failure of adding frequencies to LTL./en (← Links)
- Codifying Logical Fragments in ASP - A General Knowledge Base Approach/en (← Links)
- Knowledge Graphs for AI: Wikidata and Beyond/en (← Links)
- Solving Datalog(S) Problems with Lazy-Grounding ASP Solving/en (← Links)
- Seminar 18.03.2021/en (← Links)
- Using Datalog to Ground ASP Programs/en (← Links)
- Seminar 08.04.2021/en (← Links)
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment/en (← Links)
- Seminar 15.04.2021/en (← Links)
- Seminar 29.04.2021/en (← Links)
- A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics/en (← Links)
- Seminar 20.05.2021/en (← Links)
- Enterprise Management in the Presence of Data/en (← Links)
- Seminar 24.06.2021/en (← Links)
- Seminar 08.07.2021/en (← Links)
- Seminar 17.06.2021/en (← Links)
- Seminar 15.07.2021/en (← Links)
- Seminar 22.07.2021/en (← Links)
- Seminar 16.09.2021/en (← Links)
- Seminar 29.07.2021/en (← Links)
- Seminar 12.08.2021/en (← Links)
- Seminar 09.09.2021/en (← Links)
- Seminar 23.09.2021/en (← Links)
- Seminar 07.10.2021/en (← Links)
- Ongoing Research in the NAVAS Project/en (← Links)
- Indexing for Datalog Materialisation with Leapfrog Triejoin/en (← Links)
- Admissibility in Probabilistic Argumentation/en (← Links)
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation/en (← Links)
- On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics/en (← Links)
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules/en (← Links)
- Reliance-Based Optimization of Existential Rule Reasoning/en (← Links)
- Answering Queries with Negation over Existential Rules/en (← Links)
- Tuple-Generating Dependencies Capture Complex Values/en (← Links)
- An Introduction to Proof Theory II: More on the Sequent Calculus/en (← Links)
- Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration/en (← Links)
- Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics/en (← Links)
- Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2/en (← Links)
- Agile Project Management - An overview on techniques and the agile mindset/en (← Links)
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic/en (← Links)
- The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard/en (← Links)
- Computing Generalizations of Temporal EL Concepts with Next and Global/en (← Links)
- Expressivity of Planning with Horn Description Logic Ontologies/en (← Links)
- Weighted Automata with Storage/en (← Links)
- Causality meets Configurable Systems/en (← Links)
- An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation/en (← Links)
- Research Seminar Logic and AI (WS2020) (Weiterleitungsseite) (← Links)
- Termination of the Skolem Chase on Disjunctive Existential Rules (← Links)
- Inconsistency Values for Logic Programs under Answer Set Semantics (← Links)
- TBA5 (← Links)
- TBA6 (← Links)
- Positivity-Hardness and Saturation Points in Markov Decision Processes (← Links)
- "Most of" leads to undecidability: Failure of adding frequencies to LTL. (← Links)
- Codifying Logical Fragments in ASP - A General Knowledge Base Approach (← Links)
- Knowledge Graphs for AI: Wikidata and Beyond (← Links)
- Solving Datalog(S) Problems with Lazy-Grounding ASP Solving (← Links)
- Seminar 18.03.2021 (← Links)
- Using Datalog to Ground ASP Programs (← Links)
- Seminar 08.04.2021 (← Links)
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment (← Links)
- Seminar 15.04.2021 (← Links)
- Seminar 29.04.2021 (← Links)
- A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics (← Links)
- Seminar 20.05.2021 (← Links)
- Enterprise Management in the Presence of Data (← Links)
- Seminar 24.06.2021 (← Links)
- Seminar 08.07.2021 (← Links)
- Seminar 17.06.2021 (← Links)
- Seminar 15.07.2021 (← Links)
- Seminar 22.07.2021 (← Links)
- Seminar 16.09.2021 (← Links)
- Seminar 29.07.2021 (← Links)
- Seminar 12.08.2021 (← Links)
- Seminar 09.09.2021 (← Links)
- Seminar 23.09.2021 (← Links)
- Seminar 07.10.2021 (← Links)
- Piotr Ostropolski-Nalewaja (← Links)
- Ongoing Research in the NAVAS Project (← Links)
- Indexing for Datalog Materialisation with Leapfrog Triejoin (← Links)
- Admissibility in Probabilistic Argumentation (← Links)
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation (← Links)
- On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics (← Links)
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules (← Links)
- Reliance-Based Optimization of Existential Rule Reasoning (← Links)
- Answering Queries with Negation over Existential Rules (← Links)
- Tuple-Generating Dependencies Capture Complex Values (← Links)
- An Introduction to Proof Theory II: More on the Sequent Calculus (← Links)
