Added biblio; Added git modules; added asp examples

Francisco Coelho
1 parent a4ae0cfb
Showing 13 changed files with 55 additions and 16 deletions Show diff stats
.gitmodules
biblio/2008 - Twelve Definitions of a Stable Model - Lifschitz.pdf
biblio/2017 - Computing Stable Models of Normal Logic Programs Without Grounding.pdf
biblio/2020 - Justifications for Goal-Directed Constraint Answer Set Programming.pdf
code/asp/12models_1.lp
code/asp/pqueens.lp
code/drafts/scasp_t1.pl
code/sCASP
cspell.json
notes.md
text/iclp24
text/kr24
zugzwang.code-workspace
 [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
@@ -0,0 +1,4 @@
+p(a).
+p(b).
+q(a).
+r(X) :- p(X), not q(X).
 \ No newline at end of file
@@ -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
@@ -0,0 +1,4 @@
+p(A) :- not q(A).
+q(A) :- not p(A).
+
+?- p(A).
 \ No newline at end of file
@@ -0,0 +1 @@
+Subproject commit 51ae396109e3cbbee6250018cb1147de8f4dafa5
@@ -4,6 +4,10 @@
     "dictionaryDefinitions": [],
     "dictionaries": [],
     "words": [
+        "autoepistemic",
+        "circunspection",
+        "fixpoint",
+        "nonmonotonic",
         "struct",
         "testset"
     ],
 # 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: <https://docs.google.com/spreadsheets/d/1KJdA-zj3Xly-_tSE6tjbd7M9SttC9xBixXoqWZJFVfg>
 | Conference | Abstract Deadline | Conference Date |                      Location | OBS               |
 |-----------:|:------------------|:----------------|------------------------------:|-------------------|
-Subproject commit 199ef143774435c7a0883f2baf6317e8aad60223
+Subproject commit 6d669d18b5a8af9937fb32dcf3ddb9b29c4fb152
-Subproject commit 2803688b6ae13c9a084b6dd3abe6b8a98964d233
+Subproject commit 955495345aeb3ac04726eb05882b4dc8f687d8ae
@@ -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": {
1	[submodule "code/sasp"]	1	[submodule "code/sasp"]
2	path = code/sasp	2	path = code/sasp
3	url = git@git.xdi.uevora.pt:fc/sasp.git	3	url = git@git.xdi.uevora.pt:fc/sasp.git
		4	+
		5	+[submodule "text/iclp24"]
		6	+ path = text/iclp24
		7	+ url = https://git.overleaf.com/65f422dc70a60d8ab7fde402
		8	+
		9	+[submodule "text/kr24"]
		10	+ path = text/kr24
		11	+ url = https://git.overleaf.com/65f422781f1d04e2c0aefd56
4	\ No newline at end of file	12	\ No newline at end of file
	@@ -0,0 +1,4 @@		@@ -0,0 +1,4 @@
		1	+p(a).
		2	+p(b).
		3	+q(a).
		4	+r(X) :- p(X), not q(X).
0	\ No newline at end of file	5	\ No newline at end of file
	@@ -15,6 +15,6 @@ diag2(I, J, I + J - 1) :- col(I), row(J).		@@ -15,6 +15,6 @@ diag2(I, J, I + J - 1) :- col(I), row(J).
15	:- D = 1 .. 2 * n - 1, not { queen(I, J) : diag2(I, J, D) } 1.	15	:- D = 1 .. 2 * n - 1, not { queen(I, J) : diag2(I, J, D) } 1.
16	%	16	%
17	% Output this predicate.	17	% Output this predicate.
18	-#show queen/2.	18	+%#show queen/2.
19	%#show diag1/3.	19	%#show diag1/3.
20	%#show diag2/3.	20	%#show diag2/3.
21	\ No newline at end of file	21	\ No newline at end of file
	@@ -0,0 +1,4 @@		@@ -0,0 +1,4 @@
		1	+p(A) :- not q(A).
		2	+q(A) :- not p(A).
		3	+
		4	+?- p(A).
0	\ No newline at end of file	5	\ No newline at end of file
	@@ -0,0 +1 @@		@@ -0,0 +1 @@
		1	+Subproject commit 51ae396109e3cbbee6250018cb1147de8f4dafa5