Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Carro, Manuel
471  Ergebnisse:
Personensuche X
?
1

Types, Modes and so Much More – The Prolog Way:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,
Hermenegildo, Manuel V. ; Morales, Jose F. ; Lopez-Garcia, Pedro. - p. 23-37 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Prolog: Past, Present, and Future:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,
Gupta, Gopal ; Salazar, Elmer ; Shakerin, Farhad... - p. 48-61 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Towards Dynamic Consistency Checking in Goal-Directed Predi..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Arias, Joaquín ; Carro, Manuel ; Gupta, Gopal - p. 117-134 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Building Information Modeling Using Constraint Logic Progra..:

ARIAS, JOAQUÍN ; TÖRMÄ, SEPPO ; CARRO, MANUEL.
Theory and Practice of Logic Programming.  22 (2022)  5 - p. 723-738 , 2022
Link: https://doi.org/10.1017/..
 
?
5

Modeling and Reasoning in Event Calculus using Goal-Directe..:

ARIAS, JOAQUÍN ; CARRO, MANUEL ; CHEN, ZHUO.
Theory and Practice of Logic Programming.  22 (2021)  1 - p. 51-80 , 2021
Link: https://doi.org/10.1017/..
 
?
6

Modeling and Reasoning in Event Calculus Using Goal-Directe..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Arias, Joaquín ; Chen, Zhuo ; Carro, Manuel. - p. 139-155 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Evaluation of the Implementation of an Abstract Interpretat..:

ARIAS, JOAQUÍN ; CARRO, MANUEL
Theory and Practice of Logic Programming.  19 (2019)  5-6 - p. 1107-1123 , 2019
Link: https://doi.org/10.1017/..
 
?
8

Description, Implementation, and Evaluation of a Generic De..:

ARIAS, JOAQUÍN ; CARRO, MANUEL
Theory and Practice of Logic Programming.  19 (2019)  3 - p. 412-448 , 2019
Link: https://doi.org/10.1017/..
 
?
9

Constraint Answer Set Programming without Grounding:

ARIAS, JOAQUIN ; CARRO, MANUEL ; SALAZAR, ELMER..
Theory and Practice of Logic Programming.  18 (2018)  3-4 - p. 337-354 , 2018
Link: https://doi.org/10.1017/..
 
?
10

Incremental Evaluation of Lattice-Based Aggregates in Logic..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Arias, Joaquín ; Carro, Manuel - p. 98-114 , 2018
Link: https://doi.org/10.1007/..
 
?
11

Description and evaluation of a generic design to integrate..:

, In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,
Arias, Joaquín ; Carro, Manuel - p. 10-23 , 2016
Link: https://dl.acm.org/doi/1..
 
?
12

Introduction to the 32nd International Conference on Logic ..:

CARRO, MANUEL ; KING, ANDY
Theory and Practice of Logic Programming.  16 (2016)  5-6 - p. 509-514 , 2016
Link: https://doi.org/10.1017/..
 
?
13

Description and Optimization of Abstract Machines in a Dial..:

MORALES, JOSÉ F. ; CARRO, MANUEL ; HERMENEGILDO, MANUEL
Theory and Practice of Logic Programming.  16 (2015)  1 - p. 1-58 , 2015
Link: https://doi.org/10.1017/..
 
?
14

A survey on service quality description:

Kritikos, Kyriakos ; Pernici, Barbara ; Plebani, Pierluigi...
ACM Computing Surveys.  46 (2013)  1 - p. 1-58 , 2013
Link: https://doi.org/10.1145/..
 
?
15

A survey on service quality description:

Kritikos, Kyriakos ; Pernici, Barbara ; Plebani, Pierluigi...
ACM Computing Surveys (CSUR).  46 (2013)  1 - p. 1-58 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15