Pages that link to "Research Seminar Logic and AI/en"
From International Center for Computational Logic
The following pages link to Research Seminar Logic and AI/en:
Displayed 50 items.
- Thomas Feller/en (← links)
- Smoke Test Planning using Answer Set Programming/en (← links)
- Research Seminar Logic and AI (WS2020)/en (redirect page) (← 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)
