Suchergebnisse - 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.

Autoren: Peng Jiny Midhunchakkaravarthy, Divya

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

Schlagwörter: DIGITAL forensics, CRIMINAL investigation, DATA recovery, CORPORATE governance, CYBERTERRORISM

Propositional Satisfiability and Constraint Programming: A Comparative Survey.

Autoren: Bordeaux, Lucas Hamadi, Youssef Zhang, Lintao

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

Schlagwörter: 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.

Autoren: YORKE-SMITH, NEIL GERVET, CARMEN

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

Schlagwörter: CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMPUTER programming, COMPUTER networks

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

Autoren: Hong Mei Wei Zhang Haiyan Zhao

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

Schlagwörter: MODELING (Sculpture), COMPUTER simulation, COMPUTER software, CONSTRAINT programming, SEMANTICS

Convergence of datalog over (Pre-) Semirings.

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

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

Schlagwörter: POLYNOMIAL time algorithms, NUMBER theory, BIG data, SEMANTICS, NAIVE Bayes classification, ALGORITHMS

Typing Linear Constraints.

Autoren: Ruggieri, Salvatore Mesnard, Fred

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

Schlagwörter: 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.

Autoren: Sbai, Zohra

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

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

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

Schlagwörter: PETRI nets, ADAPTIVE control systems, HYBRID systems, ELECTRONIC systems, AUTOMATIC systems in automobiles

Tableau Calculi for Logic Programs under Answer Set Semantics.

Autoren: GEBSER, MARTIN SCHAUB, TORSTEN

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

Schlagwörter: 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.

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

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

Schlagwörter: 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.

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

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

Schlagwörter: ARTIFICIAL intelligence, SOCIAL engineering (Fraud), SITUATIONAL awareness, RESEARCH questions, GAME theory, HUMAN fingerprints

Reconciling Description Logics and Rules.

Autoren: MOTIK, BORIS ROSATI, RICCARDO

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

Schlagwörter: 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.

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

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

Automatic user story generation: a comprehensive systematic literature review.

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

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

Contextual Modal Type Theory.

Autoren: NANEVSKI, ALEKSANDAR PFENNING, FRANK PIENTKA, BRIGITTE

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

Schlagwörter: LOGIC, SYSTEMS theory, THEORY, COMPUTER programming, PROGRAMMING languages, MATHEMATICAL analysis

Impossibility Results in AI: A Survey.

Autoren: BRCIC, MARIO YAMPOLSKIY, ROMAN V.

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

Schlagwörter: 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.

Autoren: VREMAN, NILS MAGGIO, MARTINA

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

Schlagwörter: 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.

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

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

Schlagwörter: KNOWLEDGE representation (Information theory), LOGIC programming, PROOF theory, MATHEMATICAL logic, SEQUENTIAL analysis, ARTIFICIAL intelligence

Software Model Checking.

Autoren: JHALA, RANJIT MAJUMDAR, RUPAK

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

Schlagwörter: 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.

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

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