• Search: "constraint logic programming"

Showing 81 - 100 of 1,800

81

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
BISTARELLI, Stefano ; SANTINI, FRANCESCO
236 (2009): 147–162.
info:cnr-pdr/source/autori:Bistarelli S.; Santini F./titolo:A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation/doi:/rivista:/anno:2009/pagina_da:147/pagina_a:162/intervallo_pagine:147–162/volume:236
23-esimo Convegno Italiano di Logica Computazionale (CILC08), pp. 147–162, 2008
info:cnr-pdr/source/autori:[1] Bistarelli S., [1] Santini F./congresso_nome:23-esimo Convegno Italiano di Logica Computazionale (CILC08)/congresso_luogo:/congresso_data:2008/anno:2008/pagina_da:147/pagina_a:162/intervallo_pagine:147–162

General Computer Science Quality of Service soft constraint logic pr... service level agreement 0102 computer and inform... 02 engineering and techn... …
Academic journal
Save to List
82

Proving correctness of imperative programs by linearizing constrained Horn clauses
DE ANGELIS, EMANUELE ; FIORAVANTI, Fabio ; Pettorossi, Alberto ; et al.
Theory and Practice of Logic Programming. 15:635-650

FOS: Computer and inform... Computer Science - Logic... Computer Science - Progr... 13. Climate action 0202 electrical engineer... Settore ING-INF/05 - SIS... …
Academic journal
Save to List
83

A Tracer Driver to Enable Concurrent Dynamic Analyses
Langevine, Ludovic ; Ducassé, Mireille ; Constraint programming (CONTRAINTES) ; et al.
[Research Report] RR-5611, INRIA. 2005

SOFTWARE ENGINEERING DEBUGGING EXECUTION MONITORING EXECUTION TRACING EXECUTION VISUALIZATION... CONSTRAINT LOGIC PROGRAM... …
Report
Save to List
84

Multivalued Action Languages with Constraints in CLP(FD)
DOVIER, Agostino ; FORMISANO A. ; PONTELLI E.
Lecture Notes in Computer Science ISBN: 9783540746089

Action description langu... Constraint logic program... Knowledge representation Planning 0202 electrical engineer... 0102 computer and inform... …
Book
Save to List
85

Towards incremental and modular context-sensitive analysis
García Contreras, Isabel ; Morales Caballero, José Francisco ; Hermenegildo, Manuel V. ; et al.
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) | 34th International Conference on Logic Programming (ICLP 2018) | 14-17 Jul 2018 | Oxford, Reino Unido
Archivo Digital UPM
instname

Fixpoint algorithms Informática Program Analysis Incremental Analysis Incremental analysis Abstract Interpretation …
Conference
Save to List
86

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
Federico Chesani ; Giuseppe Cota ; Evelina Lamma ; et al.

Constraint Logic Program... Constraint Logic Program...
Conference
Save to List
87

Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto ; et al.

Program Verification Program Transformation Program Analysis Constraint Logic Program... Constrained Horn Clauses
Report
Save to List
88

Argumentos Máximamente Específicos en Argumentación Rebatible
Alessio, Cláudio Andrés
Manuscrito, Vol 39, Iss 2, Pp 5-58
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
Manuscrito, Volume: 39, Issue: 2, Pages: 5-58, Published: 29 SEP 2016

Logic B1-5802 Argumentation theory Epistemology 02 engineering and techn... Defeasible reasoning …
Academic journal
Save to List
89

Contractive Functions on Infinite Data Structures
Venanzio Capretta ; Graham Hutton ; Mauro Jaskelioff
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. :1-13

Artificial intelligence Class (philosophy) FOS: Political science Mathematical proof Geometry FOS: Law …
Academic journal
Save to List
90

Distance-constrained grid colouring
Aszalós, László ; Bakó, Mária
Acta Universitatis Sapientiae: Informatica, Vol 8, Iss 1, Pp 5-15 (2016)

Informatikai tudományok constraint logic program... 05c15 Electronic computers. Co... Műszaki tudományok 0202 electrical engineer... …
Academic journal
Save to List
91

An Assertion Language for Slicing Constraint Logic Languages
Moreno Falaschi ; Carlos Olarte ; Olarte, Carlos
Lecture Notes in Computer Science ISBN: 9783030138370

FOS: Computer and inform... Computer Science - Logic... [INFO.INFO-SC] Computer... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Book
Save to List
92

Property-Based Test Case Generators for Free
De Angelis E ; Fioravanti F ; Palacios A ; et al.
Lecture Notes in Computer Science ISBN: 9783030311568
13th International Conference on Tests and Proofs (TAP 2019), pp. 186–206, 09/10/2019-11/10/2019
info:cnr-pdr/source/autori:De Angelis E., Fioravanti F., Palacios A., Pettorossi A., Proietti M./congresso_nome:13th International Conference on Tests and Proofs (TAP 2019)/congresso_luogo:/congresso_data:09%2F10%2F2019-11%2F10%2F2019/anno:2019/pagina_da:186/pagina_a:206/intervallo_pagine:186–206

Constraint Logic Program... Test Case Generation Testing 0202 electrical engineer... Erlang 0102 computer and inform... …
Book
Save to List
93

Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat ; Germán Braun ; Alessandro Artale ; et al.

FOS: Computer and inform... Artificial intelligence Computer Science - Artif... Computer Networks and Co... Natural language process... Distributed Constraint O... …
Academic journal
Save to List
94

Approches formelles dans l'assistance au développement de logiciels : Génération de tests à partir de statecharts fondée sur le calcul de comportements
COLIN, Séverine ; LEBEAU, Franck ; LEGEARD, Bruno
TSI. Technique et science informatiques. 25(1):103-132

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
95

Program verification via iterated specialization
Emanuele De Angelis ; Fabio Fioravanti ; Alberto Pettorossi ; et al.
Science of computer programming
95 (2014): 149–175. doi:10.1016/j.scico.2014.05.017
info:cnr-pdr/source/autori:Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti/titolo:Program verification via iterated specialization/doi:10.1016%2Fj.scico.2014.05.017/rivista:Science of computer programming (Print)/anno:2014/pagina_da:149/pagina_a:175/intervallo_pagine:149–175/volume:95

Constraint logic program... Program specialization Program transformation Software model checking Software Verification Constraint Logic Program... …
Academic journal
Save to List
96

Assertion-based Debugging of Higher-Order (C)LP Programs
Stulova, Nataliia ; Morales Caballero, José Francisco ; Hermenegildo, Manuel V.
PPDP,14: proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming | 16th International Symposium on Principles and Practice of Declarative Programming | 08-10 Sep 2014 | Canterbury, Reino Unido
Archivo Digital UPM
instname

Program Verification Higher Order Informática Run-time Verification Error Detection Assertions …
Academic journal
Save to List
97

A resolution-based calculus for Coalition Logic
Cláudia Nalon ; Zhang Li ; Clare Dixon ; et al.
Journal of Logic and Computation
Nalon, C, Zhang, L, Dixon, C & Hustadt, U 2014, 'A resolution-based calculus for coalition logic', Journal of Logic and Computation, pp. 883-917. https://doi.org/10.1093/logcom/ext074

QA75 Artificial intelligence Natural deduction Set (abstract data type) 0102 computer and inform... 02 engineering and techn... …
Academic journal
Save to List
98

A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution
Sitek, Paweł ; Wikarek, Jarosław
Applied Intelligence: The International Journal of Research on Intelligent Systems for Real Life Complex Problems. 48(5):1344-1367

Academic journal
Save to List
99

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Olarte, Carlos ; Pimentel, Elaine ; Rocha, Camilo ; et al.
Journal of Logical and Algebraic Methods in Programming

FOS: Computer and inform... Intermediate logic Computer Science - Logic... Rewriting Mathematical proof Linear logic …
Academic journal
Save to List
100

This result is not available to guest users.

Search Tools: Get RSS Feed Email this Search Save Search

Filter