Search Results - Logic AND constraint programming. Keywords AND phrases automat theory

A Discussion Regarding The Function Of Computers In Online Criminal Investigation For Companies During Disasters And Cyber Crises: An Exhaustive Research.

Authors: Peng Jiny Midhunchakkaravarthy, Divya

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p5334-5342, 9p

Subject Terms: DIGITAL forensics, CRIMINAL investigation, DATA recovery, CORPORATE governance, CYBERTERRORISM

Propositional Satisfiability and Constraint Programming: A Comparative Survey.

Authors: Bordeaux, Lucas Hamadi, Youssef Zhang, Lintao

Source: ACM Computing Surveys; Dec2006, Vol. 38 Issue 4, p1-54, 54p

Subject Terms: SATISFACTION, CONSTRAINT programming, COMPUTER programming, COMPUTER science, COMPUTERS, PROBLEM solving, ALGORITHMS, TECHNOLOGICAL innovations, DECISION making

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data.

Authors: YORKE-SMITH, NEIL GERVET, CARMEN

Source: ACM Transactions on Computational Logic; Jan2009, Vol. 10 Issue 1, p3-3:41, 41p, 4 Diagrams, 5 Charts, 2 Graphs

Subject Terms: CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMPUTER programming, COMPUTER networks

A metamodel for modeling system features and their refinement, constraint and interaction relationships.

Authors: Hong Mei Wei Zhang Haiyan Zhao

Source: Software & Systems Modeling; Jun2006, Vol. 5 Issue 2, p172-186, 15p, 13 Diagrams, 8 Charts

Subject Terms: MODELING (Sculpture), COMPUTER simulation, COMPUTER software, CONSTRAINT programming, SEMANTICS

Convergence of datalog over (Pre-) Semirings.

Authors: Abo Khamis, Mahmoud Ngo, Hung Q. Pichler, Reinhard et al.

Source: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-55, 55p

Subject Terms: POLYNOMIAL time algorithms, NUMBER theory, BIG data, SEMANTICS, NAIVE Bayes classification, ALGORITHMS

Typing Linear Constraints.

Authors: Ruggieri, Salvatore Mesnard, Fred

Source: ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p21-21:42, 42p, 5 Black and White Photographs, 5 Charts, 2 Graphs

Subject Terms: POLYHEDRA, DEFINITENESS (Linguistics), MATHEMATICAL variables, APPROXIMATION theory, LINEAR programming, LINEAR algebra, COMPUTATIONAL complexity, ELECTRONIC data processing, MACHINE theory, NP-complete problems

Model checking deep neural networks: opportunities and challenges.

Authors: Sbai, Zohra

Source: Frontiers in Computer Science; 2025, p1-22, 22p

Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System.

Authors: Yu, Wangyang Guo, Qi Cheng, Yumeng et al.

Source: ACM Transactions on Embedded Computing Systems; May2025, Vol. 24 Issue 3, p1-21, 21p

Subject Terms: PETRI nets, ADAPTIVE control systems, HYBRID systems, ELECTRONIC systems, AUTOMATIC systems in automobiles

Tableau Calculi for Logic Programs under Answer Set Semantics.

Authors: GEBSER, MARTIN SCHAUB, TORSTEN

Source: ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-40, 40p

Subject Terms: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL proofs, ALGORITHMS, SYSTEM identification, GENERALIZATION

Challenges of Integrating Assistive Technologies and Robots with Embodied Intelligence in the Homes of Older People Living with Frailty.

Authors: Al-Tamimi, Abdel-Karim Hewitt, Lantana Cameron, David et al.

Source: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8415, 50p

Subject Terms: OLDER people, FRAILTY, ASSISTIVE technology, SOFTWARE frameworks, SMART homes, ARTIFICIAL intelligence, USER-centered system design, ROBOTS

A Systematic Literature Review and a Conceptual Framework Proposition for Advanced Persistent Threats (APT) Detection for Mobile Devices Using Artificial Intelligence Techniques.

Authors: Al-Kadhimi, Amjed Ahmed Singh, Manmeet Mahinderjit Khalid, Mohd Nor Akmal

Source: Applied Sciences (2076-3417); Jul2023, Vol. 13 Issue 14, p8056, 47p

Subject Terms: ARTIFICIAL intelligence, SOCIAL engineering (Fraud), SITUATIONAL awareness, RESEARCH questions, GAME theory, HUMAN fingerprints

Reconciling Description Logics and Rules.

Authors: MOTIK, BORIS ROSATI, RICCARDO

Source: Journal of the ACM; Jul2010, Vol. 57 Issue 5, p30-30.62, 62p, 6 Charts

Subject Terms: DESCRIPTION logics, NONMONOTONIC logic, COMPUTATIONAL complexity, LOGIC programming, ONTOLOGIES (Information retrieval), MATHEMATICAL models, SEMANTICS, MATHEMATICAL variables

Adversarial generation method for smart contract fuzz testing seeds guided by chain-based LLM.

Authors: Sun, Jiaze Yin, Zhiqiang Zhang, Hengshan et al.

Source: Automated Software Engineering; Jun2025, Vol. 32 Issue 1, p1-28, 28p

Automatic user story generation: a comprehensive systematic literature review.

Authors: dos Santos, Carlos Alberto Bouchard, Kevin Minetto Napoleão, Bianca

Source: International Journal of Data Science & Analytics; Jun2025, Vol. 20 Issue 1, p1-24, 24p

Contextual Modal Type Theory.

Authors: NANEVSKI, ALEKSANDAR PFENNING, FRANK PIENTKA, BRIGITTE

Source: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p23.1-23.49, 49p, 3 Charts

Subject Terms: LOGIC, SYSTEMS theory, THEORY, COMPUTER programming, PROGRAMMING languages, MATHEMATICAL analysis

Impossibility Results in AI: A Survey.

Authors: BRCIC, MARIO YAMPOLSKIY, ROMAN V.

Source: ACM Computing Surveys; Jan2024, Vol. 56 Issue 1, p1-24, 24p

Subject Terms: ARTIFICIAL intelligence, DEEP learning, MACHINE learning, SOCIAL choice, SOCIAL science research, INFORMATION theory, DIRECTED graphs

Stochastic Analysis of Control Systems Subject to Communication and Computation Faults.

Authors: VREMAN, NILS MAGGIO, MARTINA

Source: ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-25, 25p

Subject Terms: TELECOMMUNICATION systems, STOCHASTIC analysis, MARKOVIAN jump linear systems, STABILITY of linear systems, CLOSED loop systems, STOCHASTIC control theory

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics.

Authors: Olivetti, Nicola Pozzato, Gian Luca Schwind, Camilla B.

Source: ACM Transactions on Computational Logic; Aug2007, Vol. 8 Issue 4, p1-51, 51p, 9 Diagrams, 1 Chart

Subject Terms: KNOWLEDGE representation (Information theory), LOGIC programming, PROOF theory, MATHEMATICAL logic, SEQUENTIAL analysis, ARTIFICIAL intelligence

Software Model Checking.

Authors: JHALA, RANJIT MAJUMDAR, RUPAK

Source: ACM Computing Surveys; Oct2009, Vol. 41 Issue 4, p21:1-21:54, 54p, 2 Diagrams, 9 Charts

Subject Terms: SOFTWARE verification, CONFIRMATION (Logic), MODEL-based reasoning, DECISION theory, COMPILERS (Computer programs), COMPUTER programming, CODING theory

A Novel Perspective of Energy Management Strategies on Multistack Fuel Cell Hybrid Electric Vehicles: Trends and Challenges.

Authors: Ghaderi, Razieh Kandidayeni, Mohsen Boulon, Loic et al.

Source: IEEE Intelligent Transportation Systems Magazine; Mar/Apr2025, Vol. 17 Issue 2, p63-78, 16p