Search Results - Theory of computation → Constraint and logic programming*
-
1
Authors: et al.
Source: Theory and Practice of Logic Programming. 10:1-47
Subject Terms: FOS: Computer and information sciences, Technology, PROLOG, Logic, cs.PL, J.0, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computation Theory & Mathematics, Computer Science, Theory & Methods, SEMANTICS, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, survey, BASE STATIONS, 0802 Computation Theory and Mathematics, 4613 Theory of computation, D.3.0, D.1.3, Science & Technology, Computer Science - Programming Languages, Constraint Handling Rules, 4602 Artificial intelligence, D.1.6, 0803 Computer Software, F.3.2, Constraint Handling Rules (CHR), Computer Science, Software Engineering, Computer Science, Science & Technology - Other Topics, Programming Languages (cs.PL)
-
2
Authors: et al.
Contributors: et al.
Source: Formal Aspects of Computing. 26:729-759
Subject Terms: Engineering::Computer science and engineering [DRNTU], Uppaal, Constraint logic programming, Verification, 1. No poverty, DRNTU::Engineering::Computer science and engineering, Software Engineering, Software engineering not elsewhere classified, 0102 computer and information sciences, 02 engineering and technology, Web service orchestration, 01 natural sciences, Programming Languages and Compilers, Orc, 0202 electrical engineering, electronic engineering, information engineering, Timed automata, Theory of computation
File Description: application/pdf
-
3
Authors: van de Vel, Marcel
Source: Studia Logica: An International Journal for Symbolic Logic, 2002 Dec 01. 72(3), 411-432.
Access URL: https://www.jstor.org/stable/20016475
-
4
Authors: et al.
Source: Water Resources Research; Jul2025, Vol. 61 Issue 7, p1-18, 18p
-
5
-
6
-
7
Authors:
Source: Theory and Practice of Logic Programming. 8:491-526
Subject Terms: 4613 Theory of computation, FOS: Computer and information sciences, constraint logic programming, Technology, Science & Technology, Computer Science - Programming Languages, Constraint Handling Rules, tabled execution, Logic, 4602 Artificial intelligence, cs.PL, 0803 Computer Software, 02 engineering and technology, Computer Science, Software Engineering, constraint handling rules, CONSTRAINT HANDLING RULES, Computation Theory & Mathematics, CHECKING, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, 0802 Computation Theory and Mathematics, Programming Languages (cs.PL)
-
8
Authors: et al.
Source: Theory and Practice of Logic Programming. 6:609-644
Subject Terms: FOS: Computer and information sciences, Technology, program analysis, Logic, cs.PL, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computation Theory & Mathematics, framework, Computer Science, Theory & Methods, ABSTRACT INTERPRETATION, LOGIC, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, cs.PF, 0802 Computation Theory and Mathematics, 4613 Theory of computation, constraint logic programming, Science & Technology, Computer Science - Programming Languages, Computer Science - Performance, 4602 Artificial intelligence, D.3.4, D.1.6, trailing, D.3.3, 0803 Computer Software, Computer Science, Software Engineering, FRAMEWORK, prolog, Performance (cs.PF), Computer Science, Science & Technology - Other Topics, logic programs, Programming Languages (cs.PL)
-
9
Authors: et al.
Source: Theory and Practice of Logic Programming. 5:623-667
Subject Terms: FOS: Computer and information sciences, Technology, Logic, cs.PL, mode checking, DEPENDENCIES, 02 engineering and technology, Logic programming, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, regular grammars, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, D.3.2, F.3.2, 0802 Computation Theory and Mathematics, 4613 Theory of computation, Science & Technology, Computer Science - Programming Languages, strong modes, 4602 Artificial intelligence, 0803 Computer Software, dependencies, Computer Science, Software Engineering, constraint logic programming languages, CLP languages, Computer Science, Grammars and rewriting systems, Science & Technology - Other Topics, logic programs, Programming Languages (cs.PL)
File Description: application/xml
-
10
Authors: et al.
Source: Journal of Automated Reasoning. 60(1)
Subject Terms: Affordable and Clean Energy, Autonomy, Temporal logic, Safe Control, Artificial Intelligence and Image Processing, Computation Theory and Mathematics, Cognitive Sciences, Computation Theory & Mathematics
File Description: application/pdf
-
11
Authors: Morales Caballero, José Francisco
Thesis Advisors: Carro Liñares, Manuel, Hermenegildo Salinas, Manuel de
Subject Terms: Informática
Access URL: http://hdl.handle.net/10803/452078
-
12
-
13
Authors: et al.
Source: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p
Subject Terms: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving
-
14
Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications.
Authors:
Source: Computation; Oct2024, Vol. 12 Issue 10, p196, 11p
Subject Terms: COST functions, INTEGER programming, PREDICTION models, LOGIC
-
15
Authors:
Resource Type: eBook.
Subjects: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems
Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic
PDF Full Text -
16
Authors:
Source: Spatial Cognition & Computation; 2025, Vol. 25 Issue 1, p69-119, 51p
-
17
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy
PDF Full Text ePub Full Text -
18
Authors: et al.
Source: Parallel Processing Letters; Sep-Dec2024, Vol. 34 Issue 3/4, p1-35, 35p
-
19
Authors:
Source: Cuestiones de Fisioterapia; 2025, Vol. 54 Issue 3, p3323-3329, 7p
Subject Terms: ARTIFICIAL intelligence, MACHINE learning, LINEAR programming, DEEP learning, MATHEMATICAL models
-
20
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing
PDF Full Text
Full Text Finder 
Nájsť tento článok vo Web of Science