Resolving Legal Ambiguities for Safe MASS Navigation: A Socio-Technical Approach Using Human-Machine Learning

Συγγραφείς: Verma, Shubhi, Varghese, Dany, Treloar, Alfie Anthony, Hunter, Alan, Tamaddoni-Nezhad, Alireza

Πηγή: OCEANS 2025 - Great Lakes OCEANS, Great Lakes 2025. :1-10 Sep, 2025

Relation: OCEANS 2025 - Great Lakes

COLREG-Compliant Machine Learning for Safe and Legal Autonomous Maritime Navigation

Συγγραφείς: Treloar, Alfie Anthony, Varghese, Dany, Verma, Shubhi, Tamaddoni-Nezhad, Alireza, Hunter, Alan

Πηγή: OCEANS 2025 - Great Lakes OCEANS, Great Lakes 2025. :1-8 Sep, 2025

Relation: OCEANS 2025 - Great Lakes

Automated Extraction of Conditional Causal Rules from Control Narratives Using Logic Programming and Large Language Models

Συγγραφείς: Kunze, Franz C., Manca, Gianluca, Fay, Alexander

Πηγή: 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA) Emerging Technologies and Factory Automation (ETFA), 2025 IEEE 30th International Conference on. :1-4 Sep, 2025

Relation: 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)

Constraint Programming-Based Verification of COLREG Safety

Συγγραφείς: Vain, J., Tsiopoulos, L., Walden, M., Benterki, A.S.

Πηγή: IEEE Journal of Oceanic Engineering IEEE J. Oceanic Eng. Oceanic Engineering, IEEE Journal of. 50(4):2797-2821 Oct, 2025

Adaptive Assembly Plan Generation in Industry 4.0

Συγγραφείς: Antakli, Andre, Spieldenner, Daniel

Πηγή: 2025 IEEE 8th International Conference on Industrial Cyber-Physical Systems (ICPS) Industrial Cyber-Physical Systems (ICPS), 2025 IEEE 8th International Conference on. :01-05 May, 2025

Relation: 2025 IEEE 8th International Conference on Industrial Cyber-Physical Systems (ICPS)

LLM-Augmented Symbolic RL with Landmark-Based Task Decomposition

Συγγραφείς: Kheirandish, Alireza, Xu, Duo, Fekri, Faramarz

Πηγή: ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) Acoustics, Speech and Signal Processing (ICASSP), ICASSP 2025 - 2025 IEEE International Conference on. :1-5 Apr, 2025

Relation: ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)

Programming Directional Strand Polymerization on DNA Origami for Logic Computing.

Συγγραφείς: Li, Zimu¹ (AUTHOR), Hao, Yaya¹ (AUTHOR), Tang, Yuqing¹ (AUTHOR), Sun, Chenyun¹ (AUTHOR), Cheng, Jianing¹ (AUTHOR), Xia, Kai² (AUTHOR), Wang, Fei¹ (AUTHOR), Zuo, Xiaolei^1,3 (AUTHOR) zuoxiaolei@sjtu.edu.cn, Fan, Chunhai¹ (AUTHOR) fanchunhai@sjtu.edu.cn, Lv, Hui⁴ (AUTHOR) lvhui92@shu.edu.cn

Πηγή: Small Structures. Oct2025, Vol. 6 Issue 10, p1-11. 11p.

Θεματικοί όροι: *DNA nanotechnology, *LOGIC programming, *SINGLE molecule detection, *BIOSENSORS, *MOLECULAR self-assembly, *REACTION mechanisms (Chemistry), *DNA folding

Adaptive Environment Generation for Continual Learning: Integrating Constraint Logic Programming With Deep Reinforcement Learning

Συγγραφείς: Boutyour, Y., Idrissi, A.

Πηγή: IEEE Transactions on Cognitive and Developmental Systems IEEE Trans. Cogn. Dev. Syst. Cognitive and Developmental Systems, IEEE Transactions on. 17(3):540-553 Jun, 2025

Unification Algorithm Implementation for First-Order Logic Inference Engines

Συγγραφείς: Babu, Tina, S, Tejaswi, K, Darshan S, M, Pavan kumar, P, Raviprakash B, G, Ravindra, Parashar, Komal

Πηγή: 2025 International Conference on Emerging Technologies in Computing and Communication (ETCC) Emerging Technologies in Computing and Communication (ETCC), 2025 International Conference on. :1-6 Jun, 2025

Relation: 2025 International Conference on Emerging Technologies in Computing and Communication (ETCC)

Knowledge Integration Strategies in Autonomous Vehicle Prediction and Planning: A Comprehensive Survey

Συγγραφείς: Manas, Kumar, Paschke, Adrian

Πηγή: 2025 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2025 IEEE. :694-701 Jun, 2025

Relation: 2025 IEEE Intelligent Vehicles Symposium (IV)

An Effective Root-Finding Toolbox Using Computational Argumentation

Συγγραφείς: Mandikas, Vasileios G., Spanoudakis, Nikolaos I.

Πηγή: 2025 6th International Conference in Electronic Engineering & Information Technology (EEITE) Electronic Engineering & Information Technology (EEITE), 2025 6th International Conference in. :1-6 Jun, 2025

Relation: 2025 6th International Conference in Electronic Engineering & Information Technology (EEITE)

Game of Zones: An Automated Intent-Based Network Micro-segmentation Methodology

Συγγραφείς: Canavese, Daniele, Laborde, Romain, Laraba, Abir, Ferreira, Afonso, Benzekri, Abdelmalek

Πηγή: NOMS 2025-2025 IEEE Network Operations and Management Symposium Network Operations and Management Symposium, NOMS 2025-2025 IEEE. :1-9 May, 2025

Relation: NOMS 2025-2025 IEEE Network Operations and Management Symposium

Numerical-Symbolic Learning from Biomedical Data

Συγγραφείς: Cyrus, Daniel, Varghese, Dany, Bauer, Roman, Tamaddoni-Nezhad, Alireza

Πηγή: 2025 IEEE Conference on Artificial Intelligence (CAI) CAI Artificial Intelligence (CAI), 2025 IEEE Conference on. :1338-1343 May, 2025

Relation: 2025 IEEE Conference on Artificial Intelligence (CAI)

Multi-Depot Pickup and Delivery Problem Optimization with Constraint Logic Programming

Συγγραφείς: Smrithi, Allada, Varshini, Alimili, Reddy, Valluru Venkata Sai Bhavitha, Smitha, T.V., Neelima, N.

Πηγή: 2025 International Conference on Computational Innovations and Engineering Sustainability (ICCIES) Computational Innovations and Engineering Sustainability (ICCIES), 2025 International Conference on. :1-6 Apr, 2025

Relation: 2025 International Conference on Computational Innovations and Engineering Sustainability (ICCIES)

Exceptions with Priorities by Ethical Values for Logic Programming in Natural Language

Συγγραφείς: Nakamura, Keisuke, Naya, Narumi, Ando, Tatsuyoshi

Πηγή: 2024 IEEE International Conference on Big Data (BigData) Big Data (BigData), 2024 IEEE International Conference on. :5867-5871 Dec, 2024

Relation: 2024 IEEE International Conference on Big Data (BigData)

Multi-Agent Traffic Simulations with Agent Control Based on Logic Programming Languages

Συγγραφείς: Yoshizoe, Mamoru, Hattori, Hiromitsu

Πηγή: 2024 IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) WI-IAT Web Intelligence and Intelligent Agent Technology (WI-IAT), 2024 IEEE/WIC International Conference on. :455-460 Dec, 2024

Relation: 2024 IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)

Synthesizing Recursive Logic Programs by Inverting General Resolution

Συγγραφείς: Qiu, T., Ichise, R.

Πηγή: IEEE Access Access, IEEE. 13:102649-102658 2025

Work in Progress. Fun with Industrial Automation: Hands-On Learning Ladder Logic with LogixPro 500 Simulator

Συγγραφείς: Diaz-Martinez, Juan-Gabino, Gutierrez-Carmona, Irandi, Arteaga-Jimenez, Raco-Daniel

Πηγή: 2025 IEEE Engineering Education World Conference (EDUNINE) Engineering Education World Conference (EDUNINE), 2025 IEEE. :1-4 Mar, 2025

Relation: 2025 IEEE Engineering Education World Conference (EDUNINE)

Automating Legal Expertise: A Rule-Based Approach to Legal Reasoning Systems

Συγγραφείς: Bhavishya, Bhavishya, Shukla, Apoorv, Aggarwal, Mukul

Πηγή: 2025 2nd International Conference on Computational Intelligence, Communication Technology and Networking (CICTN) Computational Intelligence, Communication Technology and Networking (CICTN), 2025 2nd International Conference on. :868-872 Feb, 2025

Relation: 2025 2nd International Conference on Computational Intelligence, Communication Technology and Networking (CICTN)

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.

Συγγραφείς: Hocaoğlu, Mehmet Fatih¹ (AUTHOR) mfatih.hocaoglu@medeniyet.edu.tr

Πηγή: Simulation. Sep2025, Vol. 101 Issue 9, p951-979. 29p.

Θεματικοί όροι: *PETRI nets, *LOGIC programming, *SCHEDULING, *SIMULATION methods & models, *DISCRETE event simulation, *MODULAR design