Temporal ASP: from logical foundations to practical use with \texttt{telingo} (Q6166578): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-95481-9_5
+Normal rank
@@ Property / OpenAlex ID @@
+W4210522393
@@ Property / OpenAlex ID: W4210522393 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal equilibrium logic: a survey
@@ Property / cites work: Temporal equilibrium logic: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Temporal Equilibrium Logic
@@ Property / cites work: On the Complexity of Temporal Equilibrium Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Temporal Equilibrium Logic: A First Approach
@@ Property / cites work: Temporal Equilibrium Logic: A First Approach / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-Based Computation of Temporal Equilibrium Models
+Normal rank
@@ Property / cites work @@
+\textit{telingo} = ASP + time
@@ Property / cites work: \textit{telingo} = ASP + time / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Answer Set Programming on Finite Traces
@@ Property / cites work: Temporal Answer Set Programming on Finite Traces / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Multi-shot ASP solving with clingo
@@ Property / cites work: Multi-shot ASP solving with clingo / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic logic and temporal projection
@@ Property / cites work: Nonmonotonic logic and temporal projection / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6166578