Výsledky vyhledávání - fuzzy temporal constraint,logic programming*

Fuzzy temporal constraint logic: a valid resolution principle: Fuzzy temporal constraint logic: A valid resolution principle

Autoři: R. Marín Morales M. A. Cárdenas Viedma I. Navarrete Sánchez

Zdroj: Fuzzy Sets and Systems. 117:231-250

Témata: logic programming, Medical applications (general), 0202 electrical engineering, electronic engineering, information engineering, fuzzy temporal reasoning, 0102 computer and information sciences, 02 engineering and technology, possibility theory, Fuzzy logic, logic of vagueness, Reasoning under uncertainty in the context of artificial intelligence, Logic programming, resolution principle, fuzzy temporal constraint logic, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: http://doi.org/10.1016/S0165-0114(99)00099-8
https://doi.org/10.1016/S0165-0114(99)00099-8
https://www.sciencedirect.com/science/article/pii/S0165011499000998
https://dblp.uni-trier.de/db/journals/fss/fss117.html#ViedmaMN01

Syntax and Semantics for a Fuzzy Temporal Constraint Logic: Syntax and semantics for a fuzzy temporal constraint logic

Autoři: R. Marín Morales M. A. Cárdenas Viedma

Zdroj: Annals of Mathematics and Artificial Intelligence. 36:357-380

Témata: Logic in artificial intelligence, temporal reasoning, syntax and semantics of formal logic, 0202 electrical engineering, electronic engineering, information engineering, fuzzy temporal constraint,logic programming, 02 engineering and technology, possibility theory

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1784200
https://doi.org/10.1023/a:1016345810582
https://dblp.uni-trier.de/db/journals/amai/amai36.html#ViedmaM02
https://dl.acm.org/doi/10.1023/A%3A1016345810582
https://link.springer.com/article/10.1023/A:1016345810582

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

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

Fuzzy Temporal Constraint Logic: A Valid Resolution Principle

Autoři: M.A. Cardenas Viedma R. Marin Morales I. Navarrete Sanchez a další

Přispěvatelé: M.A. Cardenas Viedma R. Marin Morales I. Navarrete Sanchez a další

Zdroj: http://intelec.dif.um.es/~aike/roque/pub/Fuzzy-Temporal-Constraint-LogicA-Valid-Resolution-Principle.pdf.

Témata: Resolution principle, Logic programming, Fuzzy temporal constraint, Possibility theory, Fuzzy temporal reasoning

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.7615

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.7615
http://intelec.dif.um.es/~aike/roque/pub/Fuzzy-Temporal-Constraint-LogicA-Valid-Resolution-Principle.pdf

Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog.

Autoři: Cárdenas-Viedma, María-Antonia

Zdroj: Axioms (2075-1680); Jul2024, Vol. 13 Issue 7, p472, 33p

Témata: LOGIC programming, APPROXIMATE reasoning, CONSTRAINT programming, PROGRAMMING languages, TIME-varying networks

Efficient resolution mechanism for fuzzy temporal constraint logic.

Autoři: Cardenas, M.A. Navarrete, I. Marin, R.

Zdroj: Proceedings Seventh International Workshop on Temporal Representation & Reasoning (TIME 2000); 2000, p39-46, 8p

Syntax and Semantics for a Fuzzy Temporal Constraint Logic.

Autoři: M.A. Cárdenas Viedma R. Marín Morales

Zdroj: Annals of Mathematics & Artificial Intelligence; Dec2002, Vol. 36 Issue 4, p357-380, 24p

Generalized Modus Tollens with Linguistic Modifiers for Inverse Approximate Reasoning

Autoři: Lê Anh Phương Trần Đình Khang

Zdroj: International Journal of Computational Intelligence Systems, Vol 7, Iss 3 (2014)

Témata: Rough Sets Theory and Applications, Artificial intelligence, linguistic truth value domain, generalized modus tollens inference rules, inverse approximate reasoning, 02 engineering and technology, 01 natural sciences, linguistic manyâ€'valued logic, Cognition, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Fuzzy Logic and Residuated Lattices, Verbal reasoning, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Psychology, Deductive reasoning, 0101 mathematics, Nonmonotonic Reasoning, Natural language processing, Linguistics, QA75.5-76.95, Computer science, FOS: Philosophy, ethics and religion, FOS: Psychology, Philosophy, Computational Theory and Mathematics, Constraint Logic Programming, Electronic computers. Computer science, Computer Science, Physical Sciences, FOS: Languages and literature, Inverse, Hedge algebra, Modal Logics, Mathematics, Neuroscience

Přístupová URL adresa: https://download.atlantis-press.com/article/25868497.pdf
https://doaj.org/article/641442ae86c84104974c70c5b4aa6b26
https://dblp.uni-trier.de/db/journals/ijcisys/ijcisys7.html#PhuongK14
https://www.tandfonline.com/doi/abs/10.1080/18756891.2013.870766
https://www.atlantis-press.com/journals/ijcis/25868497

Stundenplan: Mathematisches Problem oder Problem der Constraint-Logik-Programmierung? ; Timetable : mathematical problem or problem for constraint logic programming? ; Emploi du Temps : Problème mathématique ou problème pour Ia Programmation en Logique avec Contraintes ?

Autoři: Cousin, Xavier Auteur indépendant IRISA, Université de Rennes

Přispěvatelé: Cousin, Xavier Auteur indépendant IRISA, Université de Rennes

Zdroj: https://hal.science/hal-02270455 ; [Rapport de recherche] IRISA, Université de Rennes. 1989.

Témata: constraint logic programmaing, timetable, operation research, programmation en logique avec contraintes, emploi du temps, recherche opérationnelle, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO]Computer Science [cs]

Relation: hal-02270455; https://hal.science/hal-02270455; https://hal.science/hal-02270455/document; https://hal.science/hal-02270455/file/rapport%20IRISA%20494-sept89.pdf

Dostupnost: https://hal.science/hal-02270455
https://hal.science/hal-02270455/document
https://hal.science/hal-02270455/file/rapport%20IRISA%20494-sept89.pdf

Fuzzy Branching Temporal Logic.

Zdroj: IEEE Transactions on Systems, Man & Cybernetics: Part B; Apr2004, Vol. 34 Issue 2, p1045-1055, 11p

Témata: LOGIC, FUZZY systems, UNCERTAINTY, FUZZY logic, MODELS & modelmaking, SYSTEMS engineering

Foundations of Fuzzy Logic and Semantic Web Languages

Autoři: Umberto Straccia

Resource Type: eBook.

Témata: Semantic Web, Programming languages (Electronic computers), Fuzzy logic

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Internet / General

Group Stable Matching Problem in Freight Pooling Service of Vehicle–Cargo Matching Platform.

Autoři: Kong, Linlin Huang, Min

Zdroj: Systems; Jun2025, Vol. 13 Issue 6, p485, 30p

Témata: LINEAR programming, CAPACITY building, SATISFACTION, INFORMATION asymmetry, COMPUTATIONAL complexity, MIXED integer linear programming

A state of the art review of intelligent scheduling.

Autoři: Fazel Zarandi, Mohammad Hossein Sadat Asl, Ali Akbar Sotudian, Shahabeddin a další

Zdroj: Artificial Intelligence Review; Jan2020, Vol. 53 Issue 1, p501-593, 93p

Témata: CONSTRAINT programming, CONSTRAINT algorithms, EXPERT systems, SEARCH algorithms, FUZZY logic, PROCESS optimization

Unleashing the Potential of Metaverse in Social IoV: An Authentication Protocol Based on Blockchain.

Autoři: Wu, Tsu-Yang Wu, Haozhi Tang, Maoxin a další

Zdroj: Computers, Materials & Continua; 2025, Vol. 84 Issue 2, p3175-3192, 18p

Témata: SHARED virtual environments, INTERNET protocols, BLOCKCHAINS, INTERNET security, VIRTUAL tourism, KEY agreement protocols (Computer network protocols), TRAFFIC safety

Development and maturity of co-word thematic clusters: the field of linked data.

Autoři: Hosseini, Elaheh Taghizadeh Milani, Kimiya Sabetnasab, Mohammad Shaker

Zdroj: Library Hi Tech; 2025, Vol. 43 Issue 1, p81-113, 33p

Lattice-based cryptographic technique to preserve data confidentiality in edge computing.

Autoři: Telsang, Vinayak A. Kakkasageri, Mahabaleshwar S. Devangavi, Anil D. a další

Zdroj: Cluster Computing; Nov2025, Vol. 28 Issue 12, p1-21, 21p

Témata: EDGE computing, CRYPTOGRAPHY, DATA privacy, DIGITAL signatures, INTERNET of things

Digital Twin Applications in the Water Sector: A Review.

Autoři: Ghorbani Bam, Pooria Rezaei, Nader Roubanis, Alexander a další

Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 20, p2957, 49p

Témata: DIGITAL twin, WATER management, REAL-time computing, PREDICTIVE control systems, RESOURCE allocation, RESOURCE management, ENVIRONMENTAL infrastructure

DietQA: A Comprehensive Framework for Personalized Multi-Diet Recipe Retrieval Using Knowledge Graphs, Retrieval-Augmented Generation, and Large Language Models.

Autoři: Tsampos, Ioannis Marakakis, Emmanouil

Zdroj: Computers (2073-431X); Oct2025, Vol. 14 Issue 10, p412, 47p

Témata: KNOWLEDGE graphs, CHATBOTS, FOOD preferences, DIET therapy, MENU planning, COOKBOOKS

Using slacks-based model to solve inverse DEA with integer intervals for input estimation.

Autoři: Younesi, Atefeh Lotfi, Farhad Hosseinzadeh Arana-Jiménez, Manuel

Zdroj: Fuzzy Optimization & Decision Making; Dec2023, Vol. 22 Issue 4, p587-609, 23p

Témata: DATA envelopment analysis, NONLINEAR programming, INTERVAL analysis