Treffer 41 - 60 von 95.766

41

Designing a safe forward chaining tactic using productive proofs
Chaudhuri, Kaustuv ; Gantait, Arunava ; Miller, Dale ; et al.
TABLEAUX 2025 - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2025, Reykjavik, Iceland

Reykjavik, Iceland [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
42

Inconsistency-Tolerant Semantics Based on (Preferred) Repairs
Bourgaux, Camille ; Value from Data (VALDA) ; Département d'informatique - ENS-PSL (DI-ENS) ; et al.
Reasoning Web Summer School (RW 2025), Sep 2025, Istanbul, Turkey. ⟨10.4230/OASIcs.RW.2024/2025.5⟩

Istanbul, Turkey preferences repairs inconsistency handling databases Knowledge bases
Konferenz
Zu den Favoriten
43

Operational methods in semantics
Amadio, Roberto, M. ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) ; et al.
Master. Paris, France. 2025

Paris, France [INFO.INFO-PL]Computer S... Programming Languages [c... [INFO.INFO-DC]Computer S... Distributed, Parallel, a... [INFO.INFO-LO]Computer S...
Buch
Zu den Favoriten
44

On the Trap Space Semantics of Normal Logic Programs
Trinh, Van-Giang ; Soliman, Sylvain ; Fages, François ; et al.
ICLP 2025 - 41st International Conference on Logic Programming, Sep 2025, Rende, Italy

Rende, Italy trap space semantics of negation canonical model infinite structure three-valued model
Konferenz
Zu den Favoriten
45

Non-Termination of Term Rewrite Systems Using Pattern Unfolding
Payet, Etienne ; Laboratoire d'Informatique et de Mathématiques (LIM) ; Université de La Réunion (UR) ; et al.

Leipzig, Germany Unfolding Non-Looping Theory of computation →... 2012 ACM Subject Classif... Non-Termination
Konferenz
Zu den Favoriten
46

Inconsistency Handling in DatalogMTL (Extended Abstract)
Bienvenu, Meghyn ; Bourgaux, Camille ; Khodadaditaghanaki, Atefe ; et al.
DL 2025 - 38th International Workshop on Description Logics, Sep 2025, Opole, Poland

Opole, Poland DatalogMTL inconsistency handling repair-based semantics query answering complexity
Konferenz
Zu den Favoriten
47

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)
Bienvenu, Meghyn ; Bourgaux, Camille ; Inoue, Katsumi ; et al.
DL 2025 - 38th International Workshop on Description Logics, Sep 2025, Opole, Poland

Opole, Poland [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-DB]Computer S...
Konferenz
Zu den Favoriten
48

Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)
Bourgaux, Camille ; Gnatenko, Anton ; Thomazo, Michaël ; et al.
DL 2025 - 38th International Workshop on Description Logics, Sep 2025, Opole, Poland

Opole, Poland Description logics temporal reasoning conjunctive grammars ontology-mediated query... [INFO.INFO-LO]Computer S...
Konferenz
Zu den Favoriten
49

Conférence Nationale d’Intelligence Artificielle Année 2025
Abadie, Nathalie ; Atemezing, Ghislain ; Bonnet, Grégory ; et al.
Association Française pour l'Intelligence Artificielle, 2025

[INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Buch
Zu den Favoriten
50

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
Aceto, Luca ; Achilleos, Antonis ; Attard, Duncan Paul ; et al.

Aarhus, Denmark register automata µHML with data monitorability Runtime verification [INFO.INFO-LO]Computer S...
Konferenz
Zu den Favoriten
51

Inconsistency Handling in DatalogMTL
Bienvenu, Meghyn ; Bourgaux, Camille ; Khodadaditaghanaki, Atefe ; et al.
IJCAI 2025 - Thirty-Fourth International Joint Conference on Artificial Intelligence, Aug 2025, Montreal, Canada. ⟨10.24963/ijcai.2025/487⟩

Montreal, Canada [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-DB]Computer S...
Konferenz
Zu den Favoriten
52

Invariant Synthesis: Decidable Fragments to the Rescue
Merz, Stephan ; Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) ; Max-Planck-Institut für Informatik (MPII) ; et al.
First-Order Reasoning, Below and Beyond: Workshop in Honor of Christoph Weidenbach's 60th Birthday, Aug 2025, Stuttgart, Germany

Stuttgart, Germany [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
53

Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora
Shapiro, Ilana ; Huang, Ruanqianqian ; Novack, Zachary ; et al.
34th International Joint Conference on Artificial Intelligence (IJCAI), Aug 2025, Montreal, Canada

Montreal, Canada SMT Solving Simulated Annealing Music Information Retrie... Combinatorial Optimizati... Stochastic Optimization
Konferenz
Zu den Favoriten
54

A Formalization of Multiplicative Proof-Nets in Rocq
Di Guardia, Rémi ; Laurent, Olivier ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; et al.

Birmingham (UK), United... [INFO]Computer Science [... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
55

Unifying Boolean and Algebraic Descriptive Complexity
Chanus, Baptiste ; Mazza, Damiano ; Rogers, Morgan ; et al.
10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.13⟩

Birmingham, United Kingd... Blum-Shub-Smale complexi... Categorical logic Descriptive complexity t... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
56

Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
Di Guardia, Rémi ; Laurent, Olivier ; Tortora de Falco, Lorenzo ; et al.
10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.16⟩

Birmingham, United Kingd... Theory of computation →... Mathematics of computing... Yeo’s Theorem Graph Theory Sequentialization
Konferenz
Zu den Favoriten
57

Monad Translations for Higher-Order Logic
Traversié, Thomas ; Mathématiques et Informatique pour la Complexité et les Systèmes (MICS) ; CentraleSupélec-Université Paris-Saclay ; et al.
FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Maribel Fernández, Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.34⟩

Birmingham, United Kingd... Monad Higher-order logic Kuroda's translation Intuitionistic logic [INFO.INFO-LO]Computer S...
Konferenz
Zu den Favoriten
58

From Partial to Monadic: Combinatory Algebra with Effects
Cohen, Liron ; Grunfeld, Ariel ; Kirst, Dominik ; et al.
FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, United Kingdom

Birmingham, United Kingd... Combinatory algebras Monads Effects Realizability [INFO.INFO-LO]Computer S...
Konferenz
Zu den Favoriten
59

Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs
Colcombet, Thomas ; Doumane, Amina ; Kuperberg, Denis ; et al.

Aarhus, Denmark mu-calculus 2012 ACM Subject Classif... Theory of computation Ñ... LIPIcs Theory of computation Ñ...
Konferenz
Zu den Favoriten
60

Un cadre paraconsistant pour l'évaluation de similarité dans les bases de connaissances
Vilchis Medina, José-Luis ; École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne) ; Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC) ; et al.
19èmes Journées d'Intelligence Artificielle Fondamentale et 20èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, JIAF-JFPDA 2025, Collège Représentation et Raisonnement de l’AFIA, Jul 2025, Dijon, France

Dijon, France Knowledge representation Contradictions Paraconsistent logic Similarity measure Mesure de similarité Log...
Konferenz
Zu den Favoriten

Filter