• Suche: "Logic in Computer Science"

Treffer 1 - 20 von 95.778

1

FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
Beiser, Alexander ; Gebser, Martin ; Hecher, Markus ; et al.
22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}. :100-109

Melbourne, Australia [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
2

On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories
Demri, Stéphane ; Fervari, Raul ; Centre National de la Recherche Scientifique (CNRS) ; et al.
22nd International Conference on Principles of Knowledge Representation and Reasoning. :260-270

Melbourne, Australia [INFO]Computer Science [... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
3

Application de la logique floue et du raisonnement approximatif à l'optimisation de la déshydratation des boues
Friedmann, Edwin ; Poli, Jean-Philippe ; Dang, Jessica ; et al.
LFA 2025 - Logique Floue et Applications. :81-88

Clermont Ferrand, France artificial intelligence fuzzy logic sludge dewatering fuzzy rules wastewater treatment pla... …
Konferenz
Zu den Favoriten
4

FLORA: Unsupervised Knowledge Graph Alignment by Fuzzy Logic
FLORA : Alignement non supervisé de graphes de connaissances par logique floue
Peng, Yiwen ; Bonald, Thomas ; Suchanek, Fabian M. ; et al.
The 24th International Semantic Web Conference (ISWC). :196-215

Nara / Japan, Japan Knowledge Graphs Fuzzy logic Symbolic Reasoning Holistic Matching Entity Alignment …
Konferenz
Zu den Favoriten
5

Intuitionistic BV
Acclavio, Matteo ; Straßburger, Lutz ; Dipartimento di Matematica e Fisica [Roma] ; et al.
TABLEAUX 2025 - 34th International Conference Automated Reasoning with Analytic Tableaux and Related Methods.. :414-432

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

TouIST in Progress
Sirunyan, Hovhannes ; Longin, Dominique ; Maris, Frédéric ; et al.
15th International Conference on Computer Science and Information Technologies (CSIT-2025). :22-25

Yerevan, Armenia Modal logic Finite modelling Logical solvers UIST [INFO.INFO-AI]Computer S... …
Konferenz
Zu den Favoriten
7

Faithful Explanations for Graph Classification Using Logic
Ragno, Alessio ; Plantevit, Marc ; Robardet, Céline ; et al.
European Conference on Machine Learning and Knowledge Discovery in Databases (ECMLPKDD 2025). :113-129

Porto, Portugal Graph Neural Networks Explainability Interpretability Logic [INFO.INFO-AI]Computer S... …
Konferenz
Zu den Favoriten
8

Recurrent Pairs Revisited
Payet, Etienne ; Laboratoire d'Informatique et de Mathématiques (LIM) ; Université de La Réunion (UR) ; et al.
35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). :154-164

Rende, Italy Logic Programming Term Rewriting Non-Looping Non-Termination [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
9

Automated Certification of Logic Program Groundness Analysis
Marianne, Thierry ; Mesnard, Frédéric ; Payet, Etienne ; et al.
35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). :113-122

Rende, Italy Groundness analysis Certification Abstract interpretation [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
10

Checking Linear Integer Arithmetic Proofs in Lambdapi
Coltellacci, Alessio ; Merz, Stephan ; Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) ; et al.
FroCoS 2025 - 15th International Symposium Frontiers of Combining Systems. :367-385

Reykjavik, Iceland Lambdapi integer arithmetic Alethe SMT [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
11

There’s No Such Thing as Simple Reasoning for LLMs
Ariyani, Nurul Fajrin ; Bouraoui, Zied ; Booth, Richard ; et al.
The 63rd Annual Meeting of the Association for Computational Linguistics (ACL 2025). :4503-4514

Vienne, Austria [INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-CL]Computer S... Computation and Language... [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
12

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses
Jiang, Hongjian ; Lin, Anthony, W ; Markgraf, Oliver ; et al.
Computer Aided Verification. :200-214

Zagreb, Croatia [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
13

Complexity of Łukasiewicz Modal Probabilistic Logics
Kozhemiachenko, Daniil ; Sedlár, Igor ; Aix Marseille Université (AMU) ; et al.
Theoretical Aspects of Rationality & Knowledge (TARK 2025). :344-358

Düsseldorf, Germany [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
14

Théorie des possibilités et modèles numériques linéaires pour l'inférence sur une base de croyances
Gaudillier, Armand ; Belahcene, Khaled ; Ouerdane, Wassila ; et al.
19èmes Journées d'Intelligence Artificielle Fondamentale et 20èmes Journées Francophones sur la Planification. :48-57

Dijon, France Logique possibiliste Raisonnement sur base de... Aide à la décision multi... complexité sémantique et syntaxe …
Konferenz
Zu den Favoriten
15

A Polytime Quantum Programming Language
Hainry, Emmanuel ; Péchoux, Romain ; Silva, Mário ; et al.
ACM Transactions on Quantum Computing. 7(1):1-32

Complexity theory and lo... CCS Concepts: • Theory o... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Zeitschrift
Zu den Favoriten
16

The Qualitative Collapse of Concurrent Games
Clairambault, Pierre ; Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS) ; Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS) ; et al.
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025). :513-526

Singapour, Singapore [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
17

Proof Compression via Subatomic Logic and Guarded Substitutions
Barrett, Victoria ; Guglielmi, Alessio ; Ralph, Benjamin ; et al.
LICS 2025 - 40th Annual ACM/IEEE Symposium on Logic in Computer Science. :183-195

Singapore, Singapore [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
18

Simplifying LTL Model Checking Given Prior Knowledge
Duret-Lutz, Alexandre ; Poitrenaud, Denis ; Thierry-Mieg, Yann ; et al.
Proceedings of the 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025). :433-456

Paris, France Linear-time temporal Log... Model checking Knowledge Power [INFO.INFO-FL]Computer S... …
Konferenz
Zu den Favoriten
19

CESAn: A Core Erlang Semantics Analyser
Kong Win Chang, Aurélie ; Feret, Jérôme ; Gössler, Gregor ; et al.
DisCoTec 2025 - 20th International Federated Conference on Distributed Computing Techniques / CORSE - Components Operationally: Reversibility and System Engineering. :103-115

Lille, France [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
20

Dynamic Swarming Autonomous Underwater Vehicles through Behavioral Rules Using Declarative Programming
Vilchis-Medina, José-Luis ; Zerr, Benoit ; École Nationale Supérieure de Techniques Avancées (ENSTA) ; et al.
OCEANS 2025 Brest. :1-8

BREST, France data-muling declarative programming swarm autonomous underwater ve... autonomous underwater ve... …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter