NeFut
中
Admin Login
Search
2026-07-25 22:00
[CS.AI] Explaining Weather Bulletins via ILP
#algorithm
#AI
#Open Source
2026-07-25 22:00
[CS.AI] Differentiable Logic Programming to Address Reasoning Shortcuts in NeSy Systems
#AI
#Neural
#Logic
2026-07-25 22:00
[CS.AI] Machine Learning for Efficient SAT Encoding of Single-Constant Multiplication
#Machine Learning
#optimization
#C++
2026-07-25 22:00
[CS.AI] Unified Logical Foundation: New Semantics for ASP with Difference Constraints
#Logic
#Answer Set Programming
#Constraint Programming
2026-07-25 22:00
[CS.AI] New Well-Supported Semantics for Description Logic Programs
#Logic
#Description Logic
#Semantic
«
1
...
13
14
15
16
17
...
634
»
