-
2
-
-
0003892994
-
-
Theoretical Foundations Springer: Berlin
-
L. Bolc, and P. Borowik. Many-Valued Logics. 1. Theoretical Foundations (Springer: Berlin, 1992).
-
(1992)
Many-Valued Logics
, vol.1
-
-
Bolc, L.1
Borowik, P.2
-
4
-
-
84868530056
-
Many-valued logic
-
eds. D. Jacquette D. Gabbay, P. Thagard, and J. Woods Elsevier B.V., U.K
-
S. Gottwald. Many-valued logic, in Philosophy of Logic, eds. D. Jacquette, D. Gabbay, P. Thagard, and J. Woods (Elsevier B.V., U.K., 2006).
-
(2006)
Philosophy of Logic
-
-
Gottwald, S.1
-
5
-
-
84982559662
-
On fuzzy logic I: Multiple-valued rules of inference, II: Enriched residuated lattices and semantics of propositional calculi, III: Semantical completeness of some multiplevalued propositional calculi
-
447-464
-
J. Pavelka. On fuzzy logic I: Multiple-valued rules of inference, II: Enriched residuated lattices and semantics of propositional calculi, III: Semantical completeness of some multiplevalued propositional calculi. Zeitschr. F. Math. Logik und Grundlagend. Math. 25 (1979) 45-52, 119-134, 447-464.
-
(1979)
Zeitschr. F. Math. Logik und Grundlagend. Math
, vol.25
, Issue.45-52
, pp. 119-134
-
-
Pavelka, J.1
-
10
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
J. Allen. Maintaining knowledge about temporal intervals. CACM 26(11) (1983) 832-843.
-
(1983)
CACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.1
-
12
-
-
0035575868
-
The logical approach to temporal reasoning
-
DOI 10.1023/A:1012551818243
-
J. Augusto. The logical approach to temporal reasoning, Artificial Intelligence Review 16(4) (2001) 301-333. (Pubitemid 33109944)
-
(2001)
Artificial Intelligence Review
, vol.16
, Issue.4
, pp. 301-333
-
-
Augusto, J.C.1
-
13
-
-
0037534361
-
A general framework for reasoning about change
-
J. Augusto. A general framework for reasoning about change. New Generation Computing 21(3) (2003) 209-247.
-
(2003)
New Generation Computing
, vol.21
, Issue.3
, pp. 209-247
-
-
Augusto, J.1
-
14
-
-
32244434396
-
Logical consecutions in discrete linear temporal logic
-
DOI 10.2178/jsl/1129642119
-
V. Rybakov. Logical consecutions in discrete linear temporal logic. Journal of Symbolic Logic 70(4) (2005) 1137-1149. (Pubitemid 43212394)
-
(2005)
Journal of Symbolic Logic
, vol.70
, Issue.4
, pp. 1137-1149
-
-
Rybakov, V.V.1
-
15
-
-
0033350319
-
Fuzzy temporal reasoning model for event correlation in network management
-
E. Aboelela and C. Douligeris. Fuzzy temporal reasoning and model for event correlation in network management. 24th Annual IEEE International Conference on Local Computer Networks (LCN'99) (Lowell, USA, 18-20th October 1999), pp. 150-159. (Pubitemid 30537987)
-
(1999)
Conference on Local Computer Networks
, pp. 150-159
-
-
Aboelela Emad1
Douligeris Christos2
-
16
-
-
41049097652
-
Temporal reasoning about fuzzy intervals
-
S. Schockaert and M. Cock. Temporal reasoning about fuzzy intervals. Artificial Intelligence 172 (2008) 1158-1193.
-
(2008)
Artificial Intelligence
, vol.172
, pp. 1158-1193
-
-
Schockaert, S.1
Cock, M.2
-
17
-
-
0037448731
-
A fuzzy temporal rule-based velocity controller for mobile robotics
-
M. Mucientes, R. Iglesias, C. Reguerio, A. Bugarin, and S. Barro. A fuzzy temporal rule-based velocity controller for mobile robotics. Fuzzy Sets and Systems 134 (2003) 83-99.
-
(2003)
Fuzzy Sets and Systems
, vol.134
, pp. 83-99
-
-
Mucientes, M.1
Iglesias, R.2
Reguerio, C.3
Bugarin, A.4
Barro, S.5
-
18
-
-
84947915591
-
A temporal many-valued logic for real time control systems
-
eds. S. Cerri and D. Dochev (Varna, Bulgaria 20-23 September)
-
G. Escalada-Imaz. A temporal many-valued logic for real time control systems. In Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, eds. S. Cerri and D. Dochev (Varna, Bulgaria, 20-23 September, 2000), pp. 91-100.
-
(2000)
Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
, pp. 91-100
-
-
Escalada-Imaz, G.1
-
20
-
-
33750713058
-
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
-
DOI 10.1016/j.tcs.2006.09.021, PII S0304397506006116
-
Z. Zhang, Y. Sui, C. Cao, and G. Wu. A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. Theoretical Computer Science 368 (2006) 149-160. (Pubitemid 44709426)
-
(2006)
Theoretical Computer Science
, vol.368
, Issue.1-2
, pp. 149-160
-
-
Zhang, Z.1
Sui, Y.2
Cao, C.3
Wu, G.4
-
23
-
-
34548235358
-
Automated reasoning algorithm for linguistic valued Łukasiewicz propositional logic
-
Oslo, Norway 13-16 May
-
J. Liu, L. Lopez Martinez, Y. Xu and Z. Lu. Automated reasoning algorithm for linguistic valued Łukasiewicz propositional logic. In Proceedings of the 37th International Symposium on Multiple-Valued Logic (Oslo, Norway, 13-16 May, 2007), pp. 29-34.
-
(2007)
Proceedings of the 37th International Symposium on Multiple-Valued Logic
, pp. 29-34
-
-
Liu, J.1
Lopez Martinez, L.2
Xu, Y.3
Lu, Z.4
-
24
-
-
58049166251
-
Multi-valued temporal reasoning framework for decision making
-
(Madrid, Spain, 21-24 September 2008) World Scientific Proceedings Series on Computer Engineering and Information Science -1: Computational Intelligence in Decision and Control, eds. D. Ruan, J. Montero et al. (World Scientific)
-
Z. Lu, J. Liu, J. Augusto, and H. Wang. Multi-valued temporal reasoning framework for decision making, Proceedings of the 8th International FLINS Conference on Computational Intelligence in Decision and Control (Madrid, Spain, 21-24 September 2008), in World Scientific Proceedings Series on Computer Engineering and Information Science - Vol. 1: Computational Intelligence in Decision and Control, eds. D. Ruan, J. Montero et al. (World Scientific, 2008), pp. 301-306.
-
(2008)
Proceedings of the 8th International FLINS Conference on Computational Intelligence in Decision and Control
, pp. 301-306
-
-
Lu, Z.1
Liu, J.2
Augusto, J.3
Wang, H.4
-
25
-
-
84865801538
-
-
(edited By D. Ruan) (Atlantis PressWorld Scientific ParisSingapore March)
-
Z. Lu, J. Liu, J. Augusto, and H. Wang. A many-valued temporal logic and reasoning framework for decision making. Book chapter in Computational Intelligence in Complex Decision Systems (edited by D. Ruan) (Atlantis Press/World Scientific, Paris/Singapore, March, 2010), pp. 127-148.
-
(2010)
A Many-valued Temporal Logic and Reasoning Framework for Decision Making. Book Chapter in Computational Intelligence in Complex Decision Systems
, pp. 127-148
-
-
Lu, Z.1
Liu, J.2
Augusto, J.3
Wang, H.4
-
28
-
-
85020270464
-
Possibilistic temporal reasoning based on fuzzy temporal constraints
-
Montreal, Canada 20-25 August
-
L. Godo and L.Vila. Possibilistic temporal reasoning based on fuzzy temporal constraints. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, Vol. 2 (Montreal, Canada, 20-25 August, 1995), pp. 1916-1922.
-
(1995)
Proceedings of the 14th International Joint Conference on Artificial Intelligence
, vol.2
, pp. 1916-1922
-
-
Godo, L.1
Vila, L.2
-
29
-
-
0002503475
-
Approximate reasoning with time
-
PII S0165011497003357
-
S. Raha and K. Ray. Approximate reasoning with time. Fuzzy Sets and Systems 107 (1999) 59-79. (Pubitemid 129524981)
-
(1999)
Fuzzy Sets and Systems
, vol.107
, Issue.1
, pp. 59-79
-
-
Raha, S.1
Ray, K.S.2
-
30
-
-
7444253526
-
A model for fuzzy temporal reasoning on a database
-
eds. R. Conejo, M. Urretavizcaya, and J. Perez-de-la-Cruz (San Sebastian, Spain 12-14 November)
-
M. Campos, J. Palma, and R. Marin. A model for fuzzy temporal reasoning on a database. In Proceeding of 10th Conference of the Spanish Association for Artificial Intelligence CAEPIA 2003 and 5th Conference on Technology Transfer TTIA 2003, eds. R. Conejo, M. Urretavizcaya, and J. Perez-de-la-Cruz (San Sebastian, Spain, 12-14 November, 2003), pp. 57-65.
-
(2003)
Proceeding of 10th Conference of the Spanish Association for Artificial Intelligence CAEPIA 2003 and 5th Conference on Technology Transfer TTIA 2003
, pp. 57-65
-
-
Campos, M.1
Palma, J.2
Marin, R.3
-
31
-
-
0030201087
-
Temporal reasoning for diagnosis in a causal probabilistic knowledge base
-
DOI 10.1016/0933-3657(95)00033-X
-
W. Long. Temporal reasoning for diagnosis in a causal probabilistic knowledge base. Artificial Intelligence in Medicine 8 (1995) 193-215. (Pubitemid 26257410)
-
(1996)
Artificial Intelligence in Medicine
, vol.8
, Issue.3
, pp. 193-215
-
-
Long, W.1
-
33
-
-
3543069755
-
Representation and reasoning with uncertain temporal relations
-
eds. A. Kumar and I. Russell (Orlando, USA 1-5 May)
-
V. Ryabov, S. Puuronen, and T. Terziyan. Representation and reasoning with uncertain temporal relations. In Proceedings of Twelfth International Florida AI Research Society Conference, eds. A. Kumar and I. Russell (Orlando, USA, 1-5 May, 1999), pp. 449-453.
-
(1999)
Proceedings of Twelfth International Florida AI Research Society Conference
, pp. 449-453
-
-
Ryabov, V.1
Puuronen, S.2
Terziyan, T.3
-
38
-
-
0343826093
-
Fuzzy temporal constraint logic: A valid resolution principle
-
M. Viedma, M. Morales, and I. Sanchez. Fuzzy temporal constraint logic: A valid resolution principle. Fuzzy Sets and Systems 117 (2001) 231-250.
-
(2001)
Fuzzy Sets and Systems
, vol.117
, pp. 231-250
-
-
Viedma, M.1
Morales, M.2
Sanchez, I.3
-
39
-
-
0035272188
-
A fuzzy temporal notation and its application to specify fault patterns for diagnosis
-
DOI 10.1016/S0167-8655(00)00127-6, PII S0167865500001276
-
G. Palshikar. A fuzzy temporal notation and its application to specify fault patterns for diagnosis. Pattern Recognition Letters 22 (2001) 381-394. (Pubitemid 32376289)
-
(2001)
Pattern Recognition Letters
, vol.22
, Issue.3-4
, pp. 381-394
-
-
Palshikar, G.K.1
-
40
-
-
0032306661
-
Fuzzy logic-based real-time navigation controller for a mobile robot
-
Victoria, B.C., Canada 13-17 October
-
T. Mora and E. Sanchez. Fuzzy logic-based real-time navigation controller for a mobile robot. In Proceeding of the 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems (Victoria, B.C., Canada, 13-17 October, 1998), pp. 612-617.
-
(1998)
Proceeding of the 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems
, pp. 612-617
-
-
Mora, T.1
Sanchez, E.2
-
41
-
-
0037448731
-
A fuzzy temporal rule-based velocity controller for mobile robotics
-
M. Mucientes, R. Iglesias, C. Reguerio, A. Bugarin, and S. Barro. A fuzzy temporal rule-based velocity controller for mobile robotics. Fuzzy Sets and Systems 134 (2003) 83-99.
-
(2003)
Fuzzy Sets and Systems
, vol.134
, pp. 83-99
-
-
Mucientes, M.1
Iglesias, R.2
Reguerio, C.3
Bugarin, A.4
Barro, S.5
-
42
-
-
74449092391
-
People detection through quantified fuzzy temporal rules
-
M. Mucientes and A. Bugarin. People detection through quantified fuzzy temporal rules. Pattern Recognition 43(4) (2010) 1441-1453.
-
(2010)
Pattern Recognition
, vol.43
, Issue.4
, pp. 1441-1453
-
-
Mucientes, M.1
Bugarin, A.2
-
43
-
-
77950173075
-
-
Atlantis Press/World Scientific: Paris/ Singapore
-
Z. Pei, D. Ruan, J. Liu, and Y. Xu. Linguistic Values Based Intelligent Information Processing: Theory, Methods, and Applications (Atlantis Press/World Scientific: Paris/ Singapore, 2009).
-
(2009)
Linguistic Values Based Intelligent Information Processing: Theory Methods, and Applications
-
-
Pei, Z.1
Ruan, D.2
Liu, J.3
Xu, Y.4
-
45
-
-
49549089615
-
Enhanced healthcare provision through assisted decision-making in a smart home environment
-
India, Hyderabad
-
J. Augusto, P. McCullagh, V. Croft, and J. Walkden. Enhanced healthcare provision through assisted decision-making in a smart home environment. In Proc. 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI07) (India, Hyderabad, 2007), pp. 27-32.
-
(2007)
Proc. 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI07)
, pp. 27-32
-
-
Augusto, J.1
McCullagh, P.2
Croft, V.3
Walkden, J.4
-
46
-
-
79951924346
-
Discovering activities to recognize and track in a smart environment
-
April
-
P. Rashidi, D. J. Cook, L. B. Holder, and M. Schmitter-Edgecombe. Discovering Activities to Recognize and Track in a Smart Environment. IEEE Transactions on Knowledge and Data Engineering 23(4) (April 2011) 527-539.
-
(2011)
IEEE Transactions on Knowledge and Data Engineering
, vol.23
, Issue.4
, pp. 527-539
-
-
Rashidi, P.1
Cook, D.J.2
Holder, L.B.3
Schmitter-Edgecombe, M.4
|