-
1Academic Journal
Authors: Cássio Faria da Silva, Amanda Pontes Rassi, Jackson Wilke da Cruz Souza, Renata Ramisch, Roger Alfredo de Marci Rodrigues Antunes, Helena M. Caseli
Source: Revista de Estudos da Linguagem, Vol 29, Iss 4, Pp 2537-2586 (2021)
Subject Terms: Artificial intelligence, Argumentative, Credibility, FOS: Political science, dimensão retórica, Social Sciences, Argumentation theory, 02 engineering and technology, Biochemistry, Social media, 0508 media and communications, Sociology, argumentation, 0202 electrical engineering, electronic engineering, information engineering, Psychology, The Impact of Digital Media on Public Discourse, Political science, qualidade, Argumentation Frameworks, Portuguese, rhetorical dimension, Language and Literature, Communication, Politics, 05 social sciences, FOS: Sociology, FOS: Philosophy, ethics and religion, FOS: Psychology, World Wide Web, Chemistry, quality, Physical Sciences, Quality (philosophy), politics, Annotation, corpus, P1-1091, FOS: Law, Epistemology, Rhetorical question, argumentação, Artificial Intelligence, Philology. Linguistics, Natural language processing, Linguistics, Computer science, tweets, Mathematics education, Methods and Techniques for Agent-Based Modeling, Philosophy, Sentiment Analysis and Opinion Mining, política, CLARITY, Rubric, Computer Science, FOS: Languages and literature, Law
-
2Academic Journal
Authors: Daniel Khaoya Muyobo
Source: international journal of advanced research in computer science. 14:1-12
Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Economics, Knowledge management, Social Sciences, Encryption, Business, Management and Accounting, 7. Clean energy, Multi-Agent Systems, Management Information Systems, FOS: Economics and business, Information and Communication Technologies for Development, Intelligent agent, Agent-Based Modeling, Artificial Intelligence, Computer security, Service (business), Business, Economic growth, Marketing, Dynamics of Crowdfunding and Fintech, Health care, Data exchange, Computer science, Telemedicine, 3. Good health, World Wide Web, Methods and Techniques for Agent-Based Modeling, Computer Science, Physical Sciences, Information Systems
-
3Academic Journal
Source: Annals of Mathematics and Artificial Intelligence. 91:517-536
Subject Terms: Relation (database), Artificial intelligence, Social Sciences, Bipolar abstract argumentation, Business, Management and Accounting, Argumentation theory, Epistemology, Formal Methods, Argumentation framework, Management Information Systems, Theoretical computer science, Computer Systems, Artificial Intelligence, Logic Programming and Knowledge Representation, Probabilistic argumentation, FOS: Mathematics, Degree (music), Data mining, Probabilistic logic, Nonmonotonic Reasoning, Argumentation Frameworks, Extension (predicate logic), Physics, Uncertainty, Workflow Mining and Business Process Management, Semantics (computer science), Acoustics, Computer science, FOS: Philosophy, ethics and religion, Programming language, Causality, Credal networks, Datorsystem, Methods and Techniques for Agent-Based Modeling, Philosophy, Bayesian network, Computer Science, Physical Sciences, Dialectical Argumentation, Mathematics
Linked Full TextFile Description: application/pdf
-
4Academic Journal
Authors: Sarik Ghazarian, Yijia Shao, Rujun Han, Aram Galstyan, Nanyun Peng
Source: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). :4398-4419
Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Metric (unit), Economics, Speech recognition, Dialog Management, Stress (linguistics), Mathematical analysis, Quantum mechanics, Artificial Intelligence, FOS: Mathematics, Event (particle physics), Commonsense reasoning, Natural Language Processing, Spoken Dialogue Systems, Computer Science - Computation and Language, Argumentation Frameworks, Domain (mathematical analysis), Topic Modeling, Natural language processing, Physics, Discrete mathematics, Computer science, Methods and Techniques for Agent-Based Modeling, Operations management, Commonsense knowledge, Computer Science, Physical Sciences, Dialogue Act Modeling for Spoken Language Systems, Domain knowledge, Tuple, Computation and Language (cs.CL), Dialectical Argumentation, Mathematics
Access URL: http://arxiv.org/abs/2305.07797
-
5Academic Journal
Authors: Fernando Leal, Hubert Marraud
Contributors: UAM. Departamento de Lingüística, Lenguas Modernas, Lógica y Fª de la Ciencia y Tª de la Literatura y Literatura Comparada
Source: Biblos-e Archivo. Repositorio Institucional de la UAM
Universidad Autónoma de Madrid
instnameSubject Terms: 0301 basic medicine, Argumentative, FOS: Political science, Philosophical analysis, Social Sciences, Philosophical argumentation, Argumentation theory, FOS: Law, Epistemology, 0603 philosophy, ethics and religion, Philosophical methodology, 03 medical and health sciences, Sociology, Philosophical Thought in Ancient Greece and Rome, Artificial Intelligence, Dialogical self, Filosofía, Salient, Refutation, Political science, Argument diagramming, Philosophy of argumentation, Argumentation Frameworks, Politics, 06 humanities and the arts, Epistemology and Philosophical Knowledge Studies, Social science, 16. Peace & justice, FOS: Philosophy, ethics and religion, FOS: Sociology, Philosophy, Methods and Techniques for Agent-Based Modeling, Philosophical controversies, Political communication, Computer Science, Physical Sciences, Arts and Humanities, Representation (politics), Law, Dialectical Argumentation, Communication studies
File Description: application/pdf
Linked Full TextAccess URL: http://hdl.handle.net/10486/704066
-
6Academic Journal
Authors: Leonardo Antônio de Andrade, Ivandré Paraboni
Source: Linguamática, Vol 14, Iss 1 (2022)
Subject Terms: detecção de quebras em diálogos, Language and Literature, Physics, chatbots, P1-1091, FOS: Humanities, FOS: Philosophy, ethics and religion, Methods and Techniques for Agent-Based Modeling, Humanities, Philosophy, classificação textual, Chatbots, Artificial Intelligence, Artificial Intelligence in Service Industry, Computer Science, Physical Sciences, Philology. Linguistics, Natural Language Processing
-
7Academic Journal
Authors: Raymundo Morado Estrada
Source: Aitías, Revista de Estudios Filosóficos del Centro de Estudios Humanísticos de la UANL. 2:163-184
Subject Terms: 0301 basic medicine, 0303 health sciences, Physics, FOS: Humanities, FOS: Philosophy, ethics and religion, Methods and Techniques for Agent-Based Modeling, Humanities, Philosophy, 03 medical and health sciences, Artificial Intelligence, Computer Science, Physical Sciences, Automated Detection of Hate Speech and Offensive Language, Dialectical Argumentation
-
8Academic Journal
Contributors: DigitUMa
Source: Journal of Logic, Language and Information. 31:555-589
Subject Terms: Cognitive science, Artificial intelligence, Dynamics of knowledge, Argumentation theory, Argumentation Theory, Belief revision, Dynamics of knowledge, Knowledge representation, Reasoning, Epistemology, 02 engineering and technology, Defeasible reasoning, 0603 philosophy, ethics and religion, Model Checking, Faculdade de Ciências Exatas e da Engenharia, Belief Revision, Engineering, Logic Programming and Knowledge Representation, Artificial Intelligence, Belief revision, Argumentation, 0202 electrical engineering, electronic engineering, information engineering, Psychology, Theory, Defeasible estate, Nonmonotonic Reasoning, Argumentation Frameworks, Reasoning, 06 humanities and the arts, Computer science, Management science, FOS: Philosophy, ethics and religion, FOS: Psychology, Methods and Techniques for Agent-Based Modeling, Philosophy, Knowledge representation, Computer Science, Physical Sciences, Semantic Web and Ontology Development
File Description: application/pdf
-
9Academic Journal
Authors: Marx Viana, Paulo Alencar, Everton Guimarães, Elder Cirilo, Carlos Lucena
Source: IEEE Access, Vol 10, Pp 13974-13996 (2022)
Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Normative, Economics, QoS-Aware Web Services Composition and Semantic Matching, Social Sciences, Business, Management and Accounting, Epistemology, 02 engineering and technology, Metamodeling, Multi-Agent Systems, Management Information Systems, Process Modeling Languages, software modeling, Agent-Based Modeling, Artificial Intelligence, normative systems, 0202 electrical engineering, electronic engineering, information engineering, software adaptation, Software engineering, Adaptation (eye), Physics, Multi-agent systems, Modeling language, Workflow Mining and Business Process Management, Software development, Optics, Computer science, TK1-9971, Management science, Programming language, FOS: Philosophy, ethics and religion, Methods and Techniques for Agent-Based Modeling, Philosophy, Multi-agent system, Computer Science, Physical Sciences, Software system, Electrical engineering. Electronics. Nuclear engineering, Software, Information Systems
Linked Full TextAccess URL: https://ieeexplore.ieee.org/ielx7/6287639/6514899/09694652.pdf
https://doaj.org/article/007b9f641b964a0b8b933f682e145a2b -
10Academic Journal
Authors: Abdelaziz A. Abdelhamid, Sultan Refa Alotaibi
Source: IET Software, Vol 15, Iss 5, Pp 293-307 (2021)
Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Engineering management, Knowledge management, 02 engineering and technology, Multi-Agent Systems, Workflow, Database, QA76.75-76.765, Intelligent agent, Engineering, 0508 media and communications, Agent-Based Modeling, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Software deployment, Computer software, Information Technology in Education and Governance, Argumentation Frameworks, Software engineering, multi‐agent systems, 4. Education, 05 social sciences, Computer science, Learning Analytics, Computer Science Applications, Process (computing), Programming language, educational administrative data processing, Methods and Techniques for Agent-Based Modeling, Operating system, Schedule, Multi-agent system, Computer Science, Physical Sciences, Student Performance Prediction, learning (artificial intelligence), Educational Data Mining and Learning Analytics, Process management, Information Systems
Linked Full TextAccess URL: https://onlinelibrary.wiley.com/doi/pdfdirect/10.1049/sfw2.12021
https://doaj.org/article/da2d44a192eb46c393e612fdada9fcca
https://ietresearch.onlinelibrary.wiley.com/doi/10.1049/sfw2.12021 -
11Book
Authors: Aída Huerta Barrientos, Alejandro Nila Luévano
Source: Artificial Intelligence ISBN: 9781803564432
Multi-Agent Technologies and Machine LearningSubject Terms: Artificial intelligence, Knowledge management, Resource (disambiguation), Perspective (graphical), Multi-Agent Systems, Data science, Anomaly Detection in High-Dimensional Data, Agent-Based Modeling, Artificial Intelligence, Field (mathematics), State (computer science), FOS: Mathematics, Psychology, Adaptation to Concept Drift in Data Streams, Ensemble Learning, Computer network, Adaptation (eye), Pure mathematics, Computer science, FOS: Psychology, Algorithm, Methods and Techniques for Agent-Based Modeling, Computer Science, Physical Sciences, Perception, Mathematics, Neuroscience
Access URL: https://mts.intechopen.com/articles/show/title/a-state-of-the-art-survey-on-various-domains-of-multi-
agent -systems-and-machine-learning -
12Academic Journal
Authors: Daniel Mejía
Source: Cogency. 12:107-137
Subject Terms: Argumentative, Argumentation theory, Epistemology, 0603 philosophy, ethics and religion, Argument (complex analysis), 12. Responsible consumption, Narrative, 0508 media and communications, Artificial Intelligence, Psychology, 10. No inequality, Internal medicine, Argumentation Frameworks, 4. Education, 05 social sciences, Linguistics, 06 humanities and the arts, 16. Peace & justice, Computer science, FOS: Philosophy, ethics and religion, FOS: Psychology, Methods and Techniques for Agent-Based Modeling, Philosophy, Taste, Dialectic, Computer Science, Physical Sciences, FOS: Languages and literature, Medicine, Dialectical Argumentation, Neuroscience
-
13Academic Journal
Authors: M. Ennaji, M. Machkour, Y. Kabbadj, H. Boukachour
Source: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol XLIV-4-W3-2020, Pp 227-232 (2020)
Subject Terms: Technology, Artificial intelligence, Effectiveness of Intelligent Tutoring Systems, Certification, Artificial Intelligence Planning and Reasoning, FOS: Political science, FOS: Law, Mathematical analysis, Artificial Intelligence, FOS: Mathematics, TUTOR, Applied optics. Photonics, Student Modeling, Autonomy, Political science, Human–computer interaction, Domain (mathematical analysis), 4. Education, 05 social sciences, Intelligent Tutoring Systems, Engineering (General). Civil engineering (General), Computer science, TA1501-1820, Programming language, Methods and Techniques for Agent-Based Modeling, Adaptive Learning Environments, Multimedia, Computer Science, Physical Sciences, TA1-2040, Law, 0503 education, Mathematics
File Description: application/pdf
Access URL: https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLIV-4-W3-2020/227/2020/isprs-archives-XLIV-4-W3-2020-227-2020.pdf
https://isprs-archives.copernicus.org/articles/XLIV-4-W3-2020/227/2020/
https://doaj.org/article/44413655e379430e8c7d28f10accbee4
https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLIV-4-W3-2020/227/2020/isprs-archives-XLIV-4-W3-2020-227-2020.pdf
https://www.scilit.net/article/a34372c108ae68b55c35912fa47760c0
https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLIV-4-W3-2020/227/2020/
https://ui.adsabs.harvard.edu/abs/2020ISPAr4443..227E/abstract -
14Academic Journal
Source: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasSubject Terms: FOS: Computer and information sciences, Social Sciences, Trust-Aware Recommender Systems, Business, Management and Accounting, Argumentation theory, Set (abstract data type), Epistemology, 02 engineering and technology, Defeasible Argumentation, Intelligent Systems, Management Information Systems, Data science, Transparency (behavior), Context-Aware Recommender Systems, DEFEASIBLE ARGUMENTATION, Artificial Intelligence, Computer security, 0202 electrical engineering, electronic engineering, information engineering, Information retrieval, Recommender system, Data mining, Methodological Guidelines, Recommendation Systems, Argumentation Frameworks, Workflow Mining and Business Process Management, Content-Based Recommendation, RECOMMENDATION SYSTEMS, Computer science, FOS: Philosophy, ethics and religion, Programming language, Methods and Techniques for Agent-Based Modeling, Philosophy, Recommender System Technologies, Computer Science, Physical Sciences, METHODOLOGICAL GUIDELINES, INTELLIGENT SYSTEMS, Dialectical Argumentation, Software, Information Systems
File Description: application/pdf
Linked Full TextAccess URL: https://ri.conicet.gov.ar/bitstream/11336/125521/2/CONICET_Digital_Nro.8839801a-e9e2-4de4-84bc-2577e41672c8_A.pdf
https://ieeexplore.ieee.org/document/9108561
https://notablesdelaciencia.conicet.gov.ar/handle/11336/125521?show=full
https://dblp.uni-trier.de/db/journals/expert/expert35.html#LeivaBS20
https://ri.conicet.gov.ar/bitstream/11336/125521/2/CONICET_Digital_Nro.8839801a-e9e2-4de4-84bc-2577e41672c8_A.pdf
https://ri.conicet.gov.ar/handle/11336/125521
https://hdl.handle.net/20.500.11770/386100
https://doi.org/10.1109/MIS.2020.2999569
http://hdl.handle.net/11336/125521 -
15Academic Journal
Source: Applied Computer Systems, Vol 25, Iss 1, Pp 19-32 (2020)
Subject Terms: Artificial intelligence, Alternative medicine, Computer Networks and Communications, FOS: Political science, Social Sciences, Business, Management and Accounting, FOS: Law, Flexibility in Workflows, Epistemology, 02 engineering and technology, Mathematical analysis, Multi-Agent Systems, Negotiation, Management Information Systems, Interaction protocol, QA76.75-76.765, Agent-Based Modeling, Artificial Intelligence, FOS: Mathematics, Pathology, 0202 electrical engineering, electronic engineering, information engineering, multi-agent systems, Computer software, Political science, Computer network, Mobile Agent Technology in Network Management, Software engineering, Domain (mathematical analysis), Human–computer interaction, Workflow Mining and Business Process Management, cooperative communication, electronic commerce, formal languages, Computer science, FOS: Philosophy, ethics and religion, Methods and Techniques for Agent-Based Modeling, Philosophy, Computer Science, Physical Sciences, Protocol (science), Performative utterance, Medicine, Communications protocol, Law, Mathematics, Mobile Agents
File Description: application/pdf
Linked Full TextAccess URL: https://doaj.org/article/2cf6697f3fd249f88bd1aa0b23bad971
https://sciendo.com/pdf/10.2478/acss-2020-0003
https://content.sciendo.com/downloadpdf/journals/acss/25/1/article-p19.pdf
https://usir.salford.ac.uk/id/eprint/57601/
https://sciendo.com/article/10.2478/acss-2020-0003
https://www.scilit.net/article/1084cba58dfed25fd55e63ef73104beb
https://content.sciendo.com/view/journals/acss/25/1/article-p19.xml -
16Academic Journal
Source: Proceedings of the First Workshop on Advances in Language and Vision Research. :19-25
Subject Terms: Artificial intelligence, Metric (unit), Economics, 02 engineering and technology, 01 natural sciences, Visual Question Answering in Images and Videos, Visual Question Answering, Task (project management), Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Information retrieval, 10. No inequality, Data mining, Spoken Dialogue Systems, 0105 earth and related environmental sciences, Referring Expressions, Natural language processing, 4. Education, Measure (data warehouse), Linguistics, 15. Life on land, Referent, Computer science, FOS: Philosophy, ethics and religion, Management, 3. Good health, Methods and Techniques for Agent-Based Modeling, Philosophy, Operations management, Computer Science, Physical Sciences, Dialogue Act Modeling for Spoken Language Systems, FOS: Languages and literature, Object (grammar), Computer Vision and Pattern Recognition
-
17Academic Journal
Authors: Nathalia Nascimento, Paulo Alencar, Carlos Lucena, Donald Cowan
Source: IEEE Access, Vol 8, Pp 204256-204267 (2020)
Subject Terms: 0301 basic medicine, Artificial intelligence, failure diagnosis, FOS: Mechanical engineering, 02 engineering and technology, Participatory Sensing, 03 medical and health sciences, Engineering, Context (archaeology), Artificial Intelligence, Self-Reconfigurable Robotic Systems and Modular Robotics, 0202 electrical engineering, electronic engineering, information engineering, Biology, Metadata, Computer network, Adaptation (eye), Human–computer interaction, publish-subscribe, Mechanical Engineering, Physics, multiagent system, Paleontology, Optics, Crowdsourcing for Research and Data Collection, Computer science, Distributed computing, Internet of Things (IoT), TK1-9971, Computer Science Applications, Process (computing), World Wide Web, Methods and Techniques for Agent-Based Modeling, Operating system, Metadata-oriented testing, Multi-agent system, Asynchronous communication, Physical Sciences, Computer Science, self-organizing, Electrical engineering. Electronics. Nuclear engineering
Linked Full TextAccess URL: https://doaj.org/article/5029b62349834259b50fb1ccbea376ea
https://arxiv.org/pdf/1904.01736.pdf
https://arxiv.org/abs/1904.01736
https://ui.adsabs.harvard.edu/abs/2019arXiv190401736N/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-01736
https://ieeexplore.ieee.org/document/9252096/
http://export.arxiv.org/pdf/1904.01736 -
18Academic Journal
Amalgamating Knowledge from Two Teachers for Task-oriented Dialogue System with Adversarial Training
Authors: Wanwei He, Min Yang, Rui Yan, Chengming Li, Ying Shen, Ruifeng Xu
Source: Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). :3498-3507
Subject Terms: Artificial neural network, Artificial intelligence, Knowledge management, Epistemology, 02 engineering and technology, Dialog Management, Adversarial system, Oceanography, 7. Clean energy, Systems engineering, Knowledge base, Task (project management), Engineering, Artificial Intelligence, Reinforcement learning, 0202 electrical engineering, electronic engineering, information engineering, 10. No inequality, Natural Language Processing, Spoken Dialogue Systems, Climatology, Forcing (mathematics), Human–computer interaction, Geography, Topic Modeling, Baseline (sea), 4. Education, Multimodal Interaction, Deep learning, Geology, FOS: Earth and related environmental sciences, Reinforcement Learning, Computer science, FOS: Philosophy, ethics and religion, 3. Good health, Methods and Techniques for Agent-Based Modeling, Philosophy, Dialogue Act Modeling for Spoken Language Systems, Computer Science, Physical Sciences, Task analysis, Quality (philosophy), Benchmark (surveying), Generative adversarial network, Geodesy
-
19Academic Journal
Contributors: Sub Intelligent Systems, Intelligent Systems
Source: Theory and Practice of Logic Programming. 20:358-390
Subject Terms: FOS: Computer and information sciences, Financial economics, Artificial intelligence, Sociology and Political Science, Computer Science - Artificial Intelligence, Economics, ASPIC+, FOS: Political science, Warrant, Social Sciences, FOS: Law, Epistemology, 0102 computer and information sciences, 02 engineering and technology, defeasible logic programming, 01 natural sciences, Description Logics, RULE-BASED ARGUMENTATION, Artificial Intelligence, Logic Programming and Knowledge Representation, Trust and Reputation Systems in Online Environments, 0202 electrical engineering, electronic engineering, information engineering, Political science, Nonmonotonic Reasoning, Argumentation Frameworks, DEFEASIBLE LOGIC PROGRAMMING, 16. Peace & justice, Computer science, ule-based argumentation, FOS: Philosophy, ethics and religion, Methods and Techniques for Agent-Based Modeling, Philosophy, Artificial Intelligence (cs.AI), Computer Science, Physical Sciences, Closure (psychology), Law, Dialectical Argumentation, Consistency (knowledge bases)
File Description: application/pdf
Access URL: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E6270F981ECA133011FD3D0A175F2C54/S1471068419000437a.pdf/div-class-title-a-comparative-study-of-some-central-notions-of-span-class-italic-aspic-span-span-class-sup-span-and-span-class-italic-delp-span-div.pdf
http://arxiv.org/abs/1909.02810
https://research-portal.uu.nl/en/publications/524efb7c-4370-4231-a8ba-266d74311900
https://doi.org/10.1017/S1471068419000437
http://dblp.uni-trier.de/db/journals/corr/corr1909.html#abs-1909-02810
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/comparative-study-of-some-central-notions-of-aspic-and-delp/E6270F981ECA133011FD3D0A175F2C54
https://dblp.uni-trier.de/db/journals/corr/corr1909.html#abs-1909-02810
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E6270F981ECA133011FD3D0A175F2C54/S1471068419000437a.pdf/div-class-title-a-comparative-study-of-some-central-notions-of-span-class-italic-aspic-span-span-class-sup-span-and-span-class-italic-delp-span-div.pdf
https://ri.conicet.gov.ar/handle/11336/100369
https://ui.adsabs.harvard.edu/abs/2019arXiv190902810G/abstract
http://hdl.handle.net/11336/100369
https://dspace.library.uu.nl/handle/1874/407816 -
20Academic Journal
Authors: Nadeem Akhtar, Abdul Rehman, Mujtaba Husnain, Saad Rohail, Malik Muhammad Saad Missen, Mehwish Nasir, Alina Hayder, Nadeem Salamat, Maruf Pasha
Source: IEEE Access, Vol 7, Pp 180544-180557 (2019)
Subject Terms: Model checking, correctness, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Quantum mechanics, Multi-Agent Systems, Engineering, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Event (particle physics), system modelling, formal specification, Software engineering, Formal methods, Physics, prediction, rescue (FMPR), Petri net, Security Challenges in Smart Grid Systems, Computer science, Distributed computing, TK1-9971, Flood monitoring, Algorithm, Methods and Techniques for Agent-Based Modeling, Formal verification, Control and Systems Engineering, Computer Science, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering, Liveness, Correctness, Formal specification
Linked Full TextAccess URL: https://ieeexplore.ieee.org/ielx7/6287639/8600701/08926354.pdf
https://doaj.org/article/f61714d9b1eb45ab85bc1f6d74038482
https://ieeexplore.ieee.org/document/8926354
https://dblp.uni-trier.de/db/journals/access/access7.html#AkhtarRHRMNHSP19