Search Results - fuzzy temporal constraint,logic programming~

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

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

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

Subject Terms: 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

File Description: application/xml

Access URL: 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

Authors: R. Marín Morales M. A. Cárdenas Viedma

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

Subject Terms: 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

File Description: application/xml

Access URL: 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

Authors: Mateusz Klonowski Luis Estrada‐González

Source: Studia Logica. 112:207-248

Subject Terms: 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

File Description: application/xml

Access URL: https://zbmath.org/7830168
https://doi.org/10.1007/s11225-023-10058-1

Local is Best: Efficient Reductions to Modal Logic K

Authors: Fabio Papacchini Cláudia Nalon Ullrich Hustadt et al.

Source: 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

Subject Terms: 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

Access URL: 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

Authors: M.A. Cardenas Viedma R. Marin Morales I. Navarrete Sanchez et al.

Contributors: M.A. Cardenas Viedma R. Marin Morales I. Navarrete Sanchez et al.

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

Subject Terms: Resolution principle, Logic programming, Fuzzy temporal constraint, Possibility theory, Fuzzy temporal reasoning

File Description: application/pdf

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

Availability: 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.

Authors: Cárdenas-Viedma, María-Antonia

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

Subject Terms: LOGIC programming, APPROXIMATE reasoning, CONSTRAINT programming, PROGRAMMING languages, TIME-varying networks

Efficient resolution mechanism for fuzzy temporal constraint logic.

Authors: Cardenas, M.A. Navarrete, I. Marin, R.

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

Syntax and Semantics for a Fuzzy Temporal Constraint Logic.

Authors: M.A. Cárdenas Viedma R. Marín Morales

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

Generalized Modus Tollens with Linguistic Modifiers for Inverse Approximate Reasoning

Authors: Lê Anh Phương Trần Đình Khang

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

Subject Terms: 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

Access URL: 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 ?

Authors: Cousin, Xavier Auteur indépendant IRISA, Université de Rennes

Contributors: Cousin, Xavier Auteur indépendant IRISA, Université de Rennes

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

Subject Terms: 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

Availability: 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.

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

Subject Terms: LOGIC, FUZZY systems, UNCERTAINTY, FUZZY logic, MODELS & modelmaking, SYSTEMS engineering

Foundations of Fuzzy Logic and Semantic Web Languages

Authors: Umberto Straccia

Resource Type: eBook.

Subjects: 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.

Authors: Kong, Linlin Huang, Min

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

Subject Terms: LINEAR programming, CAPACITY building, SATISFACTION, INFORMATION asymmetry, COMPUTATIONAL complexity, MIXED integer linear programming

A state of the art review of intelligent scheduling.

Authors: Fazel Zarandi, Mohammad Hossein Sadat Asl, Ali Akbar Sotudian, Shahabeddin et al.

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

Subject Terms: 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.

Authors: Wu, Tsu-Yang Wu, Haozhi Tang, Maoxin et al.

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

Subject Terms: 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.

Authors: Hosseini, Elaheh Taghizadeh Milani, Kimiya Sabetnasab, Mohammad Shaker

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

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

Authors: Telsang, Vinayak A. Kakkasageri, Mahabaleshwar S. Devangavi, Anil D. et al.

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

Subject Terms: EDGE computing, CRYPTOGRAPHY, DATA privacy, DIGITAL signatures, INTERNET of things

Digital Twin Applications in the Water Sector: A Review.

Authors: Ghorbani Bam, Pooria Rezaei, Nader Roubanis, Alexander et al.

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

Subject Terms: 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.

Authors: Tsampos, Ioannis Marakakis, Emmanouil

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

Subject Terms: KNOWLEDGE graphs, CHATBOTS, FOOD preferences, DIET therapy, MENU planning, COOKBOOKS

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

Authors: Younesi, Atefeh Lotfi, Farhad Hosseinzadeh Arana-Jiménez, Manuel

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

Subject Terms: DATA envelopment analysis, NONLINEAR programming, INTERVAL analysis