FLUX: A logic programming method for reasoning agents (Q5696596): Difference between revisions

← Older edit

@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1471068405002358
+Normal rank
@@ Property / OpenAlex ID @@
+W2101757655
@@ Property / OpenAlex ID: W2101757655 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q4708282
@@ Property / Recommended article: Q4708282 / rank @@
+Normal rank
@@ Property / Recommended article: Q4708282 / qualifier @@
+Similarity Score: 0.87127197Amount 0.87127197
Unit 1
-Amount
+.87127197
 Unit
@@ Property / Recommended article: Q4708282 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4738576
@@ Property / Recommended article: Q4738576 / rank @@
+Normal rank
@@ Property / Recommended article: Q4738576 / qualifier @@
+Similarity Score: 0.8597164Amount 0.8597164
Unit 1
-Amount
+.8597164
 Unit
@@ Property / Recommended article: Q4738576 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4708902
@@ Property / Recommended article: Q4708902 / rank @@
+Normal rank
@@ Property / Recommended article: Q4708902 / qualifier @@
+Similarity Score: 0.85375315Amount 0.85375315
Unit 1
-Amount
+.85375315
 Unit
@@ Property / Recommended article: Q4708902 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Agent-oriented probabilistic logic programming
+Normal rank
+Similarity Score: 0.8528608Amount 0.8528608
Unit 1
-Amount
+.8528608
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Reasoning about Agent Programs Using ATL-Like Logics
+Normal rank
+Similarity Score: 0.8497897Amount 0.8497897
Unit 1
-Amount
+.8497897
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+From logic programming towards multi-agent systems
+Normal rank
+Similarity Score: 0.8490635Amount 0.8490635
Unit 1
-Amount
+.8490635
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2729720
@@ Property / Recommended article: Q2729720 / rank @@
+Normal rank
@@ Property / Recommended article: Q2729720 / qualifier @@
+Similarity Score: 0.8482426Amount 0.8482426
Unit 1
-Amount
+.8482426
 Unit
@@ Property / Recommended article: Q2729720 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Programming rational agents in a modal action logic
+Normal rank
+Similarity Score: 0.84698594Amount 0.84698594
Unit 1
-Amount
+.84698594
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2734941
@@ Property / Recommended article: Q2734941 / rank @@
+Normal rank
@@ Property / Recommended article: Q2734941 / qualifier @@
+Similarity Score: 0.8468505Amount 0.8468505
Unit 1
-Amount
+.8468505
 Unit
@@ Property / Recommended article: Q2734941 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A sequent calculus for propositional dynamic logic for agents
+Normal rank
+Similarity Score: 0.84467477Amount 0.84467477
Unit 1
-Amount
+.84467477
 Unit
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:5696596