Active logic semantics for a single agent in a static world (Q2389647): Difference between revisions

@@ Property / author @@
-J. R. Grant
@@ Property / author: J. R. Grant / rank @@
-Normal rank
@@ Property / author @@
+J. R. Grant
@@ Property / author: J. R. Grant / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2007.11.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2013436641
@@ Property / OpenAlex ID: W2013436641 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57728575
@@ Property / Wikidata QID: Q57728575 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with limited resources: active logics expressed as labelled deductive systems
+Normal rank
@@ Property / cites work @@
+Q2762534
@@ Property / cites work: Q2762534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3112280
@@ Property / cites work: Q3112280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
+Normal rank
@@ Property / cites work @@
+Q4837944
@@ Property / cites work: Q4837944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2735794
@@ Property / cites work: Q2735794 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to default reasoning based on a first-order conditional logic: Revised report
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of paraconsistency in data and knowledge bases
+Normal rank
@@ Property / cites work @@
+Nonmonotonic logic and temporal projection
@@ Property / cites work: Nonmonotonic logic and temporal projection / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992823
@@ Property / cites work: Q3992823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+How to (plan to) meet a deadline between now and then
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 9
@@ Property / cites work: Handbook of philosophical logic. Vol. 9 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692665
@@ Property / cites work: Q4692665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On inference from inconsistent premisses
@@ Property / cites work: On inference from inconsistent premisses / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715783
@@ Property / cites work: Q2715783 / rank @@
+Normal rank