Search Results - logic and constraint programming. keywords and phrases (automatic OR automaty) theory
-
1
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-35, 35p
-
2
Authors: et al.
Source: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p
-
3
Authors: AMADINI, ROBERTO
Source: ACM Computing Surveys; Jan2023, Vol. 55 Issue 1, p1-38, 38p, 1 Illustration
Subject Terms: PROBLEM solving, CONSTRAINT programming, INTERNET security
-
4
Authors: et al.
Source: Water (20734441); Oct2025, Vol. 17 Issue 20, p2957, 49p
-
5
Authors: et al.
Source: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p
-
6
Source: Urogynecology; 2025Supplement, Vol. 31, pS1-S542, 542p
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog
File Description: application/pdf
-
8
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Prolog, tabling, SLG-resolution
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927; http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany
File Description: application/pdf
-
10
Authors: AMADINI, ROBERTO
Source: ACM Computing Surveys; Jan2022, Vol. 54 Issue 1, p1-38, 38p, 2 Illustrations
Subject Terms: DATABASES, CONSTRAINT programming, PROBLEM solving, INTERNET security, COMPUTER software
-
11
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic programming, I.2.3 [Artificial Intelligence, Deduction and theorem proving General Terms, Languages, Verification Additional Key Words and Phrases, Linear constraints, polyhedra, constraint logic programming, well-moding
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.6781; http://www.di.unipi.it/~ruggieri/Papers/toplas.pdf
-
12
Authors: et al.
Source: Journal of Pain Research; Aug2025, Vol. 18, p4211-4235, 25p
Subject Terms: ARTIFICIAL intelligence, PAIN management, NEUROSURGERY, MEDICAL care, PATIENT safety, MEDICAL protocols
-
13
Authors: et al.
Source: Health & Justice; 7/3/2025, Vol. 13 Issue 1, p1-19, 19p
Subject Terms: DRUG abuse, NEEDLE exchange programs, CRIMINAL justice policy, HEPATITIS C virus, HARM reduction
-
14
Authors:
Source: Pattern Recognition & Image Analysis; Dec2023, Vol. 33 Issue 4, p1593-1623, 31p
-
15
-
16
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, F.3.1 [LOGICS AND MEANINGS OF PROGRAMS, Specifying and Verifying and Reasoning about Programs—Logics of programs, Mechanical verifi- cation, Specification techniques, F.4.2 [MATHEMATICAL LOGIC AND FORMAL LAN- GUAGES, Grammars and Other Rewriting Systems, F.4.3 [MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Formal Languages—Algebraic language theory, I.1.3 [SYM- BOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems—Evaluation stra- tegies, Substitution mechanisms, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Pro- gramming—Automatic analysis of algorithms, Program verification, I.2.3 [ARTIFICIAL IN- TELLIGENCE, Deduction and Theorem Proving—Deduction, Inference engines, Mathemat- ical induction, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.2.4 [SOFTWARE ENGINEERING, Software/Program Verification—Correctness proofs, Formal methods, Validation General Terms, Algorithms, Languages, Verification Additional Key Words and Phrases, abstraction, innermost
File Description: application/pdf
-
17
Authors:
Source: ACM Computing Surveys; Oct2011, Vol. 43 Issue 4, p30.1-38, 38p, 11 Diagrams, 9 Charts
-
18
Authors:
Source: Behavioral Sciences (2076-328X); Nov2024, Vol. 14 Issue 11, p1015, 37p
-
19
Authors: Stephanie Weirich
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF Full Text ePub Full Text -
20
Authors:
Resource Type: eBook.
Subjects: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text
Full Text Finder 
Nájsť tento článok vo Web of Science 
Full Text