Gocht, Stephan
- Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs
2022/09/25 by Stephan Gocht, Gocht, Stephan, Jakob Nordström +1 · 5 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Constraint Satisfaction and Optimization
- Planning Domain Model Acquisition from State Traces without Action Parameters
2024/02/16 by Tomáš Balyo, Balyo, Tomáš, Martin Suda +12 · 1 citation
Computer Science · Decision Sciences · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Complex Systems and Decision Making #FOS: Computer and information sciences