Semantische Suche

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Datum„Datum <span style="font-size:small;">(Date)</span>“ ist ein <a href="/web/Spezial:Datentypen/Date" title="Spezial:Datentypen/Date">Datentyp</a> für Datumswerte. Er wird Attributen mit Hilfe eines von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> bereitgestellten, softwareseitig fest definierten Attributs (Spezialattribut), zugeordnet.TitleSpeaker
7 Juli 2022 11:00:00A Glimpse into Propositional Model CountingJohannes K. Fichte
30 Juni 2022 11:00:00Efficient Emulation of Datalog(S) in the Existential Rules Engine VLogChristian Lewe
23 Juni 2022 11:00:00Statistics for Knowledge Graph ModellingMarcin Pietrasik
16 Juni 2022 11:00:00Satisfiability Testing -- Recent Developments and Open ProblemsNorbert Manthey
15 Juni 2022 10:00:00The World Avatar project – a universal digital twinMarkus KRAFT
2 Juni 2022 11:00:00Blockmodelling Knowledge GraphsMarcin Pietrasik
19 Mai 2022 11:00:00Communication with AutomataStephan Mennicke
12 Mai 2022 11:00:00Weighted Automata with StorageLuisa Hermann
5 Mai 2022 11:00:00Causality meets Configurable SystemsClemens Dubslaff
28 April 2022 11:00:00Expressivity of Planning with Horn Description Logic OntologiesStefan Borgwardt
14 April 2022 11:00:00Computing Generalizations of Temporal EL Concepts with Next and GlobalSatyadharma Tirtarasa
7 April 2022 11:00:00The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hardBartosz Bednarczyk
31 März 2022 11:00:00A Datalog hammer for supervisor verification conditions modulo simple linear arithmeticMartin Bromberger
17 Februar 2022 11:00:00Agile Project Management - An overview on techniques and the agile mindsetStefan Ellmauthaler
10 Februar 2022 11:00:00Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2Hannes Straß
3 Februar 2022 11:00:00Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic SemanticsHannes Straß
27 Januar 2022 11:00:00Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated AdministrationDörthe Arndt
20 Januar 2022 11:00:00Tuple-Generating Dependencies Capture Complex ValuesMaximilian Marx
13 Januar 2022 11:00:00An Introduction to Proof Theory II: More on the Sequent CalculusTim Lyon
6 Januar 2022 11:00:00Answering Queries with Negation over Existential RulesStephan Mennicke
9 Dezember 2021 09:45:00Reliance-Based Optimization of Existential Rule ReasoningAlex Ivliev
2 Dezember 2021 11:00:00Capturing Homomorphism-Closed Decidable Queries with Existential RulesMarkus Krötzsch
25 November 2021 11:00:00On Classical Decidable Logics extended with Percentage Quantifiers and ArithmeticsBartosz Bednarczyk
18 November 2021 11:00:00Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based ArgumentationMartin Diller
4 November 2021 11:00:00Admissibility in Probabilistic ArgumentationNikolai Käfer
28 Oktober 2021 11:00:00Indexing for Datalog Materialisation with Leapfrog TriejoinPhilipp Hanisch
21 Oktober 2021 11:00:00Ongoing Research in the NAVAS ProjectDominik Rusovac
7 Oktober 2021 13:00:00An overview of Datalog boundednessChristian Lewe
23 September 2021 13:00:00Exploiting Treewidth for Counting in Abstract ArgumentationPiotr Gorczyca
16 September 2021 13:00:00Chase-Based Computation of Cores for Existential RulesLukas Gerlach
9 September 2021 13:00:00Standpoint Logic: Multi-Perspective Knowledge RepresentationLucía Gómez Álvarez
12 August 2021 13:00:00In the Hand of the Beholder: Comparing Interactive Proof VisualizationsAlisa Kovtunova
29 Juli 2021 13:00:00Challenges of Using Leapfrog Triejoin for Datalog ProgramsPhilipp Hanisch
22 Juli 2021 13:00:00Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and ReasoningHannes Straß
15 Juli 2021 13:00:00Optimizing the Execution Order of Datalog Rules in VLogAlex Ivliev
8 Juli 2021 13:00:00Fluted Logic with CountingIan Pratt-Hartmann
24 Juni 2021 13:00:00Using Model Theory to Find Decidable and Tractable Description Logics with Concrete DomainsJakub Rydval
17 Juni 2021 13:00:00Finite Model Theory of the Triguarded Fragment and Related LogicsSebastian Rudolph
27 Mai 2021 13:00:00Enterprise Management in the Presence of DataEvellin Cardoso
20 Mai 2021 13:00:00An importance value for temporal logicsSimon Jantsch
6 Mai 2021 13:00:00Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded FragmentBartosz Bednarczyk
29 April 2021 14:30:00From Data to Knowledge: Extending Database Techniques for Knowledge GraphsMaribel Acosta
22 April 2021 13:00:00A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic LogicsFaiq Miftakhul Falakh
15 April 2021 13:00:00An Introduction to Proof Theory I: Sequent CalculusTim Lyon
8 April 2021 13:00:00Detecting Non-Existence of Finite Universal Models for Existential RulesLukas Gerlach
1 April 2021 13:00:00Using Datalog to Ground ASP ProgramsPhilipp Hanisch
25 März 2021 13:00:00"Most of" leads to undecidability: Failure of adding frequencies to LTLBartosz Bednarczyk
18 März 2021 13:00:00Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologiesLukas Gerlach
4 März 2021 13:00:00Solving Datalog(S) Problems with Lazy-Grounding ASP SolvingPhilipp Hanisch
11 Februar 2021 13:00:00Knowledge Graphs for AI: Wikidata and BeyondMarkus Krötzsch