Výsledky vyhledávání - "Logic Programming and Knowledge Representation"

General Policies, Subgoal Structure, and Planning Width

Autoři: Blai Bonet Héctor Geffner

Zdroj: Journal of Artificial Intelligence Research 80, 475-516 (2024). doi:10.1613/jair.1.15581
Journal of Artificial Intelligence Research

Témata: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, Computer Networks and Communications, Artificial Intelligence Planning and Reasoning, Distributed Constraint Optimization Problems and Algorithms, Epistemology, 0102 computer and information sciences, 02 engineering and technology, Polynomial, Mathematical analysis, 01 natural sciences, Bounded function, Artificial Intelligence, Logic Programming and Knowledge Representation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Scope (computer science), Spatial Reasoning, Domain (mathematical analysis), Discrete Mathematics, Exponential function, Semantics (computer science), Discrete mathematics, Diskret matematik, Computer science, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Artificial Intelligence (cs.AI), Computer Science, Physical Sciences, Simple (philosophy), Tuple, Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2311.05490
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-205437
https://publications.rwth-aachen.de/record/988540

Pattern Models: A Dynamic Epistemic Logic For Distributed Systems

Autoři: Armando Castañeda Hans van Ditmarsch David A. Rosenblueth a další

Přispěvatelé: Armando Castañeda Hans van Ditmarsch David A. Rosenblueth a další

Zdroj: The Computer Journal. 67:2421-2440

Témata: Cognitive science, Artificial intelligence, Data Stream Management Systems and Techniques, Computer Networks and Communications, Column-oriented Database Systems, 0102 computer and information sciences, Epistemic modal logic, Epistemology, Multimodal logic, 0603 philosophy, ethics and religion, 01 natural sciences, 7. Clean energy, Description Logics, Model Checking, Epistemic Logic, Logic Programming and Knowledge Representation, Artificial Intelligence, Psychology, [INFO]Computer Science [cs], 4. Education, 06 humanities and the arts, Computer science, FOS: Philosophy, ethics and religion, Description logic, FOS: Psychology, Philosophy, Distributed Systems, Computer Science, Physical Sciences, Distributed Fault Tolerance and Consistency in Systems

A Generalization of Beall’s Off-Topic Interpretation

Autoři: Yang Song Hitoshi Omori Jonas R. Becker Arenhart a další

Zdroj: Studia Logica. 112:893-932

Témata: Interpretation (philosophy), Nonmonotonic Reasoning, Abstract Interpretation, Generalization, Linguistics, Epistemology, Computer science, FOS: Philosophy, ethics and religion, Programming language, 3. Good health, Epistemic Logic, Philosophy, Reading (process), Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, FOS: Languages and literature, Program Analysis and Verification Techniques, Modal Logics

Boolean Connexive Logic and Content Relationship: Boolean connexive logic and content relationship

Autoři: Mateusz Klonowski Luis Estrada‐González

Zdroj: Studia Logica. 112:207-248

Témata: logic of content relationship, Geometry, Set (abstract data type), Computational linguistics, Mathematical logic and foundations, 0603 philosophy, ethics and religion, Mathematical analysis, 01 natural sciences, Description Logics, 12. Responsible consumption, Epistemic Logic, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, set-assignment semantics, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, Content (measure theory), 0101 mathematics, 10. No inequality, Axiom, relating semantics, Nonmonotonic Reasoning, Natural language processing, Physics, Semantics (computer science), Optics, Boolean connexive logic, 06 humanities and the arts, Focus (optics), Computer science, Programming language, 3. Good health, Computational Theory and Mathematics, Constraint Logic Programming, Computer Science, Physical Sciences, Semantic Web and Ontology Development, Mathematics

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/7830168
https://doi.org/10.1007/s11225-023-10058-1

Intuitionistic Modal Algebras

Autoři: Sergio A. Celani Umberto Rivieccio e-Spacio UNED

Přispěvatelé: Sergio A. Celani Umberto Rivieccio e-Spacio UNED

Zdroj: e-spacio. Repositorio Institucional de la UNED
Universidad Nacional de Educación a Distancia
e-spacio (DSpace). Repositorio Institucional de la UNED
instname
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
Studia Logica

Témata: REPRESENTATION, representation, 72 Filosofía, Heyting algebra, 02 engineering and technology, 01 natural sciences, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, weak Heyting algebras, FRAGMENTS, Nonmonotonic Reasoning, intuitionistic modal algebras, TOPOLOGICAL DUALITY, topological duality, Statistics, Algebraic Semantics, Discrete mathematics, 16. Peace & justice, NUCLEAR HEYTING ALGEBRAS, Chemistry, Computational Theory and Mathematics, Physical Sciences, Modal operator, Modal Logics, Distributive property, Variety (cybernetics), IMPLICATIVE SEMILATTICES, QUASI-NELSON ALGEBRAS, Intuitionistic logic, Artificial Intelligence, fragments, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, Algebraic structure, quasi-Nelson algebras, Polymer chemistry, WEAK HEYTING ALGEBRAS, 0101 mathematics, Algebra over a field, implicative semilattices, NUCLEI, Modal logic, Pure mathematics, nuclear Heyting algebras, Propositional calculus, Duality (order theory), nuclei, Computer Science, INTUITIONISTIC MODAL ALGEBRAS, Modal, Sheaf, Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/20.500.14468/23944
https://doi.org/10.1007/s11225-023-10065-2
https://hdl.handle.net/20.500.14468/23944
http://hdl.handle.net/11336/233178

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving

Autoři: Dang Duy Bui Duong Dinh Tran Kôichi Ogata a další

Zdroj: Multimedia Tools and Applications. 83:36865-36898

Témata: Artificial intelligence, Abstract Interpretation, Commutative property, 0102 computer and information sciences, 02 engineering and technology, Poaceae, 01 natural sciences, Theoretical computer science, Context (archaeology), Artificial Intelligence, Logic Programming and Knowledge Representation, State (computer science), Automated theorem proving, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Conjecture, Biology, Parsing, Ecology, Computer graphics (images), Paleontology, Reachability, Animation, Discrete mathematics, Computer science, Rule-based machine translation, Programming language, Lemma (botany), Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

Autoři: Figueira, Diego Figueira, Santiago Pin, Edwin

Zdroj: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-13

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Class (philosophy), Computer Science - Artificial Intelligence, Geometry, Decidability, Converse, Description Logics, PSPACE, Theoretical computer science, Engineering, Computer Science - Databases, Logic Programming and Knowledge Representation, Artificial Intelligence, FOS: Mathematics, Bisimulation, Satisfiability, Databases (cs.DB), Expressive power, Discrete mathematics, Computer science, Logic in Computer Science (cs.LO), Computational complexity theory, Algorithm, Artificial Intelligence (cs.AI), Aerospace engineering, Computational Theory and Mathematics, Combinatorics, Time complexity, Computer Science, Physical Sciences, Tree (set theory), EXPTIME, Intersection (aeronautics), Semantic Web and Ontology Development, Mathematics, Formal Methods in Software Verification and Control

Přístupová URL adresa: http://arxiv.org/abs/2304.10381

Probabilistic causal bipolar abstract argumentation: an approach based on credal networks

Autoři: Mariela Morveli-Espinoza Juan Carlos Nieves César Augusto Tacla

Zdroj: Annals of Mathematics and Artificial Intelligence. 91:517-536

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-209296

A note on closure spaces determined by intersections

Autoři: Víctor Fernández Cristian Brunetta

Zdroj: Boletim da Sociedade Paranaense de Matemática, Vol 41 (2022)

Témata: Rough Sets Theory and Applications, FOS: Political science, Generalization, Set (abstract data type), FOS: Law, Mathematical analysis, Description Logics, 12. Responsible consumption, Logic Programming and Knowledge Representation, Artificial Intelligence, Fuzzy Logic and Residuated Lattices, 11. Sustainability, QA1-939, FOS: Mathematics, Political science, Linear subspace, Physics, Pure mathematics, Optics, Discrete mathematics, Focus (optics), 16. Peace & justice, Computer science, Programming language, Computational Theory and Mathematics, Computer Science, Physical Sciences, Closure (psychology), Law, Mathematics

Přístupová URL adresa: https://doaj.org/article/9a58f33ceec4455da5a914ed168b414a

The logic of conditionals on outback trails

Autoři: van Benthem, J.

Zdroj: Logic Journal of the IGPL. 31:1135-1152

Témata: Cognitive science, Artificial intelligence, Meaning (existential), Epistemology, 06 humanities and the arts, 15. Life on land, 0603 philosophy, ethics and religion, 16. Peace & justice, Computer science, 7. Clean energy, Description Logics, FOS: Philosophy, ethics and religion, FOS: Psychology, Philosophy, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, 13. Climate action, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, Psychology, Program Analysis and Verification Techniques, Modal Logics

Popis souboru: application/pdf

Přístupová URL adresa: https://dare.uva.nl/personal/pure/en/publications/the-logic-of-conditionals-on-outback-trails(2a3f1c4f-1212-4eed-ad30-c4f0e7533965).html
https://doi.org/10.1093/jigpal/jzac064
https://hdl.handle.net/11245.1/2a3f1c4f-1212-4eed-ad30-c4f0e7533965

A dual-context sequent calculus for the constructive modal logic S4

Autoři: Favio E. Miranda-Perea Lourdes del Carmen González Huesca Pilar Selene Linares Arévalo

Zdroj: Mathematical Structures in Computer Science. 32:1205-1233

Témata: Artificial intelligence, Separation Logic, Mathematical proof, Rule of inference, 01 natural sciences, Sequent calculus, Proof calculus, Constructive proof, Logic Programming and Knowledge Representation, Axiom, Nonmonotonic Reasoning, Discrete mathematics, 16. Peace & justice, Programming language, Chemistry, sequent calculus, Physical Sciences, Medicine, Musical, Program Analysis and Verification Techniques, Calculus (dental), Modal logic (including the logic of norms), Modal Logics, Semantic Web and Ontology Development, Art, Natural deduction, Formalism (music), Axiomatic system, Geometry, 0102 computer and information sciences, constructive modal logic, Description Logics, Visual arts, Sequent, Artificial Intelligence, Temporal Logic, FOS: Mathematics, Coq, Polymer chemistry, 0101 mathematics, formal verification, Modal logic, FOS: Clinical medicine, Proof theory, cut elimination, Computer science, Constructive, Process (computing), Cut-elimination theorem, dual-context systems, Dentistry, Computer Science, Cut-elimination and normal-form theorems, Modal, Mathematics

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/7676413
https://doi.org/10.1017/s0960129522000378

Indexed and fibered structures for partial and total correctness assertions

Autoři: Uwe Wolter Alfio Martini E.H. Häusler

Zdroj: Mathematical Structures in Computer Science

Témata: Høyere kategoriteori, Geometry, Hoare logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Description Logics, VDP::Mathematics and natural scienses: 400, Artificial Intelligence, Logic Programming and Knowledge Representation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Axiom, VDP::Matematikk og naturvitenskap: 400, Language-based Information Flow Security, Denotational semantics, Separation logic, Algebra over a field, Axiomatic semantics, Pure mathematics, Semantics (computer science), Computer science, Higher category theory, Programming language, Matematikk og naturvitenskap: 400 [VDP], Mathematics and natural scienses: 400 [VDP], Hoare logikk, Mathematical logic, Computer Science, Physical Sciences, Operational semantics, Matematisk logikk, Program Analysis and Verification Techniques, Correctness, Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11250/3049711

Belief Revision and Computational Argumentation: A Critical Comparison

Autoři: Baroni, Pietro Fermé, Eduardo Giacomin, Massimiliano a další

Přispěvatelé: Baroni, Pietro Fermé, Eduardo Giacomin, Massimiliano a další

Zdroj: Journal of Logic, Language and Information. 31:555-589

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/10400.13/4986
https://hdl.handle.net/11379/564561
https://doi.org/10.1007/s10849-022-09369-8

Local is Best: Efficient Reductions to Modal Logic K

Autoři: Fabio Papacchini Cláudia Nalon Ullrich Hustadt a další

Zdroj: Papacchini, F, Nalon, C, Hustadt, U & Dixon, C 2022, '"Local is Best: Efficient Reductions to Modal Logic K"', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-022-09630-6

Témata: Nonmonotonic Reasoning, 4. Education, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Algorithm, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Constraint Logic Programming, Temporal Logic, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Program Analysis and Verification Techniques, Modal Logics, Mathematics

Přístupová URL adresa: https://research.manchester.ac.uk/en/publications/8f05e5ec-87a0-4a01-b703-59d1d4dfe800
https://doi.org/10.1007/s10817-022-09630-6

Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions

Autoři: Ricardo Óscar Rodríguez Olim Tuyt Francesc Esteva a další

Zdroj: Digital.CSIC. Repositorio Institucional del CSIC
instname
Studia Logica

Témata: FOS: Computer and information sciences, Rough Sets Theory and Applications, Artificial intelligence, Computer Science - Artificial Intelligence, Mathematics - Logic, 0102 computer and information sciences, 02 engineering and technology, Computer science, 01 natural sciences, Description Logics, Algorithm, Artificial Intelligence (cs.AI), Computational Theory and Mathematics, Fuzzy Logic, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Fuzzy Logic and Residuated Lattices, Computer Science, Physical Sciences, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Epistemic logics | Many-valued modal logics | Possibilistic semantics, Logic (math.LO), Modal Logics

Přístupová URL adresa: http://arxiv.org/abs/2105.06570
http://hdl.handle.net/10261/282416
https://api.elsevier.com/content/abstract/scopus_id/85127727932

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Autoři: Joseph W. N. Paulus Daniele Nantes-Sobrinho Jorge A. Pérez

Zdroj: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Logic, Linear logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Quantum mechanics, computer science - logic in computer science, Simply typed lambda calculus, Theoretical computer science, Engineering, Artificial Intelligence, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Encoding (memory), Lambda calculus, Nonmonotonic Reasoning, BC1-199, Determinism, Typed lambda calculus, Physics, FOS: Clinical medicine, Pi calculus, QA75.5-76.95, Church encoding, Computer science, Logic in Computer Science (cs.LO), Programming language, Algorithm, Aerospace engineering, Computational Theory and Mathematics, Constraint Logic Programming, Electronic computers. Computer science, Dentistry, Computer Science, Physical Sciences, Medicine, Program Analysis and Verification Techniques, Correctness, Intersection (aeronautics), Calculus (dental), Dependent type, Mathematics, Formal Methods in Software Verification and Control

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2104.14759
https://doaj.org/article/0117e6998a2f401aa9443b06066087df
https://research.rug.nl/en/publications/003e40cb-8b76-467b-90ed-e62a0ab7570f
https://hdl.handle.net/11370/003e40cb-8b76-467b-90ed-e62a0ab7570f
https://doi.org/10.46298/lmcs-19(4:1)2023

Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos

Autoři: Miguel Álvarez Lisboa

Zdroj: Tesis (Lima), Vol 14, Iss 19, Pp 677-696 (2021)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Témata: DIALÓGICA, SEMÁNTICAS LÚDICO-TEÓRICAS, Arts in general, ANTIEXCEPCIONALISMO, PROBLEMA DE LA ADOPCIÓN, Social Sciences, Experimental and Cognitive Psychology, teoría constructiva de tipos, 0603 philosophy, ethics and religion, problema de la adopción, NX1-820, 01 natural sciences, Epistemic Logic, Humanities, Logic Programming and Knowledge Representation, Artificial Intelligence, AZ20-999, Fuzzy Logic and Residuated Lattices, Psychology, semánticas lúdico-teóricas, 0101 mathematics, PN1-6790, TEORÍA CONSTRUCTIVA DE TIPOS, antiexcepcionalismo, FOS: Humanities, 06 humanities and the arts, FOS: Philosophy, ethics and religion, FOS: Psychology, Philosophy, Computational Theory and Mathematics, Computer Science, Physical Sciences, dialógica, History of scholarship and learning. The humanities, Literature (General), Consciousness and Phenomenal Experience

Popis souboru: application/pdf

Přístupová URL adresa: https://doaj.org/article/e53a88b7702d4bce83052053146d7abf
http://hdl.handle.net/11336/212525

Deep ST

Autoři: Thomas Macaulay Ferguson Elisángela Ramírez-Cámara

Zdroj: Journal of Philosophical Logic. 51:1261-1293

Témata: Artificial intelligence, Separation Logic, Economics, Abstract Interpretation, 0603 philosophy, ethics and religion, 01 natural sciences, Description Logics, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Hierarchy, Classical logic, Market economy, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, 0101 mathematics, Nonmonotonic Reasoning, Mathematical economics, Semantics (computer science), 06 humanities and the arts, Computer science, Programming language, Computational Theory and Mathematics, Constraint Logic Programming, Combinatorics, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Transitive relation, Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s10992-021-09630-8.pdf
https://dare.uva.nl/personal/pure/en/publications/deep-st(34766b9c-1eab-4fa0-8631-5974d3de2997).html
https://doi.org/10.1007/s10992-021-09630-8
https://hdl.handle.net/11245.1/34766b9c-1eab-4fa0-8631-5974d3de2997

Nominales cardinales como predicados colectivos

Autoři: Axel Arturo Barceló Aspeitia

Zdroj: Cuadernos de Lingüística de El Colegio de México, Vol 8 (2021)
Universidad Nacional Autónoma de México
UNAM
Redalyc-UNAM
Cuadernos de Lingüística de El Colegio de México (México) Vol.8

Témata: Numerales, P1-1091, plurales, 0603 philosophy, ethics and religion, Pluralidad, Lengua y Literatura, Humanities, Colectividad, Artificial Intelligence, Logic Programming and Knowledge Representation, Fuzzy Logic and Residuated Lattices, Philology. Linguistics, Nonmonotonic Reasoning, colectividad, FOS: Humanities, Linguistics, Semántica, 06 humanities and the arts, Distributividad, Plural, FOS: Philosophy, ethics and religion, Philosophy, Computational Theory and Mathematics, Computer Science, Physical Sciences, 0602 languages and literature, FOS: Languages and literature, numerales, Program Analysis and Verification Techniques, distributividad, Art

Popis souboru: application/pdf

Přístupová URL adresa: https://cuadernoslinguistica.colmex.mx/index.php/cl/article/download/137/288
https://doaj.org/article/c1a494ae4a43455382fb3fd8efef2590
https://ojs3.colmex.mx/index.php/cl/article/view/137
https://cuadernoslinguistica.colmex.mx/index.php/cl/article/view/137
https://www.redalyc.org/articulo.oa?id=525967204007

Analogías a priori y aplicación de conceptos

Autoři: Fabián Bernache Maldonado

Zdroj: Cogency. 13:7-34

Témata: Moral Distress in Healthcare Professionals, Social Sciences, Health Professions, FOS: Law, FOS: Humanities, Epistemology, A priori and a posteriori, Assessment of Legal Evidence in Judicial Proceedings, Description Logics, FOS: Philosophy, ethics and religion, Humanities, Philosophy, Logic Programming and Knowledge Representation, Artificial Intelligence, General Health Professions, Health Sciences, Computer Science, Physical Sciences, Law

Přístupová URL adresa: https://cogency.udp.cl/index.php/cogency/article/download/367/157
http://cogency.udp.cl/index.php/cogency/article/view/367