diff --git a/.gitmodules b/.gitmodules index 07e3f9a..3c9d7b9 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,11 @@ [submodule "code/sasp"] path = code/sasp url = git@git.xdi.uevora.pt:fc/sasp.git + +[submodule "text/iclp24"] + path = text/iclp24 + url = https://git.overleaf.com/65f422dc70a60d8ab7fde402 + +[submodule "text/kr24"] + path = text/kr24 + url = https://git.overleaf.com/65f422781f1d04e2c0aefd56 \ No newline at end of file diff --git a/biblio/2008 - Twelve Definitions of a Stable Model - Lifschitz.pdf b/biblio/2008 - Twelve Definitions of a Stable Model - Lifschitz.pdf new file mode 100644 index 0000000..77eae82 Binary files /dev/null and b/biblio/2008 - Twelve Definitions of a Stable Model - Lifschitz.pdf differ diff --git a/biblio/2017 - Computing Stable Models of Normal Logic Programs Without Grounding.pdf b/biblio/2017 - Computing Stable Models of Normal Logic Programs Without Grounding.pdf new file mode 100644 index 0000000..df81641 Binary files /dev/null and b/biblio/2017 - Computing Stable Models of Normal Logic Programs Without Grounding.pdf differ diff --git a/biblio/2020 - Justifications for Goal-Directed Constraint Answer Set Programming.pdf b/biblio/2020 - Justifications for Goal-Directed Constraint Answer Set Programming.pdf new file mode 100644 index 0000000..fabb8c9 Binary files /dev/null and b/biblio/2020 - Justifications for Goal-Directed Constraint Answer Set Programming.pdf differ diff --git a/code/asp/12models_1.lp b/code/asp/12models_1.lp new file mode 100644 index 0000000..ec03e86 --- /dev/null +++ b/code/asp/12models_1.lp @@ -0,0 +1,4 @@ +p(a). +p(b). +q(a). +r(X) :- p(X), not q(X). \ No newline at end of file diff --git a/code/asp/pqueens.lp b/code/asp/pqueens.lp index c87e92b..fa2fba5 100644 --- a/code/asp/pqueens.lp +++ b/code/asp/pqueens.lp @@ -15,6 +15,6 @@ diag2(I, J, I + J - 1) :- col(I), row(J). :- D = 1 .. 2 * n - 1, not { queen(I, J) : diag2(I, J, D) } 1. % % Output this predicate. -#show queen/2. +%#show queen/2. %#show diag1/3. %#show diag2/3. \ No newline at end of file diff --git a/code/drafts/scasp_t1.pl b/code/drafts/scasp_t1.pl new file mode 100644 index 0000000..bfa2aff --- /dev/null +++ b/code/drafts/scasp_t1.pl @@ -0,0 +1,4 @@ +p(A) :- not q(A). +q(A) :- not p(A). + +?- p(A). \ No newline at end of file diff --git a/code/sCASP b/code/sCASP new file mode 160000 index 0000000..51ae396 --- /dev/null +++ b/code/sCASP @@ -0,0 +1 @@ +Subproject commit 51ae396109e3cbbee6250018cb1147de8f4dafa5 diff --git a/cspell.json b/cspell.json index 3b8bb03..4ee35a0 100644 --- a/cspell.json +++ b/cspell.json @@ -4,6 +4,10 @@ "dictionaryDefinitions": [], "dictionaries": [], "words": [ + "autoepistemic", + "circunspection", + "fixpoint", + "nonmonotonic", "struct", "testset" ], diff --git a/notes.md b/notes.md index 92ee655..12aca21 100644 --- a/notes.md +++ b/notes.md @@ -1,5 +1,30 @@ # Zugzwang Meetings +## 2024-03-25 - Meeting + +- Próxima reunião: terça, 11:00 + \epsilon +- Reestruturação. +- Todos vêm "Thorough comparison with related work" +- Tratar "Give a general argument [about Bayesian networks]" +- Secção 4 para apêndice? +- ICLP -> foco na linguagem + +## 2024-03-25 - Work on KR24 + +### From "Twelve Definitions..." + +- ... programs in which recursion and negation "don't mix." Such programs are called **stratified**. +- stable model semantics, as well as the well-founded semantics can be seen as an attempt to generalize and simplify the iterated fixpoint semantics of stratified semantics. +- three theories of **nonmonotonic reasoning** + - circunspection: syntactic transformation that turns a first-order sentence F into the conjunction of F with another formula, which expresses a minimality condition. + - default logic: _I didn't got it_ + - autoepistemic logic: modal operator Lp: "p is believed". + +## 2024-03-20 - Work on KR24 and ICLP24 + +- s(cASP): installed, tested, performance dismaying (can't solve 8-queens) vs. clingo that solves 8-queens in 0.004s and 100-queens in +- Detail syntax and semantics + ## 2024-03-15 - IJCAR24 Reviews ### Summary @@ -17,17 +42,15 @@ - Argument for Proposition 1 [is not] convincing - Fixes: - Provide the probabilities of the classes and of the events - - Clarify the role of "testing of the prior distributions" + - Clarify the role of "testing of the prior distributions" - Give a general argument [about Bayesian networks] instead of an illustration on a simple example. See [Reviews file](text/paper_01/LLNCS/reviews_IJCAR24.md). - - -- Para ICLP24 +- Para ICLP24 (2024-04-29) - Mais técnico. - Considerar scasp. -- Para KR24 +- Para KR24 (2024-04-24) - Mais formal. - Overleaf - authentication key: olp_1oPNhAUwN9ihvWzd4n92hEd9UQUbK44ul5Gg @@ -139,6 +162,7 @@ Scoring programs, as described in our paper, is just a step into **Inductive Log ## 2024-01-05 - Publish Paper "AASASP" > Target conferences to publish paper "AASASP" +> Shared spreadsheet: | Conference | Abstract Deadline | Conference Date | Location | OBS | |-----------:|:------------------|:----------------|------------------------------:|-------------------| diff --git a/text/iclp24 b/text/iclp24 index 199ef14..6d669d1 160000 --- a/text/iclp24 +++ b/text/iclp24 @@ -1 +1 @@ -Subproject commit 199ef143774435c7a0883f2baf6317e8aad60223 +Subproject commit 6d669d18b5a8af9937fb32dcf3ddb9b29c4fb152 diff --git a/text/kr24 b/text/kr24 index 2803688..9554953 160000 --- a/text/kr24 +++ b/text/kr24 @@ -1 +1 @@ -Subproject commit 2803688b6ae13c9a084b6dd3abe6b8a98964d233 +Subproject commit 955495345aeb3ac04726eb05882b4dc8f687d8ae diff --git a/zugzwang.code-workspace b/zugzwang.code-workspace index 3d87d30..2ce84c0 100644 --- a/zugzwang.code-workspace +++ b/zugzwang.code-workspace @@ -4,16 +4,10 @@ "path": "." }, { - "path": "../../../projects/contrib/dsd" + "path": "text/iclp24" }, { - "path": "../../../prog/contrib/zugzwang" - }, - { - "path": "../jupy" - }, - { - "path": "../../cv/2024" + "path": "text/kr24" } ], "settings": { -- libgit2 0.21.2