|
s(CASP): How to avoid overly restrictive models
|
|
0
|
35
|
July 28, 2025
|
|
S(casp) problem
|
|
0
|
62
|
October 14, 2024
|
|
Type Error when pengines tries to return attributed variables
|
|
6
|
96
|
October 3, 2024
|
|
s(CASP) crashes with --html option
|
|
4
|
234
|
October 18, 2023
|
|
s(SCAP) minimum issue
|
|
2
|
290
|
September 19, 2023
|
|
Making a predicate true as default and functional
|
|
11
|
555
|
July 20, 2023
|
|
SWI-prolog sCASP library and inf/2
|
|
2
|
370
|
May 11, 2023
|
|
Missing elements from explanation trees in s(CASP)
|
|
2
|
335
|
March 17, 2023
|
|
sCASP on SWISH gives different result to a local install of swi-pl
|
|
3
|
381
|
March 8, 2023
|
|
SWI-Prolog sCASP -- replicating Event Calculus examples
|
|
0
|
426
|
February 22, 2023
|
|
Reusing html and human output from sCASP
|
|
3
|
389
|
January 31, 2023
|
|
Disabling the s(CASP) global consistency checks
|
|
0
|
251
|
January 5, 2023
|
|
Using different foralls with s(CASP)
|
|
2
|
488
|
October 17, 2022
|
|
sCASP: some amazing queries
|
|
3
|
461
|
October 10, 2022
|
|
Problem using abduction over disunity rules in s(CASP)
|
|
6
|
568
|
October 6, 2022
|
|
Does s(CASP) have a source(false) option?
|
|
2
|
382
|
October 6, 2022
|
|
Make Negative Loop Appear in Explanations like an abduction
|
|
0
|
384
|
September 28, 2022
|
|
Normalizing Variable Names in s(CASP) models
|
|
0
|
273
|
September 27, 2022
|
|
s(CASP) query operator '?' and 'show' directive
|
|
2
|
407
|
August 9, 2022
|
|
How to return models from s(CASP)?
|
|
2
|
546
|
June 6, 2022
|
|
Flag to Ignore Unknown Predicate Errors in s(CASP) isn't working
|
|
2
|
708
|
June 6, 2022
|
|
Graph coloring with s(CASP)
|
|
3
|
732
|
May 25, 2022
|
|
Problem with sCASP dual programs
|
|
5
|
670
|
January 10, 2022
|
|
Scasp: understanding global constraints
|
|
8
|
1239
|
October 1, 2021
|