http://www.bartbogaerts.eu/articles/future/005_CatAFT-journal/CatAFT_extended.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2026/005-AAAI-CertifiedIHS/CertifiedIHS.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2026/004-AAAI-CertifiedBranchBound/CertifiedBranchAndBoundMaxSAT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2026/003-AAAI-StepWiseFromProofs/StepwiseExplanationsFromProofs.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2026/002-AAAI-Stepwise-Elicitation/PreferenceElicitation_StepwiseExplanations.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2026/001-AAAI-SymmetryAuxVars/SymmetryAuxiliaryVars.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/006-DefAI/DefinitionAI.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/006-DefAI/DefinitionAI.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/005-CP-IHS-Symmetry/SymmetricCoresForIHS.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/005-CP-IHS-Symmetry/SymmetricCoresForIHS.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/004-TACAS-YBE/YBE_presentation_TACAS.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/004-TACAS-YBE/YBE-Enumeration.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/004-TACAS-YBE/YBE-Enumeration.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/003-TACAS-Multi-Objective/CertifiedMOMaxSAT-Dagstuhl.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/003-TACAS-Multi-Objective/CertifiedMOMaxSAT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/003-TACAS-Multi-Objective/CertifiedMOMaxSAT.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/002-AAAI-SymmetryMUS/SymmetryForMUSComputation-Presentation.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/002-AAAI-SymmetryMUS/SymmetryForMUSComputation.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/002-AAAI-SymmetryMUS/SymmetryForMUSComputation.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/001-AMM-PossibleAsylum/PossibleAsylum.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2025/001-AMM-PossibleAsylum/PossibleAsylum.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/014-LMCS-Preservation_Tarski/PreservationTarski.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/014-LMCS-Preservation_Tarski/PreservationTarski.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/013-Category-HO-AFT/CategoryTheoreticHigherOrderAFT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/013-Category-HO-AFT/CategoryTheoreticHigherOrderAFT.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/012-Demistify-ReasoningFO/ReasoningFO.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/012-Demistify-ReasoningFO/ReasoningFO.bib2025-12-01yearly http://www.bartbogaerts.eu///doi.org/10.1017/S1471068424000231yearly http://www.bartbogaerts.eu/articles/2024/011-StableSmantics-HigherOrderLP/StableModelsHigherOrderLogicPrograms.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/011-StableSmantics-HigherOrderLP/StableModelsHigherOrderLogicPrograms.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/010-CP-Pacose/CertifiedPacose.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/010-CP-Pacose/CertifiedPacose.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/009_PODS-ProvenanceFO/ProvenanceFO.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/009_PODS-ProvenanceFO/ProvenanceFO.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/008_LMCS-ExecutableFO-LIF/ExecutableFO-LIF.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/008_LMCS-ExecutableFO-LIF/ExecutableFO-LIF.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/007-AIJ-EmbeddingJTinAFT/EmbeddingJTinAFT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/007-AIJ-EmbeddingJTinAFT/EmbeddingJTinAFT.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/006_LMCS-SHACL_Expressiveness/ExpressivenessOfSHACLFeatures.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/006_LMCS-SHACL_Expressiveness/ExpressivenessOfSHACLFeatures.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/005-Geuvers-CoqAFT/FormalisingAFTinCOQ.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/005-Geuvers-CoqAFT/FormalisingAFTinCOQ.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/004_TPLP_SubwebSpecifications/DistributedSubwebSpecificationsForTraversingTheWeb.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/004_TPLP_SubwebSpecifications/DistributedSubwebSpecificationsForTraversingTheWeb.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/003-AIJ-NonDetAFT/NonDet-AFT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/003-AIJ-NonDetAFT/NonDet-AFT.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/002-AAAI_LiftedConfiguration/UsingSymmetriestoLiftSatisfiabilityChecking.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/002-AAAI_LiftedConfiguration/UsingSymmetriestoLiftSatisfiabilityChecking.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/001-ISAIM_ConstructiveDefs/ConstructiveDefinitions.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2024/001-ISAIM_ConstructiveDefs/ConstructiveDefinitions.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/010-CP-SimplifyStepWise/SimplifyingStepWiseExplanationSequences.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/010-CP-SimplifyStepWise/SimplifyingStepWiseExplanationSequences.bib2025-12-01yearly http://www.bartbogaerts.eu/articles\2023\009-KR-CKOK\CommonKnowledge-OnlyKnowing-slides.pdfyearly http://www.bartbogaerts.eu/articles/2023/009-KR-CKOK/CommonKnowledge-OnlyKnowing.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/009-KR-CKOK/CommonKnowledge-OnlyKnowing.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/008-JAIR-OCUS/JAIR-OCUS.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/008-JAIR-OCUS/JAIR-OCUS.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/007-TOCL-IntputsOutputsLIF/InputsOutputsLIF.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/007-TOCL-IntputsOutputsLIF/InputsOutputsLIF.bib2025-12-01yearly http://www.bartbogaerts.eu/articles\2023\006-CADE-RC2\CertifiedCoreGuidedMaxSAT-presentation.pdfyearly http://www.bartbogaerts.eu/articles/2023/006-CADE-RC2/CertifiedCoreGuidedMaxSAT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/006-CADE-RC2/CertifiedCoreGuidedMaxSAT.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/005-JAIR-CertifiedDominance/CertifiedSymmetryAndDominanceBreakingForCombinatorialOptimisation_JournalExtension.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/005-JAIR-CertifiedDominance/CertifiedSymmetryAndDominanceBreakingForCombinatorialOptimisation_JournalExtension.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/004-BNAIC_POST-PBSymmetry/PB-SymmetryDominance.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/004-BNAIC_POST-PBSymmetry/PB-SymmetryDominance.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/003_ICLP_AFT-Aggregates/NonDetAFT-Aggregates.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/003_ICLP_AFT-Aggregates/NonDetAFT-Aggregates.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/002_ICLP_ConfigurationUnknown/Configuration-Unknown-Environments.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2023/002_ICLP_ConfigurationUnknown/Configuration-Unknown-Environments.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/011-BNAIC-PBSymmetry/PB-SymmetryDominance-slides.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/011-BNAIC-PBSymmetry/PB-SymmetryDominance.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/010-ModRef-OCUS/OCUS-ExtAbstr.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/009-DiL-CoqAFT/AFT-COQ.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/008-IS-ComputingAbductiveExplanations/ComputingAbductiveExplanations.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/008-IS-ComputingAbductiveExplanations/ComputingAbductiveExplanations.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/007-XLoKR-StepWiseCP/Unsat-CP-Expl.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/006-LPNMR-SHACL-DL/ShaclDL.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/006-LPNMR-SHACL-DL/ShaclDL.bib2025-12-01yearly http://www.bartbogaerts.eu/articles\2022\005-LPNMR-CertifiedQMaxSAT\QMaxSATpb_slides.handouts.pdfyearly http://www.bartbogaerts.eu/articles/2022/005-LPNMR-CertifiedQMaxSAT/CertifiedQMaxSAT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/005-LPNMR-CertifiedQMaxSAT/CertifiedQMaxSAT.bib2025-12-01yearly http://www.bartbogaerts.eu/articles\2022\004-ICLP-NestedJustifications\Presentation-NestedJustifications.pdfyearly http://www.bartbogaerts.eu/articles/2022/004-ICLP-NestedJustifications/NestedJustifications.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/004-ICLP-NestedJustifications/NestedJustifications.bib2025-12-01yearly http://www.bartbogaerts.eu/articles\2022\003-ICLP-TreeLikeConsistency\Presentation-TreeLikeConsistency.pdfyearly http://www.bartbogaerts.eu/articles/2022/003-ICLP-TreeLikeConsistency/TreeLikeConsistent.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/003-ICLP-TreeLikeConsistency/TreeLikeConsistent.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/002-AAAI_CertifiedSymmetryBreaking/CertifiedSymmetry_PresentationPoS.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/002-AAAI_CertifiedSymmetryBreaking/CertifiedSymmetry_Presentation.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/002-AAAI_CertifiedSymmetryBreaking/CertifiedSymmetry.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/002-AAAI_CertifiedSymmetryBreaking/CertifiedSymmetry.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/001-ICDT_SHACL-Features/ShaclFeatures.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2022/001-ICDT_SHACL-Features/ShaclFeatures.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/008-BNAIC-Shacl-DL/ShaclIsADL.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/008-BNAIC-Shacl-DL/ShaclIsADL.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/007-Types-AFT-Coq/AFT-COQ.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/007-Types-AFT-Coq/AFT-COQ.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/006-ICLP-RecursiveSHACL/RecursiveSHACL.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/006-ICLP-RecursiveSHACL/RecursiveSHACL.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/005-RuleML-GuidedLink-SubwebSpec/SubwebSpecifications.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/005-RuleML-GuidedLink-SubwebSpec/SubwebSpecifications.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/004-AIJ-Expl/Zebra-Journal.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/004-AIJ-Expl/Zebra-Journal.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/003-AIC-Strat/AIC-Stratification.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/003-AIC-Strat/AIC-Stratification.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/002-AFT-Just/AFT-Justifications.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/002-AFT-Just/AFT-Justifications.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/001-OCUS/OCUS.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2021/001-OCUS/OCUS.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/007-NMR-LazyGrounding-Completions/LGCompletion-Talk.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/007-NMR-LazyGrounding-Completions/NMR-CompletionLG.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/006-justifications-games/justifications-games.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/006-justifications-games/justifications-games.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/005-lp2pb/lp2pb.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/005-lp2pb/lp2pb.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/003-KR-LIF-IO/KR-rhodes-talk.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/003-KR-LIF-IO/LIF-IO.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/003-KR-LIF-IO/LIF-IO.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/002-ECAI-Zebra/StepwiseExplanations-talk.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/002-ECAI-Zebra/StepwiseExplanations.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/002-ECAI-Zebra/StepwiseExplanations.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/001-FLIF-IO/FLIF-IO-ICDT-PRESENTATION.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/001-FLIF-IO/FLIF-IO.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2020/001-FLIF-IO/FLIF-IO.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/007-TAASP-HTAFT/HTLB.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/006-BNAIC-ZEBRA/ZebraDemo.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/006-BNAIC-ZEBRA/ZebraDemo.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/005-HG-Zebra/ZebraTutor.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/004-ALP-ALPHA/Alpha.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/003-AMAI-ASPOCP/EditorialASPOCP.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/003-AMAI-ASPOCP/EditorialASPOCP.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/002-Causality/15_30_BogaertsV2.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/002-Causality/ActualCausalProcesses.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/002-Causality/ActualCausalProcesses.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/001-AAAI-wADF/wADF-spotlight.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/001-AAAI-wADF/wADF.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2019/001-AAAI-wADF/wADF.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/006-IDP/IDP.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/006-IDP/IDP.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/005-Causality/NMR-causation.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/005-Causality/ActualCausality.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/004-ConsistencyJustifications/nmr-just.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/004-ConsistencyJustifications/ConsistencyInJustifications.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/003-IJCAI-LazyASP/presentation.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/003-IJCAI-LazyASP/LazyASP.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/003-IJCAI-LazyASP/LazyASP.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/002-Safe-Algebraic-Journal/Safe-Algebraic.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/002-Safe-Algebraic-Journal/Safe-Algebraic.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/001-AFT-AIC/FixpointSemanticsAIC.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/001-AFT-AIC/FixpointSemanticsAIC.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2018/001-AFT-AIC/BNAIC-AIC-extended-abstract.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2017/004-SAT-SEL/SAT-SEL.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2017/004-SAT-SEL/SAT-SEL.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/future/s002/modsys-presentation.pdfyearly http://www.bartbogaerts.eu/articles/2017/003-LPAR-ModSys/ModularSystems.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2017/003-LPAR-ModSys/ModularSystems.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2017/002-IJCAI-SAFE/Safe-Algebraic.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2017/002-IJCAI-SAFE/Safe-Algebraic.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2017/001-IJCAI-AIC/AFT-AIC.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2017/001-IJCAI-AIC/AFT-AIC.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/a007/iclp16.pdfyearly http://www.bartbogaerts.eu/articles/2016/013/Sat-To-SAT-QBFEval.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/013/Sat-To-SAT-QBFEval.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/012/WellFoundedSets.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/012/WellFoundedSets.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/011/BreakID-ASP.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/011/BreakID-ASP.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/a010/Relevance-implementation-slides.pdfyearly http://www.bartbogaerts.eu/articles/2016/010/Relevance-Implementation.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/010/Relevance-Implementation.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/009/Bootstrapping2.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/009/Bootstrapping2.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/a008/presentation.pdfyearly http://www.bartbogaerts.eu/articles/2016/008/Compositional-TypedHO.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/008/Compositional-TypedHO.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/a007/iclp16.pdfyearly http://www.bartbogaerts.eu/articles/2016/007/StableUnstable.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/007/StableUnstable.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/a006/ICLP-presentation.pdfyearly http://www.bartbogaerts.eu/articles/2016/006/LocalDomainSymmetry.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/006/LocalDomainSymmetry.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/005/dAEL-IJCAI2016.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/005/DistributedAEL.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/005/DistributedAEL.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/004/relevance-slides.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/004/RelevanceForSATID.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/004/RelevanceForSATID.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/003/ImprovedStaticSymmetryBreakingSAT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/003/ImprovedStaticSymmetryBreakingSAT.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/002/DeclarativeSolvers.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/002/DeclarativeSolvers.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/001/SAT-to-SAT_QBF.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2016/001/SAT-to-SAT_QBF.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/006/ModelingAndSolvingMachineLearningAndDataMiningProblems.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/006/ModelingAndSolvingMachineLearningAndDataMiningProblems.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/005/seminar.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/005/PhD.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/005/PhD.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/004/seminar.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/004/KnowledgeCompilation-LP-AFT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/004/KnowledgeCompilation-LP-AFT.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/003/seminar.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/003/PartialGroundedFixpoints.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/003/PartialGroundedFixpoints.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/002/GroundedFixpointsAI.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/002/GroundedFixpointsAI.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/001/seminar.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/001/GroundedFixpoints.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2015/001/GroundedFixpoints.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/010/ALP-minisatid.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/010/ALP-minisatid.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/008/Bootstrapping.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/008/Bootstrapping.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/007/seminar.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/007/BreakID.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/007/BreakID.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/005/InferenceInTheFOCModellingLanguage.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/005/InferenceInTheFOCModellingLanguage.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/004/FOCAndRelatedModellingParadigms.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/004/FOCAndRelatedModellingParadigms.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/002/FOC-AKnowledgeRepresentationLanguageOfCausality.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/002/FOC-AKnowledgeRepresentationLanguageOfCausality.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/001/LTC_erratum.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/001/LTC.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2014/001/LTC.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2013/002/TheEffectsOfBuyingANewCarAnExtensionOfTheIDPKnowledgeBaseSystem.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2013/002/TheEffectsOfBuyingANewCarAnExtensionOfTheIDPKnowledgeBaseSystem.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2013/001/ICTAI2013.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2013/001/MinisatID.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2013/001/MinisatID.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2012/003/AnalyzingManuscriptTraditionsUsingConstraintBasedDataMining.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2012/003/AnalyzingManuscriptTraditionsUsingConstraintBasedDataMining.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2012/002/ModelingMachineLearningAndDataMiningProblemsWithFOdot.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2012/002/ModelingMachineLearningAndDataMiningProblemsWithFOdot.bib2025-12-01yearly http://www.bartbogaerts.eu/articles/2012/001/seminar.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2012/001/SymmetryPropagationImprovedDynamicSymmetryBreakingInSAT.pdf2025-12-01yearly http://www.bartbogaerts.eu/articles/2012/001/SymmetryPropagationImprovedDynamicSymmetryBreakingInSAT.bib2025-12-01yearly